| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicType.cpp | 228 printJson(Pair.first, Out, NL, Space, IsDot) << ", "; in printJson()
229 return printJson(Pair.second, Out, NL, Space, IsDot); in printJson()
245 Indent(Out, Space, IsDot) << "{ "; in printJsonContainer()
246 printJson(Element, Out, NL, Space, IsDot) << " }"; in printJsonContainer()
254 return Indent(Out, Space, IsDot) << "]"; in printJsonContainer()
271 Indent(Out, Space, IsDot) << "\"" << Name << "\": "; in printJsonImpl()
277 bool IsDot) { in printDynamicTypesJson() argument
283 bool IsDot) { in printDynamicCastsJson() argument
294 Space, IsDot, in printClassObjectDynamicTypesJson()
300 printDynamicTypesJson(Out, State, NL, Space, IsDot); in printDynamicTypeInfoJson()
[all …]
|
| H A D | Environment.cpp | 217 unsigned int Space, bool IsDot) const { in printJson()
218 Indent(Out, Space, IsDot) << "\"environment\": "; in printJson()
246 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) { in printJson()
276 Indent(Out, InnerSpace, IsDot) in printJson()
291 Indent(Out, --InnerSpace, IsDot) << ']'; in printJson()
296 Indent(Out, --Space, IsDot) << "]}," << NL; in printJson()
|
| H A D | ProgramState.cpp | 462 bool IsDot) const { in printJson()
463 Indent(Out, Space, IsDot) << "\"program_state\": {" << NL; in printJson()
469 Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot); in printJson()
472 Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot); in printJson()
475 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot); in printJson()
478 printDynamicTypeInfoJson(Out, this, NL, Space, IsDot); in printJson()
481 Mgr.getOwningEngine().printJson(Out, this, LCtx, NL, Space, IsDot); in printJson()
484 Indent(Out, Space, IsDot) << '}'; in printJson()
|
| H A D | RangeConstraintManager.cpp | 1826 bool IsDot = false) const;
3172 printConstraints(Out, State, NL, Space, IsDot); in printJson()
3226 Indent(Out, Space, IsDot) in printConstraints()
3234 Indent(Out, Space, IsDot) << "]," << NL; in printConstraints()
3289 Indent(Out, Space, IsDot); in printEquivalenceClasses()
3295 Indent(Out, Space, IsDot) << "]," << NL; in printEquivalenceClasses()
3337 Indent(Out, Space, IsDot) << "{" << NL; in printDisequalities()
3346 Indent(Out, DisEqClassSpace, IsDot); in printDisequalities()
3353 Indent(Out, DisEqClassSpace, IsDot); in printDisequalities()
3359 Indent(Out, Space, IsDot) << "}"; in printDisequalities()
[all …]
|
| H A D | CheckerManager.cpp | 726 bool IsDot) const { in runCheckersForPrintStateJson()
727 Indent(Out, Space, IsDot) << "\"checker_messages\": "; in runCheckersForPrintStateJson()
738 Indent(NLOut, InnerSpace, IsDot) << "\""; // then begin the next message. in runCheckersForPrintStateJson()
768 Indent(Out, Space, IsDot) in runCheckersForPrintStateJson()
771 Indent(Out, InnerSpace, IsDot) in runCheckersForPrintStateJson()
773 Indent(Out, Space, IsDot) << "]}"; in runCheckersForPrintStateJson()
784 Indent(Out, --Space, IsDot) << "]"; in runCheckersForPrintStateJson()
|
| H A D | ExprEngine.cpp | 672 Indent(Out, Space, IsDot) << "{ "; in printObjectsUnderConstructionJson()
691 unsigned int Space = 0, bool IsDot = false) { in printIndicesOfElementsToConstructJson() argument
721 Indent(Out, Space, IsDot) << "{ "; in printIndicesOfElementsToConstructJson()
754 Indent(Out, Space, IsDot) << "\"constructing_objects\": "; in printJson()
769 Indent(Out, Space, IsDot) << "\"index_of_element\": "; in printJson()
777 IsDot); in printJson()
787 IsDot); in printJson()
3514 const bool IsDot = true; in getNodeLabel() local
3521 Indent(Out, Space, IsDot) << "\"program_points\": [\\l"; in getNodeLabel()
3527 Indent(Out, Space + 1, IsDot) << "{ "; in getNodeLabel()
[all …]
|
| H A D | RegionStore.cpp | 233 unsigned int Space = 0, bool IsDot = false) const { in printJson() argument
236 Indent(Out, Space, IsDot) in printJson()
243 Indent(Out, Space, IsDot) << "{ " << CI.getKey() << ", \"value\": "; in printJson()
252 Indent(Out, Space, IsDot) << "]}"; in printJson()
637 unsigned int Space = 0, bool IsDot = false) const override;
2919 unsigned int Space, bool IsDot) const { in printJson()
2922 Indent(Out, Space, IsDot) << "\"store\": "; in printJson()
2930 Bindings.printJson(Out, NL, Space + 1, IsDot); in printJson()
2931 Indent(Out, Space, IsDot) << "]}," << NL; in printJson()
|
| /llvm-project-15.0.7/clang/include/clang/Basic/ |
| H A D | JsonSupport.h | 22 bool IsDot) { in Indent() argument
24 Out << (IsDot ? " " : " "); in Indent()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 214 unsigned int Space = 0, bool IsDot = false) const override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
217 Indent(Out, Space, IsDot) << "\"constraints\": "; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
227 Indent(Out, Space, IsDot) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
238 Indent(Out, Space, IsDot) << "],"; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | DynamicType.h | 86 bool IsDot = false);
|
| H A D | Environment.h | 96 unsigned int Space = 0, bool IsDot = false) const;
|
| H A D | ConstraintManager.h | 120 bool IsDot) const = 0;
|
| H A D | Store.h | 250 unsigned int Space, bool IsDot) const = 0;
|
| H A D | ExprEngine.h | 415 unsigned int Space, bool IsDot) const;
|
| H A D | ProgramState.h | 474 bool IsDot = false) const;
|
| /llvm-project-15.0.7/clang/lib/Analysis/ |
| H A D | AnalysisDeclContext.cpp | 533 unsigned int Space, bool IsDot, in printJson() argument
545 Indent(Out, Space, IsDot) in printJson()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/ |
| H A D | AnalysisDeclContext.h | 287 bool IsDot = false,
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 461 bool IsDot = false) const;
|