| commit | 0e7ec30e62379a9cc8a33f07bc540c488cfe4b69 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 9 Apr 2013 12:27:30 +0000 (9 14:27 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 9 Apr 2013 12:27:30 +0000 (9 14:27 +0200) | ||
| tree | 64ce0f98773db398e7f622ba4b6d40570cfeb8c8 | treesnapshot (tar.gz zip) |
| parent | 3f199c0518221be0c5fc834a3161557e18f0e948 | commitdiff |
pet_check_code.c: add_assignment: completely remove any previous value
In more complicated programs, the domain of the new assignment
may not completely match the domain of a previous assignment,
possibly due to simplifications in a context that is no longer available.
Remove any previously assigned value to the same variable rather than
just those with matching domain elements.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In more complicated programs, the domain of the new assignment
may not completely match the domain of a previous assignment,
possibly due to simplifications in a context that is no longer available.
Remove any previously assigned value to the same variable rather than
just those with matching domain elements.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| pet_check_code.c | diffblobblamehistory |