[PATCH] D85424: [Analyzer] Crash fix for alpha.cplusplus.IteratorRange
Endre Fülöp via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Aug 31 09:35:31 PDT 2020
gamesh411 added a comment.
`CReduce` did not manage to produce any meaningful result after a week worth of runtime (more than ~2000 lines of code still remaining after reduction). We could track this down by tracing the ExprEngine code that assigns the Undefined SVal but that seems a huge effort as well. That could be done by debugging the SVal-assigning statements, and setting conditional breakpoints (ie. only break when the value is Undefined). When a breakpoint is hit, we could dump the statement that triggered it and try to reason about the conditions at that point. I also recommend using the `rr` tool as it allows you to use fixed pointer values while debugging.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D85424/new/
https://reviews.llvm.org/D85424
More information about the cfe-commits
mailing list