steakhal added a comment. In D85424#2247598 <https://reviews.llvm.org/D85424#2247598>, @gamesh411 wrote:
> `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. I'm volunteering. I did some debugging lately, I would give a shot catching this. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D85424/new/ https://reviews.llvm.org/D85424 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
