| commit | f7e3fce8ce7a1749a537322a0d0d31d6d668b689 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Mon, 16 Mar 2009 07:28:14 +0000 (16 10:28 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Mon, 16 Mar 2009 07:28:14 +0000 (16 10:28 +0300) | ||
| tree | 3456c1d7ed401a0736dc2b58f4f2175225a1239f | treesnapshot (tar.gz zip) |
| parent | 9917f2955c4065864d3328728c3c58d3ce3e1e47 | commitdiff |
check_memory: assume parents assigned on all paths when assigned on one.
The problem is that when you merge &assigned + NULL you get undefined.
if (x) {
foo->bar = kmalloc();
x = foo;
} <- x is &assigned + NULL which is &undefined.
This fix isn't the greatest but smatch doesn't have a way to express what
I really want here.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The problem is that when you merge &assigned + NULL you get undefined.
if (x) {
foo->bar = kmalloc();
x = foo;
} <- x is &assigned + NULL which is &undefined.
This fix isn't the greatest but smatch doesn't have a way to express what
I really want here.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_memory.c | diffblobblamehistory |