Changeset 9aaacc27 for src/ResolvExpr/ResolveAssertions.cc

Timestamp:

Dec 13, 2018, 4:47:41 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

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

Children:

b3bd772

Parents:

83ab931

Message:

Fix segfault in some tests

File:

• src/ResolvExpr/ResolveAssertions.cc (modified) (2 diffs)

src/ResolvExpr/ResolveAssertions.cc

@@ -203 +203 @@
                 // place newly-inferred assertion in proper place in cache
                 inferred[ info.resnSlot ][ decl->get_uniqueId() ] = ParamEntry{
-                                candidate->get_uniqueId(), match.adjType, decl->get_type()->clone(), varExpr };
+                                candidate->get_uniqueId(), match.adjType->clone(), decl->get_type()->clone(), 
+                                varExpr };
 
                 // // follow the current assertion's ID chain to find the correct set of inferred parameters 
@@ -271 +272 @@
                                         std::move(newNeed), std::move(newOpenVars), crntResnSlot );
                         } else {
-                                delete adjType;
+                                //delete adjType;
                         }
                 }