[cfe-dev] request for comments on patch: detecting integer undefined behaviors

[John Regehr]

Just to be clear:

All we want (at Utah) is undefined behavior checking and a way to invoke a 
handler with detailed information about the operation that failed, its 
srcloc, and why it failed.  The command line flag or flags that control 
checking are irrelevant to us.

It would be excellent to also support a stripped-down trap handler that 
does not provide detailed information, supporting fast recovery from 
undefined operations.

John Regehr