diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-09-22 01:24:53 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-09-22 01:24:53 +0000 |
| commit | 5a751b993f4b4222b4038b1fe51a72c0e3178306 (patch) | |
| tree | b329d2b55f6081795f82703a26224c9ab5cc29ff /llvm/lib/Support/StreamableMemoryObject.cpp | |
| parent | 6f3d2f0acdf14b17aa0bbc79dcbe74cb687d1d1b (diff) | |
| download | llvm-5a751b993f4b4222b4038b1fe51a72c0e3178306.zip llvm-5a751b993f4b4222b4038b1fe51a72c0e3178306.tar.gz llvm-5a751b993f4b4222b4038b1fe51a72c0e3178306.tar.bz2 | |
[analyzer] Allow a BugReport to be marked "invalid" during path generation.
This is intended to allow visitors to make decisions about whether a
BugReport is likely a false positive. Currently there are no visitors
making use of this feature, so there are no tests.
When a BugReport is marked invalid, the invalidator must provide a key
that identifies the invaliation (intended to be the visitor type and a
context pointer of some kind). This allows us to reverse the decision
later on. Being able to reverse a decision about invalidation gives us more
flexibility, and allows us to formulate conditions like "this report is
invalid UNLESS the original argument is 'foo'". We can use this to
fine-tune our false-positive suppression (coming soon).
llvm-svn: 164446
Diffstat (limited to 'llvm/lib/Support/StreamableMemoryObject.cpp')
0 files changed, 0 insertions, 0 deletions