--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on December 2011 ---
Hello, On 09/12/2011 08:55, ??? wrote: > exp list which represents actual parameters contains only variables but > not constants. > For example, there is an instr as > memset(buffer,0,LEN) > it can only get buffer from exp list. How to do get 0 and LEN? I'm not sure I understand your problem. In your example, the call will have as arguments a list of 3 expressions. Constants are expressions as well (introduced by the constructor Const). Best regards, -- E tutto per oggi, a la prossima volta Virgile