Re: [std-discussion] Is this union aliasing code well-defined?

2017-10-29 Thread Hyman Rosen
In math, once you reach a contradiction, you realize that one of your premises was false. In religion, once you reach a contradiction, you write books of theology to paper over the mess. I guess we know what category type-based alias analysis falls under.

Re: [std-discussion] Is this union aliasing code well-defined?

2017-10-29 Thread Jeffrey Walton
On Fri, Oct 27, 2017 at 9:00 AM, Yubin Ruan wrote: > ... > On Mon, Sep 25, 2017 at 01:41:55PM -0700, Myriachan wrote: >> This question that "supercat" posted on Stack Overflow ran into an >> interesting problem: >> >> https://stackoverflow.com/questions/46205744/is-this-use-of-unions-strictly-conf

Re: [std-discussion] Is this union aliasing code well-defined?

2017-10-29 Thread Richard Biener
On October 29, 2017 2:46:42 AM GMT+01:00, Yubin Ruan wrote: >On 10/27/2017 04:54 PM, Richard Biener wrote: >> On Fri, Oct 27, 2017 at 3:00 PM, Yubin Ruan >wrote: >>> +Cc gcc-list. >>> >>> Does any gcc developer have any comments? >> >> See PR82224. The code is valid. >> >>> On Mon, Sep 25, 20

Re: [std-discussion] Is this union aliasing code well-defined?

2017-10-28 Thread Yubin Ruan
On 10/27/2017 04:54 PM, Richard Biener wrote: > On Fri, Oct 27, 2017 at 3:00 PM, Yubin Ruan wrote: >> +Cc gcc-list. >> >> Does any gcc developer have any comments? > > See PR82224. The code is valid. > >> On Mon, Sep 25, 2017 at 01:41:55PM -0700, Myriachan wrote: >>> This question that "superca

Re: [std-discussion] Is this union aliasing code well-defined?

2017-10-27 Thread Richard Biener
On Fri, Oct 27, 2017 at 3:00 PM, Yubin Ruan wrote: > +Cc gcc-list. > > Does any gcc developer have any comments? See PR82224. The code is valid. > On Mon, Sep 25, 2017 at 01:41:55PM -0700, Myriachan wrote: >> This question that "supercat" posted on Stack Overflow ran into an >> interesting prob

Re: [std-discussion] Is this union aliasing code well-defined?

2017-10-26 Thread Yubin Ruan
+Cc gcc-list. Does any gcc developer have any comments? On Mon, Sep 25, 2017 at 01:41:55PM -0700, Myriachan wrote: > This question that "supercat" posted on Stack Overflow ran into an > interesting problem: > > https://stackoverflow.com/questions/46205744/is-this-use-of-unions-strictly-conformi