Changeset 5546eee4 for src/Common/SemanticError.cc

Timestamp:

Dec 16, 2023, 1:01:44 AM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

b7898ac

Parents:

0fa0201d (diff), 69ab896 (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/Common/SemanticError.cc (modified) (9 diffs)

src/Common/SemanticError.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jun  7 08:05:26 2018
-// Update Count     : 10
+// Last Modified On : Thu Dec 14 13:45:28 2023
+// Update Count     : 34
 //
 
@@ -23 +23 @@
 #include <vector>
 
+using namespace std;
+
 #include "Common/utility.h"                                                             // for to_string, CodeLocation (ptr only)
 #include "SemanticError.h"
@@ -28 +30 @@
 //-----------------------------------------------------------------------------
 // Severity Handling
-std::vector<Severity> & get_severities() {
-        static std::vector<Severity> severities;
+vector<Severity> & get_severities() {
+        static vector<Severity> severities;
         if(severities.empty()) {
                 severities.reserve((size_t)Warning::NUMBER_OF_WARNINGS);
@@ -60 +62 @@
         size_t idx = 0;
         for ( const auto & w : WarningFormats ) {
-                if ( std::strcmp( name, w.name ) == 0 ) {
+                if ( strcmp( name, w.name ) == 0 ) {
                         get_severities()[idx] = s;
                         break;
@@ -70 +72 @@
 //-----------------------------------------------------------------------------
 // Semantic Error
+
 bool SemanticErrorThrow = false;
 
-SemanticErrorException::SemanticErrorException( CodeLocation location, std::string error ) {
+SemanticErrorException::SemanticErrorException( CodeLocation location, string error ) {
         append( location, error );
 }
@@ -80 +83 @@
 }
 
-void SemanticErrorException::append( CodeLocation location, const std::string & msg ) {
+void SemanticErrorException::append( CodeLocation location, const string & msg ) {
         errors.emplace_back( location, msg );
 }
@@ -89 +92 @@
 
 void SemanticErrorException::print() {
-        using std::to_string;
+//      using to_string;
 
         errors.sort([](const error & lhs, const error & rhs) -> bool {
@@ -99 +102 @@
 
         for( auto err : errors ) {
-                std::cerr << ErrorHelpers::bold() << err.location << ErrorHelpers::error_str() << ErrorHelpers::reset_font() << err.description << std::endl;
+                cerr << ErrorHelpers::bold() << err.location << ErrorHelpers::error_str() << ErrorHelpers::reset_font() << err.description << endl;
         }
 }
 
-void SemanticError( CodeLocation location, std::string error ) {
+void SemanticError( CodeLocation location, const char * fmt, ... ) {
+        char msg[2048];                                                                         // worst-case error-message buffer
+        va_list args;
+        va_start( args, fmt );
+        vsnprintf( msg, sizeof(msg), fmt, args );                       // always null terminated, but may be truncated
+        va_end( args );
+
         SemanticErrorThrow = true;
-        throw SemanticErrorException( location, error );
+        throw SemanticErrorException( location, msg );          // convert msg to string
 }
 
-namespace {
-        // convert format string and arguments into a single string
-        std::string fmtToString(const char * fmt, va_list ap) {
-                int size = 128;
-                while ( true ) {
-                        char buf[size];
-                        va_list args;
-                        va_copy( args, ap );
-                        int n = vsnprintf(&buf[0], size, fmt, args);
-                        va_end( args );
-                        if ( n < size && n >= 0 ) return buf;
-                        size *= 2;
-                }
-                assert( false );
-        }
-}
+void SemanticWarning( CodeLocation location, Warning warning, ... ) {
+        Severity severity = get_severities()[(int)warning];
 
-void SemanticWarningImpl( CodeLocation location, Warning warning, const char * const fmt, ... ) {
-        Severity severity = get_severities()[(int)warning];
-        switch(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 :
                 {
+                        char msg[2048];                                                         // worst-case error-message buffer
                         va_list args;
-                        va_start(args, fmt);
-                        std::string msg = fmtToString( fmt, args );
-                        va_end(args);
-                        SemanticError(location, msg);
+                        va_start( args, warning );
+                        vsnprintf( msg, sizeof(msg), WarningFormats[(int)warning].message, args ); // always null terminated, but may be truncated
+                        va_end( args );
+
+                        if ( severity == Severity::Warn ) {
+                                cerr << ErrorHelpers::bold() << location << ErrorHelpers::warning_str() << ErrorHelpers::reset_font() << msg << endl;
+                        } else {
+                                SemanticError( location, string( msg ) );
+                        }
                 }
                 break;
@@ -163 +154 @@
         }
 
-        const std::string & error_str() {
-                static std::string str = with_colors() ? "\e[31merror:\e[39m " : "error: ";
+        const string & error_str() {
+                static string str = with_colors() ? "\e[31merror:\e[39m " : "error: ";
                 return str;
         }
 
-        const std::string & warning_str() {
-                static std::string str = with_colors() ? "\e[95mwarning:\e[39m " : "warning: ";
+        const string & warning_str() {
+                static string str = with_colors() ? "\e[95mwarning:\e[39m " : "warning: ";
                 return str;
         }
 
-        const std::string & bold_ttycode() {
-                static std::string str = with_colors() ? "\e[1m" : "";
+        const string & bold_ttycode() {
+                static string str = with_colors() ? "\e[1m" : "";
                 return str;
         }
 
-        const std::string & reset_font_ttycode() {
-                static std::string str = with_colors() ? "\e[0m" : "";
+        const string & reset_font_ttycode() {
+                static string str = with_colors() ? "\e[0m" : "";
                 return str;
         }
 
-        std::string make_bold( const std::string & str ) {
+        string make_bold( const string & str ) {
                 return bold_ttycode() + str + reset_font_ttycode();
         }
 
-        std::ostream & operator<<(std::ostream & os, bold) {
+        ostream & operator<<(ostream & os, bold) {
                 os << bold_ttycode();
                 return os;
         }
 
-        std::ostream & operator<<(std::ostream & os, reset_font) {
+        ostream & operator<<(ostream & os, reset_font) {
                 os << reset_font_ttycode();
                 return os;