Compilers will routinely warn if they can detect UB at compile time. The problem...

gpderetta on Jan 21, 2022 | parent | context | favorite | on: ISO C became unusable for operating systems develo...

Compilers will routinely warn if they can detect UB at compile time.

The problem is that except in a few trivial cases it is impossible to detect UB at compile time. Even whole program static analysis can only catch a small subset.