&quot; Claim that all we need is for some particular &quot;undefined&quot;-catching tool to be widely used. In fact, these tools are full of false positives and false negatives; at best they catch a few limited types of &quot;undefined&quot; behavior, not changing the big picture.&quot;<p>Question: why can&#x27;t existing C compilers clearly indicate when they encounter undefined behavior?