Changeset e6cfa8ff

Timestamp:

Mar 9, 2020, 11:06:19 AM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

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:

5b544a6

Parents:

9306559f

Message:

Fixed use after delete bug and regenerated stale tests

Files:

• src/Concurrency/Keywords.cc (modified) (1 diff)
• tests/coroutine/.expect/fmtLines.txt (modified) (1 diff)
• tests/errors/.expect/completeType.txt (modified) (3 diffs)

src/Concurrency/Keywords.cc

@@ -745 +745 @@
                 if(!decl_suspend) SemanticError( loc, "suspend keyword applied to coroutines requires coroutines to be in scope, add #include <coroutine.hfa>\n");
                 auto expr = new UntypedExpr( VariableExpr::functionPointer( decl_suspend ) );
-                expr->location = stmt->location;
+                expr->location = loc;
 
                 // Change this statement into a regular expr
                 assert(expr);
                 auto nstmt = new ExprStmt( expr );
-                nstmt->location = stmt->location;
+                nstmt->location = loc;
                 return nstmt;
         }

tests/coroutine/.expect/fmtLines.txt

@@ -48 +48 @@
 {                                                         // f  or n  ewli  
 ne c  hara  cter  s                                     su  
-spen  d();                                      if   ( fm  
-t.ch   !=   '\n'   ) b  reak  
-;               /  / ig  nore   new  line  
-                                  } //   for                              sout  
- | f  mt.c  h;                                                  //   
-prin  t ch  arac  ter                   }   
-// f  or                        sou  t |   "  "  
-;                                                               //   prin  t bl  
-ock   sepa  rato  r             }   //   
-for             sou  t |   nl;                                    
-                                  // p  rint   gro  up s  
-epar  ator      } /  / fo  r} /  
-/ ma  invo  id p  rt(   Form  
-at &   fmt  , ch  ar c  h )   
-{      fmt  .ch   = ch  ;     
- res  ume(   fmt   );}   //   
-prti  nt m  ain(  ) {     Form  
-at f  mt;         char   ch;    for  
- ( ;  ; )   {           s  in |   ch;  
-                                                                                //   rea  d on  
-e ch  arac  ter     if   ( e  
-of(   sin   ) )   brea  k;                
-                                        //   eof   ?            p  rt(   
-fmt,   ch   );  }   //   for}  
- //   main  // L  ocal   Var  
-iabl  es:   ////   tab  -wid  
-th:   4 //  // c  ompi  le-c  
-omma  nd:   "cfa   fmt  Line  
-s.cf  a" /  ///   End:   //
+spen  d;                                        i  f (   fmt.  
+ch !  = '\  n' )   bre  ak;       
+        //   igno  re n  ewli  ne                 
+                }   // f  or                            so  ut |  
+ fmt  .ch;                                                      /  / pr  
+int   char  acte  r                       } //  
+ for                    s  out   | "    ";        
+                                                        /  / pr  int   bloc  
+k se  para  tor         } /  / fo  
+r               s  out   | nl  ;                                                          
+                //   pri  nt g  roup   sep  
+arat  or        }   //   for}   //   
+main  void   prt  ( Fo  rmat  
+ & f  mt,   char   ch   ) {   
+   f  mt.c  h =   ch;      r  
+esum  e( f  mt )  ;} /  / pr  
+tint   mai  n()   {     Fo  rmat  
+ fmt  ; ch  ar c  h;    f  or (  
+ ;;   ) {               sin   | c  h;             
+                                                                  // r  ead   one   
+char  acte  r       if (   eof  
+( si  n )   ) br  eak;                                    
+                        /  / eo  f ?            prt  ( fm  
+t, c  h );      } /  / fo  r} /  
+/ ma  in//   Loc  al V  aria  
+bles  : //  // t  ab-w  idth  
+: 4   ////   com  pile  -com  
+mand  : "c  fa f  mtLi  nes.  
+cfa"   ///  / En  d: /  /

tests/errors/.expect/completeType.txt

@@ -27 +27 @@
     void 
   )
-  Environment:( _83_4_DT ) -> instance of struct A with body 0 (no widening)
+  Environment:( _85_4_DT ) -> instance of struct A with body 0 (no widening)
 
 
@@ -50 +50 @@
     void 
   )
-  Environment:( _83_4_DT ) -> instance of struct B with body 1 (no widening)
+  Environment:( _85_4_DT ) -> instance of struct B with body 1 (no widening)
 
 
@@ -127 +127 @@
           void 
         )
-        Environment:( _102_0_T ) -> instance of type T (not function type) (no widening)
+        Environment:( _104_0_T ) -> instance of type T (not function type) (no widening)
 
       Could not satisfy assertion:
 ?=?: pointer to function
         ... with parameters
-          reference to instance of type _102_0_T (not function type)
-          instance of type _102_0_T (not function type)
+          reference to instance of type _104_0_T (not function type)
+          instance of type _104_0_T (not function type)
         ... returning
-          _retval__operator_assign: instance of type _102_0_T (not function type)
+          _retval__operator_assign: instance of type _104_0_T (not function type)
           ... with attributes:
             Attribute with name: unused