diff options
| author | Anna Zaks <ganna@apple.com> | 2011-09-14 17:48:01 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-09-14 17:48:01 +0000 |
| commit | 4d353eb8af7324c0ee3736c736668f6c9b162ee0 (patch) | |
| tree | 6dfc7fb26baac31742c93cb4d27f8f4b73ad7f29 /lib/Analysis/ThreadSafety.cpp | |
| parent | ab9b154c93475fa55e6115774f64661737d113f9 (diff) | |
[analyzer] After CFG has been linearized, we can have a situation where an ExpoledNode has an invalid SourceLocation (which has no correspondence in the source code). This commit is the first step to solve this problem.
- It adds LocationContext to the PathDiagnosticLocation object and uses it to lookup the enclosing statement with a valid location.
- So far, the LocationContext is only available when the object is constructed from the ExplodedNode.
- Already found some subtle bugs(in plist-output-alternate.m) where the intermediate diagnostic steps were not previously shown.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@139703 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ThreadSafety.cpp')
0 files changed, 0 insertions, 0 deletions