gamesh411 added a comment. I would add one more test for the undefined case. Like a local array variable that is uninitialized. That could mirror some of the null-dereference cases.
================ Comment at: clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp:135 + DerefKindStr = "dereference of an undefined pointer value"; + break; + }; ---------------- balazske wrote: > Add "results in a " here? IMHO I would add the "results in a " part here, as this is part of the process of creating the diagnostic anyway. 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
