llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang <details> <summary>Changes</summary> * Include more information. We can include the "kind" field for values and "type" for storage locations without risking infinite recursion. Previously, we would display these as "undefined" (simply because this is the JavaScript value for a variable that isn't set), which is potentially confusing. Similarly, `dump(StorageLocation&)` can unconditionally call `dump(Value&)` without risking infinite recursion, and this ensures that the "value_id" and "kind" fields are populated. * Remove entries from `Visited` when we exit `dump()`. This ensures that we correctly display values and storage locations that occur multiple times in a dump (without being nested). * If we detect a cycle, add an "[in_cycle]" atttribute to make it clear why the display is truncated. --- Full diff: https://github.com/llvm/llvm-project/pull/66887.diff 1 Files Affected: - (modified) clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp (+11-6) ``````````diff diff --git a/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp b/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp index a5f64021eb6ba4b..48a48d86fce43a7 100644 --- a/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp +++ b/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp @@ -88,10 +88,12 @@ class ModelDumper { void dump(Value &V) { JOS.attribute("value_id", llvm::to_string(&V)); - if (!Visited.insert(&V).second) - return; - JOS.attribute("kind", debugString(V.getKind())); + if (!Visited.insert(&V).second) { + JOS.attribute("[in_cycle]", " "); + return; + } + auto EraseVisited = llvm::make_scope_exit([&] { Visited.erase(&V); }); switch (V.getKind()) { case Value::Kind::Integer: @@ -123,13 +125,16 @@ class ModelDumper { } void dump(const StorageLocation &L) { JOS.attribute("location", llvm::to_string(&L)); - if (!Visited.insert(&L).second) - return; - JOS.attribute("type", L.getType().getAsString()); if (auto *V = Env.getValue(L)) dump(*V); + if (!Visited.insert(&L).second) { + JOS.attribute("[in_cycle]", " "); + return; + } + auto EraseVisited = llvm::make_scope_exit([&] { Visited.erase(&L); }); + if (auto *RLoc = dyn_cast<RecordStorageLocation>(&L)) { for (const auto &Child : RLoc->children()) JOS.attributeObject("f:" + Child.first->getNameAsString(), [&] { `````````` </details> https://github.com/llvm/llvm-project/pull/66887 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
