Changeset 6380f78 for src/AST/Pass.proto.hpp

Timestamp:

May 22, 2019, 3:40:36 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

76ed81f

Parents:

d8938622 (diff), f4c2f1a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/AST/Pass.proto.hpp (modified) (1 diff)

src/AST/Pass.proto.hpp

@@ -126 +126 @@
         template<typename pass_t, typename node_t>
         static inline auto previsit( pass_t & pass, const node_t * & node, int ) -> decltype( pass.previsit( node ), void() ) {
+                static_assert(
+                        std::is_base_of<const node_t, typename std::remove_pointer<decltype( pass.previsit( node ) )>::type >::value,
+                        "Previsit may not change the type of the node. Use postvisit instead."
+                );
                 node = pass.previsit( node );
                 assert(node);