Comment by urbandw311er

In my experience the latest models actually do a pretty good job of spotting undefined behaviours, picking sensible defaults and flagging these.