| commit | bb6582994406fa26631a0125002e6b266c85cc37 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 7 Jan 2013 13:09:31 +0000 (7 16:09 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 7 Jan 2013 13:09:31 +0000 (7 16:09 +0300) | ||
| tree | d1123f56f5d50c7a25a2810864d0ee1218992cab | treesnapshot (tar.gz zip) |
| parent | 75c0549d5762d691f2a4be36fcc724d53b16ec22 | commitdiff |
db: fixup printing return info for difficult to split things
I'm not sure about that this is a complete fix.
When I wrote this I was expecting that we would always some states in
the ->possible list that weren't ->merged. The reason this happens is
because implied states are merged but we don't store the ->left and ->right
because only part of them are saved...
I'm not sure that smatch_implied.c is doing the right thing here. Perhaps
the right fix is changing that... Have to look into that.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I'm not sure about that this is a complete fix.
When I wrote this I was expecting that we would always some states in
the ->possible list that weren't ->merged. The reason this happens is
because implied states are merged but we don't store the ->left and ->right
because only part of them are saved...
I'm not sure that smatch_implied.c is doing the right thing here. Perhaps
the right fix is changing that... Have to look into that.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_db.c | diffblobblamehistory |