Can't the compiler know every instance of UB (since it's taking advantage in optimization)? Wouldn't it be easier to change the compiler to report it?
from My Pocket https://www.reddit.com/r/programming/comments/4994wm/a_differential_approach_to_undefined_behavior/
No comments:
Post a Comment