[clang] 564fd62 - [FlowSensitive] Allow to dump nested RecordStorageLocation (#112457)

[via cfe-commits]

Author: Florian Mayer
Date: 2024-10-24T11:05:39-07:00
New Revision: 564fd62aedfde6358baa1776a2de975b45bc7778

URL: https://github.com/llvm/llvm-project/commit/564fd62aedfde6358baa1776a2de975b45bc7778
DIFF: https://github.com/llvm/llvm-project/commit/564fd62aedfde6358baa1776a2de975b45bc7778.diff

LOG: [FlowSensitive] Allow to dump nested RecordStorageLocation (#112457)

We have an internal analysis that uses them, and the HTML dump would
fail on the assertion.

Added: 
    

Modified: 
    clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp

Removed: 
    


################################################################################
diff  --git a/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp b/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp
index a36cb41a63dfb1..557df218837941 100644
--- a/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp
+++ b/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp
@@ -133,8 +133,7 @@ class ModelDumper {
       for (const auto &Child : RLoc->children())
         JOS.attributeObject("f:" + Child.first->getNameAsString(), [&] {
           if (Child.second)
-            if (Value *Val = Env.getValue(*Child.second))
-              dump(*Val);
+            dump(*Child.second);
         });
 
       for (const auto &SyntheticField : RLoc->synthetic_fields())