4 ms·

It's allowed to reject programs that will evaluate an undefined operation on every possible execution. This is pretty much impossible, so no compiler even attem

It's allowed to reject programs that will evaluate an undefined operation on every possible execution. This is pretty much impossible, so no compiler even attempts this.

mgaunard 2y ago
It can replace any path with undefined behaviour to one that does std::abort.
- pjmlp 2y ago
  It can, but in practice no one does it.
  - majoe 2y ago
    When you think about it, that's what -fsanitize=undefined is doing. It detects undefined behaviour at runtime and aborts the program.
    - leni536 2y ago
      It detects some, but not all UBs. AFAIK it can't detect UB due to hnsequenced access to the same variable.
      - mgaunard 2y ago
        There are different sanitizers that detect different types of UB. Asan, Msan, Tsan and UBSan all detects different ones.
    - deleted 2y ago
      [deleted]
- leni536 2y ago
  Which is very different from diagnosing at compile time.