This is left over from October as part of the implied pools work.
commitf086c4c357f3dab27aa055dedf7f9da5fb76b9cd
authorDan Carpenter <error27@gmail.com>
Sun, 21 Dec 2008 18:14:47 +0000 (21 21:14 +0300)
committerDan Carpenter <error27@gmail.com>
Sun, 21 Dec 2008 18:14:47 +0000 (21 21:14 +0300)
treef60daec257da098c3b82955ef24ee0f4a141c523
parent2f61535cab0466f48d0c0219c3ac87421958c776
This is left over from October as part of the implied pools work.

I guess the thinking is that the implied states should apply at
the end of the condition and not before the condition itself has
been evaluated.
smatch_conditions.c