balazske marked an inline comment as done. balazske added a comment. Not sure if this is a good solution. There are few tests that test the undefined reference case. But the added code should work the same way as in the null pointer case?
================ Comment at: clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp:135 + DerefKindStr = "dereference of an undefined pointer value"; + break; + }; ---------------- Add "results in a " here? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D84520/new/ https://reviews.llvm.org/D84520 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits