On 7/27/17 2:48 AM, Jacob Carlborg wrote: > And then the compiler runs the "Dead Code Elimination" pass and we're > left with: > > void contains_null_check(int* p) > { > *p = 4; > } So the result is that it will segfault. I don't see a problem with this. It's what I would have expected. -Steve