]> granicus.if.org Git - clang/commit
[analyzer] ConditionBRVisitor: Enhance to write out more information
authorCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 20:06:09 +0000 (20:06 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 20:06:09 +0000 (20:06 +0000)
commit03db90aec336ac2e9ca0bcda3ff19a01b0336e85
tree9947e6ca87bb3c884686ceb3b5b19004390531c8
parente7a001d8f146ade3192edfc082cb7d511d4a8db6
[analyzer] ConditionBRVisitor: Enhance to write out more information

Summary:
Add extra messages to the bug report to inform the user why the analyzer
`Taking true/false branch`.

Reviewers: NoQ, george.karpenkov

Reviewed By: NoQ

Subscribers: gerazo, gsd, dkrupp, whisperity, baloghadamsoftware, xazax.hun,
             eraman, szepet, a.sidorin, mikhail.ramalho, Szelethus,
             donat.nagy, cfe-commits

Tags: #clang

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@362020 91177308-0d34-0410-b5e6-96231b3b80d8
20 files changed:
include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
test/Analysis/Inputs/expected-plists/NewDelete-path-notes.cpp.plist
test/Analysis/Inputs/expected-plists/cxx-for-range.cpp.plist
test/Analysis/Inputs/expected-plists/edges-new.mm.plist
test/Analysis/Inputs/expected-plists/inline-plist.c.plist
test/Analysis/Inputs/expected-plists/objc-radar17039661.m.plist
test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist
test/Analysis/Inputs/expected-plists/plist-macros.cpp.plist
test/Analysis/Inputs/expected-plists/plist-output.m.plist
test/Analysis/Inputs/expected-plists/retain-release.m.objc.plist
test/Analysis/Inputs/expected-plists/retain-release.m.objcpp.plist
test/Analysis/NewDelete-path-notes.cpp
test/Analysis/diagnostics/no-store-func-path-notes.c
test/Analysis/diagnostics/no-store-func-path-notes.cpp
test/Analysis/diagnostics/no-store-func-path-notes.m
test/Analysis/inline-plist.c
test/Analysis/osobject-retain-release.cpp
test/Analysis/use-after-move.cpp
test/Analysis/virtualcall.cpp