* gimple-ssa-isolate-paths.c (check_loadstore): New function.
commitc59258dcb37171743fdc6d393e767834aac9642b
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 Nov 2013 16:41:51 +0000 (12 16:41 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 Nov 2013 16:41:51 +0000 (12 16:41 +0000)
tree312c513cff532b2a7e8690bb06a23517aa6f588e
parent38a65d4ef7e87789fbbfed30df8226be9a3ba85f
* gimple-ssa-isolate-paths.c (check_loadstore): New function.
(insert_trap_and_remove_trailing_statements): New argument OP which
is the NULL pointer.  Emit the trap after the load/store through
the NULL pointer.  Simplify the RHS of a store through a NULL pointer
when trivial to do so.
(isolate_path): Corresponding changes.
(gimple_ssa_isolate_erroneous_path): Likewise.

* gcc.dg/tree-ssa/isolate-1.c: Update expected output.
* gcc.dg/tree-ssa/isolate-5.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@204708 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/gimple-ssa-isolate-paths.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/isolate-1.c
gcc/testsuite/gcc.dg/tree-ssa/isolate-5.c [copied from gcc/testsuite/gcc.dg/tree-ssa/isolate-1.c with 85% similarity]