]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0ebe77) | patch
[analyzer] Provide Contains() on ImmutableMap program state partial trait.
authorDominic Chen <d.c.ddcc@gmail.com>
Tue, 8 Nov 2016 22:39:14 +0000 (22:39 +0000)
committerDominic Chen <d.c.ddcc@gmail.com>
Tue, 8 Nov 2016 22:39:14 +0000 (22:39 +0000)
commit5132a3d4434ab01df2b75ee83f4f7415eea09dcd
tree697c5ecb80f4f0c40134b4a3b370f509f303decdtree | snapshot
parentb0ebe77fdeb68777e9c5c94e6c3efb528755cfedcommit | diff
[analyzer] Provide Contains() on ImmutableMap program state partial trait.

Reviewers: zaks.anna, dcoughlin

Subscribers: cfe-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@286306 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.