[all-commits] [llvm/llvm-project] 1ab68d: [clang][codegen] Add a verifier IR pass before any...

Matheus Izvekov via All-commits all-commits at lists.llvm.org
Tue Oct 3 09:06:08 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1ab68d708aea5f8dd7d9d39dd1de8b23228814f0
      https://github.com/llvm/llvm-project/commit/1ab68d708aea5f8dd7d9d39dd1de8b23228814f0
  Author: Matheus Izvekov <mizvekov at gmail.com>
  Date:   2023-10-03 (Tue, 03 Oct 2023)

  Changed paths:
    M clang/lib/CodeGen/BackendUtil.cpp
    M clang/test/CodeGen/code-coverage.c
    M clang/test/CodeGen/lto-newpm-pipeline.c

  Log Message:
  -----------
  [clang][codegen] Add a verifier IR pass before any further passes. (#68015)

This helps check clang generated good IR in the first place, as
otherwise this can cause UB in subsequent passes, with the final
verification pass not catching any issues.

This for example would have helped catch
https://github.com/llvm/llvm-project/issues/67937 earlier.




More information about the All-commits mailing list