Changeset 121ac13 for src/SynTree/Type.h

Timestamp:

Nov 6, 2017, 10:28:17 AM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

bbeb908

Parents:

59a0bde (diff), 9f4524b (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

File:

• src/SynTree/Type.h (modified) (1 diff)

src/SynTree/Type.h

@@ -298 +298 @@
         void set_isStatic( bool newValue ) { isStatic = newValue; }
 
-        virtual bool isComplete() const override { return ! isVarLen; }
+        // array types are complete if they have a dimension expression or are
+        // VLAs ('*' in parameter declaration), and incomplete otherwise.
+        // See 6.7.6.2
+        virtual bool isComplete() const override { return dimension || isVarLen; }
 
         virtual ArrayType *clone() const override { return new ArrayType( *this ); }