search for: create_undef

...t we thus-far lack a concrete example. We don't yet have enough information. > > > I don't have a good example for (c), but if you go by the textbook "is > a non-deterministic value" definition for undef then > > void foo() available_externally { > %x = create_undef(); > if (%x) print("X"); > } > > is just as problematic as the two atomic loads case. This isn't a > good example though, since we can specify as part of `undef` s > semantics: "if the program has different observable behavior based on > undef's non...

...he > previous two items, but we thus-far lack a concrete example. We don't yet have enough information. I don't have a good example for (c), but if you go by the textbook "is a non-deterministic value" definition for undef then void foo() available_externally { %x = create_undef(); if (%x) print("X"); } is just as problematic as the two atomic loads case. This isn't a good example though, since we can specify as part of `undef` s semantics: "if the program has different observable behavior based on undef's non-determinism, then it is undefi...

----- Original Message ----- > From: "Chandler Carruth" <chandlerc at google.com> > To: "Hal Finkel" <hfinkel at anl.gov> > Cc: "llvm-dev" <llvm-dev at lists.llvm.org>, "Philip Reames" > <listmail at philipreames.com>, "Duncan P. N. Exon Smith" > <dexonsmith at apple.com>, "Sanjoy Das" >

On Wed, Feb 24, 2016 at 11:18 PM Hal Finkel <hfinkel at anl.gov> wrote: > ----- Original Message ----- > > From: "Chandler Carruth" <chandlerc at google.com> > > To: "Sanjoy Das" <sanjoy at playingwithpointers.com>, "Hal Finkel" < > hfinkel at anl.gov> > > Cc: "llvm-dev" <llvm-dev at lists.llvm.org>,