| commit | 4e892edff20e9502830541c294e8987c959c3305 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 5 Apr 2009 13:32:09 +0000 (5 16:32 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 5 Apr 2009 13:32:09 +0000 (5 16:32 +0300) | ||
| tree | 07cbf06582037f01a991e58621f3687b432e7fa5 | treesnapshot (tar.gz zip) |
| parent | 8f3f906c2bd8652efe59ec50d849e6bb70b3e084 | commitdiff |
Implied ranges. Part #2. Filters
Quite often we don't know what the value of a variable is, but we do know
what it is not. For example, we know that certain pointers are non-null.
We say this using filters. It's fairly rudimentary at this stage.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Quite often we don't know what the value of a variable is, but we do know
what it is not. For example, we know that certain pointers are non-null.
We say this using filters. It's fairly rudimentary at this stage.
Signed-off-by: Dan Carpenter <error27@gmail.com>