If we have a loop in which the dereferenceability of a pointer decreases
we did slowly increase it so far, leading to a timeout during the
fixpoint iteration. With this patch we detect such circular reasoning
and indicate a fixpoint early.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
- Build Status
Buildable 37095 Build 37094: arc lint + arc unit