Changeset a9762dc

Timestamp:

Sep 14, 2022, 4:35:15 PM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master, pthread-emulation

Children:

01865fb

Parents:

1b65595

Message:

Passvisitor can now track code location

Location:

src/AST

Files:

• Pass.hpp (modified) (1 diff)
• Pass.impl.hpp (modified) (1 diff)
• Pass.proto.hpp (modified) (2 diffs)

src/AST/Pass.hpp

@@ -327 +327 @@
 struct PureVisitor {};
 
+struct WithCodeLocation {
+        const CodeLocation * location = nullptr;
+};
+
 /// Keep track of the polymorphic const TypeSubstitution * typeSubs for the current expression.
 struct WithConstTypeSubstitution {

src/AST/Pass.impl.hpp

@@ -25 +25 @@
 #define VISIT_START( node ) \
         using namespace ast; \
+        /* back-up the last known code location */ \
+        __attribute__((unused)) auto loc_guard = ast::__pass::make_location_guard( core, node ); \
         /* back-up the visit children */ \
         __attribute__((unused)) ast::__pass::visit_children_guard guard1( ast::__pass::visit_children(core, 0) ); \

src/AST/Pass.proto.hpp

@@ -295 +295 @@
         FIELD_PTR( at_cleanup, __pass::at_cleanup_t )
         FIELD_PTR( visitor, ast::Pass<core_t> * const )
+        FIELD_PTR( location, const CodeLocation * )
 
         // Remove the macro to make sure we don't clash
@@ -324 +325 @@
         static auto on_error (core_t & core, ptr<Decl> & decl, int) -> decltype(core.on_error(decl)) {
                 return core.on_error(decl);
+        }
+
+        template< typename core_t, typename node_t >
+        static auto make_location_guard(core_t & core, node_t * node) -> ValueGuardPtr<const CodeLocation *> {
+                if constexpr (std::is_base_of<ParseNode, node_t>::value) {
+                        const CodeLocation ** p = location(core, 0);
+                        if(p) {
+                                ValueGuardPtr<const CodeLocation *> g = { p };
+                                *p = &node->location;
+                                return g;
+                        }
+                }
+                (void)node;
+                return { nullptr };
         }