Changeset 03bf5c8

Timestamp:

Jul 3, 2019, 11:12:18 AM (5 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

2f98fb2

Parents:

417117e

Message:

Check for nullptr in SpecCost?.

File:

• src/ResolvExpr/SpecCost.cc (modified) (3 diffs)

src/ResolvExpr/SpecCost.cc

@@ -10 +10 @@
 // Created On       : Tue Oct 02 15:50:00 2018
 // Last Modified By : Andrew Beach
-// Last Modified On : Wed Jun 19 10:43:00 2019
-// Update Count     : 2
-//
-
+// Last Modified On : Wed Jul  3 11:07:00 2019
+// Update Count     : 3
+//
+
+#include <cassert>
 #include <limits>
 #include <list>
@@ -129 +130 @@
                         typename std::add_pointer<ast::Type const *(typename T::value_type const &)>::type;
 
+                #warning Should use a standard maybe_accept
+                void maybe_accept( ast::Type const * type ) {
+                        if ( type ) {
+                                auto node = type->accept( *visitor );
+                                assert( node == nullptr || node == type );
+                        }
+                }
+
                 // Update the minimum to the new lowest non-none value.
                 template<typename T>
@@ -134 +143 @@
                         for ( const auto & node : list ) {
                                 count = -1;
-                                mapper( node )->accept( *visitor );
+                                maybe_accept( mapper( node ) );
                                 if ( count != -1 && count < minimum ) minimum = count;
                         }