--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on April 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with pre-processing



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.