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
