Manna created this revision. Manna added reviewers: aaron.ballman, tahonermann, steakhal. Herald added subscribers: manas, ASDenysPetrov, martong, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a reviewer: NoQ. Herald added a project: All. Manna requested review of this revision. Herald added a project: clang.
Repository: rG LLVM Github Monorepo https://reviews.llvm.org/D158295 Files: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp Index: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp =================================================================== --- clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp +++ clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp @@ -1425,7 +1425,10 @@ // Fetch the new reference count from the state, and use it to handle // this symbol. - state = handleSymbolDeath(state, Sym, *getRefBinding(state, Sym), Leaked); + const RefVal* T = getRefBinding(state, Sym); + if (!T) + return; + state = handleSymbolDeath(state, Sym, *T, Leaked); } }
Index: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp =================================================================== --- clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp +++ clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp @@ -1425,7 +1425,10 @@ // Fetch the new reference count from the state, and use it to handle // this symbol. - state = handleSymbolDeath(state, Sym, *getRefBinding(state, Sym), Leaked); + const RefVal* T = getRefBinding(state, Sym); + if (!T) + return; + state = handleSymbolDeath(state, Sym, *T, Leaked); } }
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits