diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-12-12 23:59:29 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-12-12 23:59:29 +0000 |
| commit | 9b6097586ccae0528326527e53fa16721c012b74 (patch) | |
| tree | 97a4d16f03c38d4560cbd0e5c257ab04d9623a84 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | f770683f14f98eae7c64b942c1e6c3470ec0c81b (diff) | |
| download | bcm5719-llvm-9b6097586ccae0528326527e53fa16721c012b74.tar.gz bcm5719-llvm-9b6097586ccae0528326527e53fa16721c012b74.zip | |
ValueTracking: Don't recurse too deeply in computeKnownBitsFromAssume
Respect the MaxDepth recursion limit, doing otherwise will trigger an
assert in computeKnownBits.
This fixes PR21891.
llvm-svn: 224168
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index fa428fa108d..4317bcde91e 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -511,6 +511,10 @@ static void computeKnownBitsFromAssume(Value *V, APInt &KnownZero, return; } + // The remaining tests are all recursive, so bail out if we hit the limit. + if (Depth == MaxDepth) + continue; + Value *A, *B; auto m_V = m_CombineOr(m_Specific(V), m_CombineOr(m_PtrToInt(m_Specific(V)), |
