| commit | fa2d7fa4b5e1caed234c8e7d5d43085260b36ae3 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 21 May 2013 14:09:38 +0000 (21 17:09 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 21 May 2013 14:09:38 +0000 (21 17:09 +0300) | ||
| tree | 9c49aa5a320e539536c8bc8c5512757fdee00c77 | treesnapshot (tar.gz zip) |
| parent | 70dba076926529a3b2230a71dc888fae61dec63b | commitdiff |
math: remove duplicate buggy code in get_implied_rl()
get_implied_rl() was horrible layering violation and because smath_math
was working with svals. That's fixed now.
One thing to note is that I had to add a clone_rl() around the estate_rl()
when we're handling SMATCH_EXTRA states. The reason for this is because
these range_lists are used to set other estate range_lists. You can't have
two estate range_lists pointing to the same data or it leads to a double
free. That code was there in the original get_implied_rl() as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
get_implied_rl() was horrible layering violation and because smath_math
was working with svals. That's fixed now.
One thing to note is that I had to add a clone_rl() around the estate_rl()
when we're handling SMATCH_EXTRA states. The reason for this is because
these range_lists are used to set other estate range_lists. You can't have
two estate range_lists pointing to the same data or it leads to a double
free. That code was there in the original get_implied_rl() as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |