Displaying 2 results from an estimated 2 matches for "0f72fe5b".
2017 Jul 22
1
GEP with a null pointer base
Sean,
Let me re-phrase a couple words to make it perfectly clear
> On Jul 21, 2017, at 6:29 PM, Peter Lawrence <peterl95124 at sbcglobal.net> wrote:
>
> Sean,
>
> Dan Gohman’s “transform” changes a loop induction variable, but does not change the CFG,
>
> Hal’s “transform” deletes blocks out of the CFG, fundamentally altering it.
>
> These are two totally
2017 Jul 22
3
GEP with a null pointer base
Sean,
Dan Gohman’s “transform” changes a loop induction variable, but does not change the CFG,
Hal’s “transform” deletes blocks out of the CFG, fundamentally altering it.
These are two totally different transforms.
And even the analysis is different,
The first is based on an *assumption* of non-UB (actually there is no analysis to perform)
the second Is based on a *proof* of existence of UB