[Issue 9975] pointsTo asserts because of false pointer in union

Wed Apr 24 14:20:14 PDT 2013

http://d.puremagic.com/issues/show_bug.cgi?id=9975

monarchdodra at gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |monarchdodra at gmail.com

--- Comment #1 from monarchdodra at gmail.com 2013-04-24 14:20:12 PDT ---
But isn't this the expected behavior though?

By setting sz to -1, s becomes a string (dynamic array), that starts at null,
and spans size_t.max. So in that sense, b is inside a.sz, so a points to b.

Looking at the provided link, where it shows that non anonymous unions don't
show this "problem", I'm really tempted to say it actually reveils that
pointsTo *doesn't* support unions correctly, as *both* asserts should have
failed...

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------