[analyzer] ConditionBRVisitor: Remove GDM checking
authorCsaba Dabis <dabis.csaba98@gmail.com>
Sat, 16 Mar 2019 09:16:16 +0000 (09:16 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Sat, 16 Mar 2019 09:16:16 +0000 (09:16 +0000)
commitf962485adad9d646511fd3240c0408d9554e6784
treee17f142c087460e4e6dc11258f051af0313692cd
parent7e66a50bb40fea8341306b0d0edaccfad1350606
[analyzer] ConditionBRVisitor: Remove GDM checking

Summary: Removed the `GDM` checking what could prevent reports made by this visitor. Now we rely on constraint changes instead.

Reviewers: NoQ, george.karpenkov

Reviewed By: NoQ

Subscribers: jdoerfert, gerazo, xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp

Tags: #clang

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

llvm-svn: 356318
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp