[all-commits] [llvm/llvm-project] d953d0: Introduce -enable-global-analyses to allow users t...

[Nuno Lopes via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d953d0173776e7f7109b35ac2e74259dd126ab74
      https://github.com/llvm/llvm-project/commit/d953d0173776e7f7109b35ac2e74259dd126ab74
  Author: Nuno Lopes <nuno.lopes at tecnico.ulisboa.pt>
  Date:   2022-09-19 (Mon, 19 Sep 2022)

  Changed paths:
    M llvm/lib/Passes/PassBuilderPipelines.cpp

  Log Message:
  -----------
  Introduce -enable-global-analyses to allow users to disable inter-procedural analyses

Alive2 doesn't support verification of optimizations that use inter-procedural analyses.
Right now, clang uses GlobalsAA by default and there's no way to disable it.
This leads to Alive2 producing false positives.
The added flag allows us to skip global analyses altogether.

Differential Revision: https://reviews.llvm.org/D134139