[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