diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-16 09:23:38 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-16 09:25:52 +0100 |
| commit | 4c24b77bffc1f6a7db5e9b20ac8dff7e8b480d75 (patch) | |
| tree | 2b4196cd3e32fb02c9556fad075376ee0584d52c /validation/optim | |
| parent | a6dfe0e3b6329c63416514eccb251d4e35a28353 (diff) | |
| parent | 56f6d4dd747ac524e4e93d4aa7a8281e64b416bc (diff) | |
| parent | 488b3f379e42358e5815c6320baec9113349d585 (diff) | |
| parent | f9aa068780dac8a6246c65d95792f4af688bd9c9 (diff) | |
| parent | da55cba8eadfb6f010a54de507d7d02b672f86f5 (diff) | |
| download | sparse-dev-4c24b77bffc1f6a7db5e9b20ac8dff7e8b480d75.tar.gz | |
Merge branches 'fix-converted-loads', 'kill-deadborn-loads', 'kill-dead-loads' and 'kill-dead-stores' into tip
Each of these branches contains a fix for the missing removal of
value or address usage when unneeded loads or stores are killed
during symbol simplification.
No conflicts but one of the tests fails in the branches while it
correctly succeed after they are merged (so no code conflict but
a semantic conflict).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>