projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac49500) | patch
[CFG] Replace hardcoded max BBs explored as CL option. NFC.
authorAnna Thomas <anna@azul.com>
Fri, 30 Oct 2020 16:48:18 +0000 (12:48 -0400)
committerAnna Thomas <anna@azul.com>
Fri, 30 Oct 2020 19:11:48 +0000 (15:11 -0400)
commit7aac3a9048870dce1f33be4c36ecc268d87db77b
tree9872c539aebaab450a4f24f5dda32eaa3b031efatree | snapshot
parentac49500cd0484e1b2dcf37fa4c0dade6f113c2c9commit | diff
[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
llvm/lib/Analysis/CFG.cpp diff | blob | history
Domain: System / Toolchain;