diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-01-17 20:27:26 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-01-17 20:27:26 +0000 |
| commit | cf9ff89663d7fac3759eb2b0bb9030a7bf97e47f (patch) | |
| tree | c5817362aac9b1edadb89c599b14d7e36ace5da9 /clang/examples/analyzer-plugin/MainCallChecker.cpp | |
| parent | 1963d71cb8b8b4e66d71d83cde3d23f059386bcc (diff) | |
| download | bcm5719-llvm-cf9ff89663d7fac3759eb2b0bb9030a7bf97e47f.tar.gz bcm5719-llvm-cf9ff89663d7fac3759eb2b0bb9030a7bf97e47f.zip | |
[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
Diffstat (limited to 'clang/examples/analyzer-plugin/MainCallChecker.cpp')
0 files changed, 0 insertions, 0 deletions
