diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2015-11-03 00:30:07 +0000 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@gcc.gnu.org> | 2015-11-03 00:30:07 +0000 |
| commit | 828ca3d835ac006cbcb2e5b480c6429cc8a75bdd (patch) | |
| tree | 97886b9d02ac0ccd0177983b325624a1c00e5f03 /gcc/fortran/openmp.c | |
| parent | dac7e9b81974a69fc437d5115ebb46de11da14de (diff) | |
| download | gcc-828ca3d835ac006cbcb2e5b480c6429cc8a75bdd.zip gcc-828ca3d835ac006cbcb2e5b480c6429cc8a75bdd.tar.gz gcc-828ca3d835ac006cbcb2e5b480c6429cc8a75bdd.tar.bz2 | |
[PR68083] don't introduce undefined behavior in ifcombine
The ifcombine pass may move a conditional access to an uninitialized
value before the condition that ensures it is always well-defined,
thus introducing undefined behavior. Stop it from doing so.
for gcc/ChangeLog
PR tree-optimization/68083
* tree-ssa-ifcombine.c: Include tree-ssa.h.
(bb_no_side_effects_p): Test for undefined uses too.
* tree-ssa.c (gimple_uses_undefined_value_p): New.
* tree-ssa.h (gimple_uses_undefined_value_p): Declare.
for gcc/testsuite/ChangeLog
PR tree-optimization/68083
* gcc.dg/torture/pr68083.c: New. From Zhendong Su.
From-SVN: r229690
Diffstat (limited to 'gcc/fortran/openmp.c')
0 files changed, 0 insertions, 0 deletions