[analyzer] ConditionBRVisitor: Remove GDM checking
authorCsaba Dabis <dabis.csaba98@gmail.com>
Sat, 16 Mar 2019 11:55:07 +0000 (11:55 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Sat, 16 Mar 2019 11:55:07 +0000 (11:55 +0000)
commitcf0b4e32eb8a0383dbe3b6301792260ae61bed30
tree38ee21389e6808dba5c3d898d58f3ca0a993b05d
parent17c8ca8f1ffe6a0f78ee312740913e344debde9b
[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.
(It reapplies 356318 with a feature from 356319 because build-bot failure.)

Reviewers: NoQ, george.karpenkov

Reviewed By: NoQ

Subscribers: cfe-commits, 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: 356322
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