diff options
author | Alexandre Oliva <oliva@adacore.com> | 2022-05-13 07:48:51 -0300 |
---|---|---|
committer | Alexandre Oliva <oliva@gnu.org> | 2022-05-13 07:48:51 -0300 |
commit | 04c0a88aabe8f73f87d6b756aaa0925e58229c99 (patch) | |
tree | b04ef9a67a67e6f519d2f252fbe2f12c6a339a2f /gcc/gimple-range.cc | |
parent | 6aaa1d573912828efed1514fbec5e1ef8a7cc3bc (diff) | |
download | gcc-04c0a88aabe8f73f87d6b756aaa0925e58229c99.zip gcc-04c0a88aabe8f73f87d6b756aaa0925e58229c99.tar.gz gcc-04c0a88aabe8f73f87d6b756aaa0925e58229c99.tar.bz2 |
Avoid visiting newly-created blocks in harden-conditionals
Reverse iteration over blocks, in gimple-harden-conditionals.cc, was
supposed to avoid visiting blocks introduced by hardening and
introducing further reversed conditionals and traps for them, but
newly-created blocks may be inserted before the current block, as
shown by the PR105455 testcase.
Use an auto_sbitmap to gather preexisting blocks that need visiting.
for gcc/ChangeLog
* gimple-harden-conditionals.cc: Include sbitmap.h.
(pass_harden_conditional_branches::execute): Skip new blocks.
(pass_harden_compares::execute): Likewise.
Diffstat (limited to 'gcc/gimple-range.cc')
0 files changed, 0 insertions, 0 deletions