]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f01405) | patch
[analyzer][UninitializedObjectChecker] Reports Loc fields pointing to themselves
authorKristof Umann <dkszelethus@gmail.com>
Thu, 11 Oct 2018 11:58:53 +0000 (11:58 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Thu, 11 Oct 2018 11:58:53 +0000 (11:58 +0000)
commit388574a33bb45e36292c8884b8985841f0f2c8fd
treeb7a9872aca51d2ae30b20173e2ed0e17491833b6tree | snapshot
parent0f0140520db5ffd69ce824e68230550f92e96f62commit | diff
[analyzer][UninitializedObjectChecker] Reports Loc fields pointing to themselves

I've added a new functionality, the checker is now able to
detect and report fields pointing to themselves. I figured
this would fit well into the checker as there's no reason
for a pointer to point to itself instead of being nullptr.

Differential Revision: https://reviews.llvm.org/D51305

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@344242 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedPointee.cpp diff | blob | history
test/Analysis/cxx-uninitialized-object-ptr-ref.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.