| commit | a55b4e5fd2e2e3acc9f9ea9a9d064f7001541bf6 | |
| author | Dan Carpenter <dcarpenter@usbsys.site> | |
| Sat, 6 Sep 2008 16:57:51 +0000 (6 19:57 +0300) | ||
| committer | Dan Carpenter <dcarpenter@usbsys.site> | |
| Sat, 6 Sep 2008 16:57:51 +0000 (6 19:57 +0300) | ||
| tree | 376e340e70db5ca99abdba18457199164e431de3 | treesnapshot (tar.gz zip) |
| parent | cd255215de5a73de42e5e91bfabcea15b8e5347c | commitdiff |
This is the start of the smatch_extra stuff.
The eventual goal is to try track the possible values of all the variables.
Currently the only use is to tell when we know a pre-loop condition is
true the first time.
Sometimes it is easy.
for (i = 0 ; i < 100 ; i++) { ...
We know that i < 100 the first time through the loop.
Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>
The eventual goal is to try track the possible values of all the variables.
Currently the only use is to tell when we know a pre-loop condition is
true the first time.
Sometimes it is easy.
for (i = 0 ; i < 100 ; i++) { ...
We know that i < 100 the first time through the loop.
Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>