Thanks. That worked!
It's stored in attributes (just like const). Look at the definition ofOn Mon, Apr 20, 2009 at 04:07:09PM -0400, Divya Krishnan wrote:
> I would like to add a volatile variable to the input program. However on
> going through the Cil documentation, I could not find any way to create a
> volatile variable type. Is there any way that we may have to set attributes
> when we specify makeTempVar in order to create a volatile variable? The
> Cil.typ Sumtype does not have any type for volatile variables.
Cil.charConstPtrType for example.