Changeset 478dade


Ignore:
Timestamp:
Sep 9, 2024, 6:30:08 AM (5 weeks ago)
Author:
JiadaL <j82liang@…>
Branches:
master
Children:
02101a4, d93b813
Parents:
29c8675 (diff), a933489b (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

Files:
4 added
4 edited

Legend:

Unmodified
Added
Removed
  • src/ControlStruct/ExceptDecl.cpp

    r29c8675 r478dade  
    99// Author           : Andrew Beach
    1010// Created On       : Tue Jul 12 15:50:00 2022
    11 // Last Modified By : Andrew Beach
    12 // Last Modified On : Mon Jul 18 11:01:00 2022
    13 // Update Count     : 0
     11// Last Modified By : Peter A. Buhr
     12// Last Modified On : Sat Sep  7 12:05:55 2024
     13// Update Count     : 1
    1414//
    1515
     
    286286                        new ast::ExprStmt( location,
    287287                                new ast::UntypedExpr( location,
    288                                         new ast::NameExpr( location, "?=?" ),
     288                                        new ast::NameExpr( location, "?{}" ),
    289289                                        {
    290290                                                new ast::UntypedExpr( location,
  • src/GenPoly/Box.cpp

    r29c8675 r478dade  
    515515                ast::FunctionType const * adaptee,
    516516                TypeVarMap const & typeVars ) {
     517        assertf( ast::FixedArgs == adaptee->isVarArgs,
     518                "Cannot adapt a varadic function, should have been checked." );
    517519        ast::FunctionType * adapter = ast::deepCopy( adaptee );
    518520        if ( isDynRet( adapter, typeVars ) ) {
  • src/Validate/module.mk

    r29c8675 r478dade  
    2121        Validate/Autogen.cpp \
    2222        Validate/Autogen.hpp \
     23        Validate/CheckAssertions.cpp \
     24        Validate/CheckAssertions.hpp \
    2325        Validate/CompoundLiteral.cpp \
    2426        Validate/CompoundLiteral.hpp \
  • src/main.cpp

    r29c8675 r478dade  
    6767#include "Tuples/Tuples.hpp"                // for expandMemberTuples, expan...
    6868#include "Validate/Autogen.hpp"             // for autogenerateRoutines
     69#include "Validate/CheckAssertions.hpp"     // for checkAssertions
    6970#include "Validate/CompoundLiteral.hpp"     // for handleCompoundLiterals
    7071#include "Validate/EliminateTypedef.hpp"    // for eliminateTypedef
     
    314315                PASS( "Replace Typedefs", Validate::replaceTypedef, transUnit );
    315316                PASS( "Fix Return Types", Validate::fixReturnTypes, transUnit );
     317                PASS( "Check Assertions", Validate::checkAssertions, transUnit );
    316318                PASS( "Enum and Pointer Decay", Validate::decayEnumsAndPointers, transUnit );
    317319
Note: See TracChangeset for help on using the changeset viewer.