This looked useful for D25909 at first, but i hesitated to rely on the explainer for composing the error messages. Still, i hope that with some work it might amount to something, so i decided to share the patch anyway.
Diff Detail
Diff Detail
Paths
| Differential D26836
[analyzer] SValExplainer: Support ObjC ivars and __block variables. AbandonedPublic Authored by NoQ on Nov 17 2016, 11:29 PM.
Details
Diff Detail Event Timeline
Revision Contents
Diff 78469 include/clang/StaticAnalyzer/Checkers/SValExplainer.h
test/Analysis/explain-svals.cpp
test/Analysis/explain-svals.m
|