http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60155
--- Comment #8 from Jeffrey A. Law <law at redhat dot com> --- Rather than special case TRAP_IF, I think we just need to walk through the pattern. If we find no assignments or > 1 assignment, then we assert. note_stores, or walking similar to hash_scan_insn where we keep track of whether or not we've seen a set should be sufficient, I'd think.
