Changeset d76f32c

Timestamp:

Jun 13, 2019, 2:32:02 PM (5 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

6896548

Parents:

d60780c

Message:

ast::UniqueExpr? was not having one of its fields initialized.

Location:

src

Files:

• AST/Expr.cpp (modified) (2 diffs)
• AST/Expr.hpp (modified) (1 diff)
• ResolvExpr/Candidate.hpp (modified) (2 diffs)

src/AST/Expr.cpp

@@ -9 +9 @@
 // Author           : Aaron B. Moss
 // Created On       : Wed May 15 17:00:00 2019
-// Last Modified By : Aaron B. Moss
-// Created On       : Wed May 15 17:00:00 2019
-// Update Count     : 1
+// Last Modified By : Andrew Beach
+// Created On       : Thr Jun 13 13:38:00 2019
+// Update Count     : 2
 //
 
@@ -382 +382 @@
 
 UniqueExpr::UniqueExpr( const CodeLocation & loc, const Expr * e, unsigned long long i )
-: Expr( loc, e->result ), id( i ) {
+: Expr( loc, e->result ), expr( e ), id( i ) {
         assert( expr );
         if ( id == -1ull ) {

src/AST/Expr.hpp

@@ -693 +693 @@
         unsigned long long id;
 
-        UniqueExpr( const CodeLocation & loc, const Expr * e, unsigned long long i = -1 );
+        UniqueExpr( const CodeLocation & loc, const Expr * e, unsigned long long i = -1ull );
 
         const Expr * accept( Visitor & v ) const override { return v.visit( this ); }

src/ResolvExpr/Candidate.hpp

@@ -9 +9 @@
 // Author           : Aaron B. Moss
 // Created On       : Wed Jun 5 14:30:00 2019
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Wed Jun 5 14:30:00 2019
-// Update Count     : 1
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Jun 12 14:15:00 2019
+// Update Count     : 2
 //
 
@@ -49 +49 @@
 
         Candidate() : expr(), cost( Cost::zero ), cvtCost( Cost::zero ), env(), open(), need() {}
-        
+
         Candidate( const ast::Expr * x, const ast::TypeEnvironment & e )
         : expr( x ), cost( Cost::zero ), cvtCost( Cost::zero ), env( e ), open(), need() {}
 
         Candidate( const Candidate & o, const ast::Expr * x )
-        : expr( x ), cost( o.cost ), cvtCost( Cost::zero ), env( o.env ), open( o.open ), 
+        : expr( x ), cost( o.cost ), cvtCost( Cost::zero ), env( o.env ), open( o.open ),
           need( o.need ) {}
-        
-        Candidate( 
-                const ast::Expr * x, ast::TypeEnvironment && e, ast::OpenVarSet && o, 
-                ast::AssertionSet && n, const Cost & c )
-        : expr( x ), cost( c ), cvtCost( Cost::zero ), env( std::move( e ) ), open( std::move( o ) ), 
+
+        Candidate(
+                const ast::Expr * x, ast::TypeEnvironment && e, ast::OpenVarSet && o,
+                ast::AssertionSet && n, const Cost & c, const Cost & cvt = Cost::zero )
+        : expr( x ), cost( c ), cvtCost( cvt ), env( std::move( e ) ), open( std::move( o ) ),
           need( n.begin(), n.end() ) {}
 };