[CIL users] creating variable of volatile type

[Divya K. <div...@us...>]

Hi,
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.

Thanks,
Divya