projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1963d71) | patch
[analyzer] Make isSubRegionOf reflexive
authorGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 17 Jan 2018 20:27:26 +0000 (20:27 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 17 Jan 2018 20:27:26 +0000 (20:27 +0000)
commitcf9ff89663d7fac3759eb2b0bb9030a7bf97e47f
treec5817362aac9b1edadb89c599b14d7e36ace5da9tree | snapshot
parent1963d71cb8b8b4e66d71d83cde3d23f059386bcccommit | diff
[analyzer] Make isSubRegionOf reflexive

All usages of isSubRegionOf separately check for reflexive case, and in
any case, set theory tells us that each set is a subset of itself.

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

llvm-svn: 322752
clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h diff | blob | history
clang/lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/MemRegion.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ProgramState.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/RegionStore.cpp diff | blob | history
Domain: System / Toolchain;