https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101254
Andrew Macleod <amacleod at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #51083|0 |1
is obsolete| |
--- Comment #9 from Andrew Macleod <amacleod at redhat dot com> ---
Created attachment 51084
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51084&action=edit
another patch
OK, fleshed it out. Your observations about [0,max] for unsigned are true, but
it was harmless. however, when I broke it into 3 cases, unsigned, wrapping
signed and nornmal signed, it looks like I can simply treat it as wrapping and
non-wrapping.. since ~[0,0]for unsigned is the same as [1, max]
anyway I added the LT, LE, and NE cases as well.
I think this is now right and complete? or have I missed something else..
certainly possible,I'm developing a headache thinking about it.
