On Wed, 2021-12-22 at 11:34 +0100, Adrian Moreno via Gcc-help wrote: > > > On 12/22/21 11:27, Florian Weimer wrote: > > * Adrian Moreno via Gcc-help: > > > > > So here I do not know what the compiler would think about "pos" if > > > it > > > happens to point to some invalid stack address. > > > > In such cases, the compiler typically assumes that the code in > > question > > is never executed. This means that the comparison does not need to > > be > > performed, among other things. > > > > So it wouldn't cause undefined behavior? It *is* undefined behavior, and the compiler can remove any execution paths which will eventually hit an undefined behavior. -- Xi Ruoyao <xry111@xxxxxxxxxxxxxxxx> School of Aerospace Science and Technology, Xidian University
