4 ms·

" ... if it can prove the global memory state does not otherwise change between calls in a way that impacts that pure call Would it still work with -fno-strict

" ... if it can prove the global memory state does not otherwise change between calls in a way that impacts that pure call Would it still work with -fno-strict-aliasing? I guess it should, for functions that only work on stack and get parameters from stack, right?

DannyBee 14y ago
Yes. -fno-strict-aliasing only disables type based analysis, not points-to or other memory disambiguation.