diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2020-08-25 13:49:40 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2020-08-25 13:49:40 +0200 |
| commit | a5b15fcb954ba63d58f0daa700281aba33b5f24a (patch) | |
| tree | 981c1d7a4dbd26ef6e327e9e4e6daec6ab0c18f4 /gcc/tree-ssa-loop-im.c | |
| parent | f982a6ec9b6d98f5f37114b1d7455c54ce5056b8 (diff) | |
| download | gcc-a5b15fcb954ba63d58f0daa700281aba33b5f24a.zip gcc-a5b15fcb954ba63d58f0daa700281aba33b5f24a.tar.gz gcc-a5b15fcb954ba63d58f0daa700281aba33b5f24a.tar.bz2 | |
gimple: Ignore *0 = {CLOBBER} in path isolation [PR96722]
Clobbers of MEM_REF with NULL address are just fancy nops, something we just
ignore and don't emit any code for it (ditto for other clobbers), they just
mark end of life on something, so we shouldn't infer from those that there
is some UB.
2020-08-25 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/96722
* gimple.c (infer_nonnull_range): Formatting fix.
(infer_nonnull_range_by_dereference): Return false for clobber stmts.
* g++.dg/opt/pr96722.C: New test.
Diffstat (limited to 'gcc/tree-ssa-loop-im.c')
0 files changed, 0 insertions, 0 deletions