]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c59a8e) | patch
[analyzer][UninitializedObjectChecker] Uninit regions are only reported once
authorKristof Umann <dkszelethus@gmail.com>
Sun, 18 Nov 2018 11:34:10 +0000 (11:34 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Sun, 18 Nov 2018 11:34:10 +0000 (11:34 +0000)
commit26574d67d83c5b7abde42a58b07b22fe36779ba4
treee3ab9dee9c34213f827e76018d9f9aa2bba3620etree | snapshot
parent6c59a8e68d93b90a77951a24724782f584bfebbdcommit | diff
[analyzer][UninitializedObjectChecker] Uninit regions are only reported once

Especially with pointees, a lot of meaningless reports came from uninitialized
regions that were already reported. This is fixed by storing all reported fields
to the GDM.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@347153 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObject.h diff | blob | history
lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp diff | blob | history
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.