implied: handle implications for if (({whatever; foo;}) < 0) {
[smatch.git] / Documentation / 
tree29f6b1ad65e126559c85773f3c4838bd593122c9
drwxr-xr-x   ..
-rw-r--r-- 5000 data-structures.txt
-rw-r--r-- 2504 smatch.txt
-rw-r--r-- 3019 sparse-README.txt
-rw-r--r-- 1829 sparse.txt
-rw-r--r-- 2857 test-suite