Changeset b03eed6 for src/Common

Timestamp:

Apr 19, 2018, 5:54:41 PM (8 years ago)

Author:

Aaron Moss <a3moss@…>

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, with_gc

Children:

8633f060

Parents:

e16294d (diff), da9d79b (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/Common

Files:

• Debug.h (modified) (1 diff)
• PassVisitor.h (modified) (2 diffs)
• PassVisitor.impl.h (modified) (1 diff)
• SemanticError.cc (modified) (1 diff)
• SemanticError.h (modified) (2 diffs)

src/Common/Debug.h

@@ -37 +37 @@
 
                 std::cerr << "======" << label << "======" << std::endl;
-                CodeGen::generate( decls, std::cerr, true, true );
+                CodeGen::generate(
+                        decls,
+                        std::cerr,
+                        true /* doIntrinsics */,
+                        true /* pretty */,
+                        false /* generateC */,
+                        false /* lineMarks */,
+                        true /* printTypeExpr */
+                );
         #endif
         } // dump

src/Common/PassVisitor.h

@@ -92 +92 @@
         virtual void visit( NameExpr * nameExpr ) override final;
         virtual void visit( CastExpr * castExpr ) override final;
+        virtual void visit( KeywordCastExpr * castExpr ) override final;
         virtual void visit( VirtualCastExpr * castExpr ) override final;
         virtual void visit( AddressExpr * addressExpr ) override final;
@@ -187 +188 @@
         virtual Expression * mutate( UntypedExpr * untypedExpr ) override final;
         virtual Expression * mutate( NameExpr * nameExpr ) override final;
-        virtual Expression * mutate( AddressExpr * castExpr ) override final;
+        virtual Expression * mutate( AddressExpr * addrExpr ) override final;
         virtual Expression * mutate( LabelAddressExpr * labAddressExpr ) override final;
         virtual Expression * mutate( CastExpr * castExpr ) override final;
+        virtual Expression * mutate( KeywordCastExpr * castExpr ) override final;
         virtual Expression * mutate( VirtualCastExpr * castExpr ) override final;
         virtual Expression * mutate( UntypedMemberExpr * memberExpr ) override final;

src/Common/PassVisitor.impl.h

@@ -1259 +1259 @@
 
 //--------------------------------------------------------------------------
+// KeywordCastExpr
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( KeywordCastExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+        maybeAccept_impl        ( node->arg   , *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Expression * PassVisitor< pass_type >::mutate( KeywordCastExpr * node ) {
+        MUTATE_START( node );
+
+        indexerScopedMutate( node->env   , *this );
+        indexerScopedMutate( node->result, *this );
+        maybeMutate_impl   ( node->arg   , *this );
+
+        MUTATE_END( Expression, node );
+}
+
+//--------------------------------------------------------------------------
 // VirtualCastExpr
 template< typename pass_type >

src/Common/SemanticError.cc

@@ -68 +68 @@
 }
 
-void SemanticWarningImpl( CodeLocation location, Warning, const char * const fmt, ... ) {
-        va_list args;
-        va_start(args, fmt);
-        std::string msg = fmtToString( fmt, args );
-        va_end(args);
-        std::cerr << ErrorHelpers::bold() << location << ErrorHelpers::warning_str() << ErrorHelpers::reset_font() << msg << std::endl;
+void SemanticWarningImpl( CodeLocation location, Warning warning, const char * const fmt, ... ) {
+        Severity severity = WarningFormats[(int)warning].severity;
+        switch(severity) {
+        case Severity::Suppress :
+                break;
+        case Severity::Warn :
+                {
+                        va_list args;
+                        va_start(args, fmt);
+                        std::string msg = fmtToString( fmt, args );
+                        va_end(args);
+                        std::cerr << ErrorHelpers::bold() << location << ErrorHelpers::warning_str() << ErrorHelpers::reset_font() << msg << std::endl;
+                }
+                break;
+        case Severity::Error :
+                {
+                        va_list args;
+                        va_start(args, fmt);
+                        std::string msg = fmtToString( fmt, args );
+                        va_end(args);
+                        SemanticError(location, msg);
+                }
+                break;
+        case Severity::Critical :
+                assertf(false, "Critical errors not implemented yet");
+                break;
+        }
 }
 

src/Common/SemanticError.h

@@ -36 +36 @@
 // Warnings
 
-constexpr const char * const WarningFormats[] = {
-        "self assignment of expression: %s",
-        "rvalue to reference conversion of rvalue: %s",
+enum class Severity {
+        Suppress,
+        Warn,
+        Error,
+        Critical
+};
+
+struct WarningData {
+        const char * const name;
+        const char * const message;
+        mutable Severity severity;
+};
+
+constexpr const WarningData WarningFormats[] = {
+        {"self-assign"         , "self assignment of expression: %s"           , Severity::Warn},
+        {"reference-conversion", "rvalue to reference conversion of rvalue: %s", Severity::Warn},
 };
 
@@ -52 +65 @@
 );
 
-// ## used here to allow empty __VA_ARGS__
-#define SemanticWarning(loc, id, ...) SemanticWarningImpl(loc, id, WarningFormats[(int)id], ## __VA_ARGS__)
+#define SemanticWarning(loc, id, ...) SemanticWarningImpl(loc, id, WarningFormats[(int)id].message, __VA_ARGS__)
 
 void SemanticWarningImpl (CodeLocation loc, Warning warn, const char * const fmt, ...) __attribute__((format(printf, 3, 4)));