|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h 216 Indent(Out, Space, IsDot) << "\"constraints\": ";
226 Indent(Out, Space, IsDot)
237 Indent(Out, Space, IsDot) << "],";
tools/clang/lib/Analysis/AnalysisDeclContext.cpp 531 Indent(Out, Space, IsDot)
tools/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp 709 Indent(Out, Space, IsDot) << "\"checker_messages\": ";
720 Indent(NLOut, InnerSpace, IsDot) << "\""; // then begin the next message.
750 Indent(Out, Space, IsDot)
753 Indent(Out, InnerSpace, IsDot)
755 Indent(Out, Space, IsDot) << "]}";
766 Indent(Out, --Space, IsDot) << "]";
tools/clang/lib/StaticAnalyzer/Core/DynamicType.cpp 142 Indent(Out, Space, IsDot) << "\"dynamic_types\": ";
155 Indent(Out, Space, IsDot)
172 Indent(Out, Space, IsDot) << "]," << NL;
178 Indent(Out, Space, IsDot) << "\"dynamic_casts\": ";
192 Indent(Out, Space, IsDot) << "{ \"region\": \"" << MR << "\", \"casts\": ";
199 Indent(Out, Space, IsDot)
209 Indent(Out, Space, IsDot) << ']';
219 Indent(Out, Space, IsDot) << "]," << NL;
tools/clang/lib/StaticAnalyzer/Core/Environment.cpp 207 Indent(Out, Space, IsDot) << "\"environment\": ";
265 Indent(Out, InnerSpace, IsDot)
280 Indent(Out, --InnerSpace, IsDot) << ']';
285 Indent(Out, --Space, IsDot) << "]}," << NL;
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 585 Indent(Out, Space, IsDot) << "{ ";
595 Indent(Out, --Space, IsDot) << ']'; // End of "location_context".
604 Indent(Out, Space, IsDot) << "\"constructing_objects\": ";
614 Indent(Out, Space, IsDot) << "]," << NL; // End of "constructing_objects".
3063 Indent(Out, Space, IsDot) << "\"program_points\": [\\l";
3069 Indent(Out, Space + 1, IsDot) << "{ ";
3085 Indent(Out, Space, IsDot) << "],\\l";
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp 447 Indent(Out, Space, IsDot) << "\"program_state\": {" << NL;
468 Indent(Out, Space, IsDot) << '}';
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 767 Indent(Out, Space, IsDot) << "\"constraints\": ";
777 Indent(Out, Space, IsDot)
788 Indent(Out, Space, IsDot) << "]," << NL;
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp 236 Indent(Out, Space, IsDot)
243 Indent(Out, Space, IsDot) << "{ " << CI.getKey() << ", \"value\": ";
252 Indent(Out, Space, IsDot) << "]}";
2679 Indent(Out, Space, IsDot) << "\"store\": ";
2688 Indent(Out, Space, IsDot) << "]}," << NL;