Changeset 3f681b1 for src/ControlStruct

Timestamp:

May 11, 2022, 11:33:21 AM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

7675f58

Parents:

e6bb667

Message:

Added the new invariant checks. There seems to be a few unset locations in the multi-level exit code.

File:

• src/ControlStruct/MultiLevelExit.cpp (modified) (2 diffs)

src/ControlStruct/MultiLevelExit.cpp ¶

@@ -18 +18 @@
 #include "AST/Pass.hpp"
 #include "AST/Stmt.hpp"
+#include "Common/CodeLocationTools.hpp"
 #include "LabelGeneratorNew.hpp"
 
@@ -618 +619 @@
         Pass<MultiLevelExitCore> visitor( labelTable );
         const CompoundStmt * ret = stmt->accept( visitor );
-        return ret;
+        // There are some unset code locations slipping in, possibly by Labels.
+        const Node * node = localFillCodeLocations( ret->location, ret );
+        return strict_dynamic_cast<const CompoundStmt *>( node );
 }
 } // namespace ControlStruct