diff options
| author | Anna Thomas <anna@azul.com> | 2020-10-30 12:48:18 -0400 |
|---|---|---|
| committer | Anna Thomas <anna@azul.com> | 2020-10-30 15:11:48 -0400 |
| commit | 7aac3a9048870dce1f33be4c36ecc268d87db77b (patch) | |
| tree | 9872c539aebaab450a4f24f5dda32eaa3b031efa /llvm/utils/FileCheck/FileCheck.cpp | |
| parent | ac49500cd0484e1b2dcf37fa4c0dade6f113c2c9 (diff) | |
| download | llvm-7aac3a9048870dce1f33be4c36ecc268d87db77b.zip llvm-7aac3a9048870dce1f33be4c36ecc268d87db77b.tar.gz llvm-7aac3a9048870dce1f33be4c36ecc268d87db77b.tar.bz2 | |
[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
Diffstat (limited to 'llvm/utils/FileCheck/FileCheck.cpp')
0 files changed, 0 insertions, 0 deletions