--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on April 2011 ---
On 4/12/11, Pascal Cuoq <pascal.cuoq at gmail.com> wrote: > But to have mysterious limitations about functions pointers, you need > to handle function pointers in the first place, so Julien's reasoning > holds. Actually, halfway into the first page of text, in chapter "Introduction", there is the sentence "Heterogeneous pointer casts, function pointers, and floating-point computations are handled". It only goes to show that you can't be too careful.