--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on July 2012 ---
Hello Mickael, I am not really aware of error messages regarding aliasing. However, the WP-plugin supports the \separated keyword which is a great help when you have to deal with aliasing. Regards Jens Von meinem iPad gesendet Am 06.07.2012 um 10:10 schrieb "DAHAN Mickael" <mickael.dahan at thalesgroup.com<mailto:mickael.dahan at thalesgroup.com>>: Bonjour, J?aimerai poser quelques questions concernant l?aliasing. Est-ce que certains messages d?erreurs au niveau de la ? console ? font r?f?rences au ph?nom?ne d?aliasing ? Est-ce qu?il existe des options suppl?mentaires de frama-c concernant l?aliasing ? Merci. Mickael Dahan. [@@THALES GROUP RESTRICTED@@] _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr<mailto:Frama-c-discuss at lists.gforge.inria.fr> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss