--- layout: fc_discuss_archives title: Message 62 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Cast implicite dans la logique ?



salut,

suite ? un exemple sur la liste publique, j'ai une question : est-ce que les
casts de pointeurs implicites sont autoris?s dans la logique ?
comme l'exemple suivant, qui passe sans probl?me :

//@ requires x == y;
void f(int *x, int **y);

-- 
Yannick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081015/a246a2c2/attachment.htm