On 2/2/2014 1:19 PM, deadalnix wrote: > But in > our case, it imply that the optimizer won't be able to optimize away load that > it can't prove won't trap. That mean the compiler won"t be able to optimize most > load. I do understand that issue, but I'm not sure what the solution is.