Elnatan Reisner wrote:
> One result of this, however, is that something like '*p
> && 0' will become simply '0', and if p was null, this means that the
> transformed program does not crash, whereas the original would have. I
> would argue that this an acceptable transformation, but I'm curio
This is a patch containing some old stuff and some new stuff related
to logical operators. Here are two old emails I've sent on this topic:
http://www.mail-archive.com/cil-users@lists.sourceforge.net/msg00143.html
http://www.mail-archive.com/cil-users@lists.sourceforge.net/msg00012.html
The fir
