diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-09 15:44:49 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-11 13:58:17 +0100 |
| commit | 2ae43367d11e80ec4bdbd56aeaa0eb6141bfd326 (patch) | |
| tree | 602f07ac376bee5d72f0fc841d45aa952e859212 /validation/optim | |
| parent | 0c7a7f9634abc6e81801c192c2b2fc25879a3aa0 (diff) | |
| download | sparse-dev-2ae43367d11e80ec4bdbd56aeaa0eb6141bfd326.tar.gz | |
taint: let check_access() warn just once
The function check_access() verify that memory accesses are not
done out of their bounds. This is good.
However, this function is called at each run of simplify_loads()
which means that the same warning can be given multiple times
which is annoying.
Fix this by using the newly added 'tainted' field to not warn
a second time on this instruction.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim')
0 files changed, 0 insertions, 0 deletions