]> git.ipfire.org Git - thirdparty/gcc.git/commit
Fix spurious valgrind errors in irred loop verification
authorRichard Biener <rguenther@suse.de>
Mon, 8 Nov 2021 14:21:08 +0000 (15:21 +0100)
committerRichard Biener <rguenther@suse.de>
Mon, 8 Nov 2021 15:19:35 +0000 (16:19 +0100)
commitd626fe77cdc40de0ae1651c8b94090eea73a719f
tree3117b191c52919853de93a8adb9a5d7869506928
parent18546941ae4c56cd9240d2dc2ca2806e01eb6fb7
Fix spurious valgrind errors in irred loop verification

The sbitmap bitmap_{set,clear}_bit changes trigger spurious
uninit value use reportings from valgrind since we now
read the old value before setting/clearing a bit so
verify_loop_structures optimization to not clear the sbitmap is reported.

Fixed by using a temporary BB flag which should also be more
efficient in terms of cache re-use.

2021-11-08  Richard Biener  <rguenther@suse.de>

* cfgloop.c (verify_loop_structure): Use a temporary BB flag
instead of an sbitmap to cache irreducible state.
gcc/cfgloop.c