Changeset 3c6e417 for src/SymTab

Timestamp:

Jun 20, 2019, 1:45:01 PM (6 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:

54dd994

Parents:

1e5dedc4 (diff), c0f9efe (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

Location:

src/SymTab

Files:

• Mangler.h (modified) (1 diff)
• Validate.cc (modified) (1 diff)
• Validate.h (modified) (2 diffs)

src/SymTab/Mangler.h

@@ -101 +101 @@
         using Mode = bitfield<mangle_flags>;
 
+        static inline Mode typeMode() { return NoOverrideable | Type; }
+
         /// Mangle declaration name
         std::string mangle( const ast::Node * decl, Mode mode = {} );

src/SymTab/Validate.cc

@@ -1367 +1367 @@
                 return addrExpr;
         }
+
+        const ast::Type * validateType( const ast::Type * type, const ast::SymbolTable & symtab ) {
+                #warning unimplemented
+                (void)type; (void)symtab;
+                assert(false);
+                return nullptr;
+        }
 } // namespace SymTab
 

src/SymTab/Validate.h

@@ -22 +22 @@
 class Type;
 
+namespace ast {
+        class Type;
+        class SymbolTable;
+}
+
 namespace SymTab {
         class Indexer;
@@ -28 +33 @@
         void validate( std::list< Declaration * > &translationUnit, bool doDebug = false );
         void validateType( Type *type, const Indexer *indexer );
+
+        const ast::Type * validateType( const ast::Type * type, const ast::SymbolTable & symtab );
 } // namespace SymTab