| commit | e3433ce5d0be7ba62b3aaab8ff8df56295615376 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 14 Apr 2012 20:22:45 +0000 (14 23:22 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 14 Apr 2012 20:22:45 +0000 (14 23:22 +0300) | ||
| tree | acec99abbfb00a09768587962327916145484ce2 | treesnapshot (tar.gz zip) |
| parent | 734a060d111b934542b5faffac9f015436965a22 | commitdiff |
extra, math: move known_conditon_true/false() etc from extra to math
I was trying to work on these but I ended up flipping between extra and
math a lot. It feels like these are more math related anyway. Extra is
more about state tracking. Possibly these should be in a new file... I'm
not sure.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I was trying to work on these but I ended up flipping between extra and
math a lot. It feels like these are more math related anyway. Extra is
more about state tracking. Possibly these should be in a new file... I'm
not sure.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory | |
| smatch_math.c | diffblobblamehistory |