[all-commits] [llvm/llvm-project] 7aac3a: [CFG] Replace hardcoded max BBs explored as CL opt...

[annamthomas via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 7aac3a9048870dce1f33be4c36ecc268d87db77b
      https://github.com/llvm/llvm-project/commit/7aac3a9048870dce1f33be4c36ecc268d87db77b
  Author: Anna Thomas <anna at azul.com>
  Date:   2020-10-30 (Fri, 30 Oct 2020)

  Changed paths:
    M llvm/lib/Analysis/CFG.cpp

  Log Message:
  -----------
  [CFG] Replace hardcoded max BBs explored as CL option. NFC.

This option was hardcoded to 32. Changing this as a CL option since we
have seen some cases downstream where increasing this limit allows us to
disprove reachability.

Reviewed-By: jdoerfert
Differential Revision: https://reviews.llvm.org/D90487