--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on March 2009 ---
Thanks for taking a look at this, in the mean time, I've patched the project's source somewhat as suggested in 2), so back to analyzing. On Mon, 2009-03-16 at 12:36 +0100, Pascal Cuoq wrote: > This error is caused by the normalization attempted by > Frama-C. During the normalization, temporary variables > (which can be named "tmp") may be introduced, which > explains the strange error message that you are obtaining. > > While we investigate the problem, workarounds are :...