| commit | 8339dfccaaec2358091ff445870e7d420dfea651 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 21 Nov 2013 13:01:48 +0000 (21 16:01 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 21 Nov 2013 13:01:48 +0000 (21 16:01 +0300) | ||
| tree | 545147e751c4e5996a9886fb56d89897940c61b7 | treesnapshot (tar.gz zip) |
| parent | c494817584c6def997b23bea2c78cf8b773110df | commitdiff |
db: group function pointer return states together
Say you call a function pointer foo->bar(), then maybe there are only two
implementations of ->bar() and they are simple. In that case, it's useful
to merge all the return states together to see which states are always
true.
The thing is that if the return_ids are the same then they tromp on each
other's data a bit... I should probably fix that up so first return_id in
a function is very random.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Say you call a function pointer foo->bar(), then maybe there are only two
implementations of ->bar() and they are simple. In that case, it's useful
to merge all the return states together to see which states are always
true.
The thing is that if the return_ids are the same then they tromp on each
other's data a bit... I should probably fix that up so first return_id in
a function is very random.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_db.c | diffblobblamehistory |