G++ at O1 or above aborts with ps.ii: In function 'void baz()': ps.ii:24: error: Pointers with a memory tag, should have points-to sets or point to malloc p_40, name memory tag: NMT.6, points-to vars: { } p, UID 0, char *, type memory tag: TMT.3 ps.ii:24: internal compiler error: verify_flow_sensitive_alias_info failed.
-- Summary: ICE: verify_flow_sensitive_alias_info failed. Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: graham dot stott at btinternet dot com CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: i686-pc-unknown-gnu GCC host triplet: i686-pc-unknown-gnu GCC target triplet: i686-pc-unknown-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584