source: src/Common/SemanticError.h @ aeb5d0d

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since aeb5d0d was 98538288, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Moved VerifyCtorDtorAssign? up and changed return type check to support the change.
fixes #158?

  • Property mode set to 100644
File size: 3.9 KB
RevLine 
[51587aa]1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
[3906301]7// SemanticError.h --
[51587aa]8//
[af39199d]9// Author           : Thierry Delisle
[51587aa]10// Created On       : Mon May 18 07:44:20 2015
[9ed4f94]11// Last Modified By : Peter A. Buhr
[679e644]12// Last Modified On : Thu Jul 19 10:09:17 2018
13// Update Count     : 31
[51587aa]14//
[51b7345]15
[6b0b624]16#pragma once
[51b7345]17
[a16764a6]18#include "ErrorObjects.h"
[77bfc80]19#include "AST/Node.hpp"
[af39199d]20#include <cstring>
[294647b]21
[d55d7a6]22//-----------------------------------------------------------------------------
23// Errors
[138e29e]24
[4358c1e]25extern bool SemanticErrorThrow;
26
[a16764a6]27__attribute__((noreturn)) void SemanticError( CodeLocation location, std::string error );
[51b7345]28
29template< typename T >
[a16764a6]30__attribute__((noreturn)) static inline void SemanticError( const T * obj, const std::string & error ) {
31        SemanticError( obj->location, toString( error, obj ) );
32}
[d55d7a6]33
34template< typename T >
[a16764a6]35__attribute__((noreturn)) static inline void SemanticError( CodeLocation location, const T * obj, const std::string & error ) {
36        SemanticError( location, toString( error, obj ) );
37}
[d55d7a6]38
39//-----------------------------------------------------------------------------
40// Warnings
41
[6040e67d]42enum class Severity {
43        Suppress,
44        Warn,
45        Error,
46        Critical
47};
48
49struct WarningData {
50        const char * const name;
[68e9ace]51        const Severity default_severity;
[98538288]52        const char * const message;
[6040e67d]53};
54
[44bca7f]55constexpr WarningData WarningFormats[] = {
[98538288]56        {"self-assign"            , Severity::Warn    , "self assignment of expression: %s"                          },
57        {"reference-conversion"   , Severity::Warn    , "rvalue to reference conversion of rvalue: %s"               },
58        {"qualifiers-zero_t-one_t", Severity::Warn    , "questionable use of type qualifier %s with %s"              },
59        {"aggregate-forward-decl" , Severity::Warn    , "forward declaration of nested aggregate: %s"                },
60        {"superfluous-decl"       , Severity::Warn    , "declaration does not allocate storage: %s"                  },
61        {"gcc-attributes"         , Severity::Warn    , "invalid attribute: %s"                                      },
62        {"c++-like-copy"          , Severity::Warn    , "Constructor from reference is not a valid copy constructor" },
[a16764a6]63};
[d55d7a6]64
[a16764a6]65enum class Warning {
[babeeda]66        SelfAssignment,
[ec6c040]67        RvalueToReferenceConversion,
[9dc31c10]68        BadQualifiersZeroOne,
[2e02851]69        AggrForwardDecl,
[679e644]70        SuperfluousDecl,
[fd2debf]71        GccAttributes,
[98538288]72        CppCopy,
[679e644]73        NUMBER_OF_WARNINGS, // This MUST be the last warning
[d55d7a6]74};
75
[a16764a6]76static_assert(
77        (sizeof(WarningFormats) / sizeof(WarningFormats[0])) == ((unsigned long)Warning::NUMBER_OF_WARNINGS),
78        "Each warning format should have a corresponding warning enum value"
79);
80
[6040e67d]81#define SemanticWarning(loc, id, ...) SemanticWarningImpl(loc, id, WarningFormats[(int)id].message, __VA_ARGS__)
[a16764a6]82
83void SemanticWarningImpl (CodeLocation loc, Warning warn, const char * const fmt, ...) __attribute__((format(printf, 3, 4)));
[d55d7a6]84
[68e9ace]85void SemanticWarning_SuppressAll   ();
86void SemanticWarning_EnableAll     ();
87void SemanticWarning_WarningAsError();
88void SemanticWarning_Set           (const char * const name, Severity s);
[d55d7a6]89
[af39199d]90// SKULLDUGGERY: cfa.cc is built before SemanticError.cc but needs this routine.
91static inline bool SemanticWarning_Exist(const char * const name) {
92        for ( const auto & w : WarningFormats ) {
93                if ( std::strcmp( name, w.name ) == 0 ) return true;
94        }
95        return false;
96}
97
[d55d7a6]98//-----------------------------------------------------------------------------
99// Helpers
[a16764a6]100namespace ErrorHelpers {
[1a69a90]101        enum class Colors {
102                Never = false,
103                Always = true,
104                Auto,
105        };
106
107        extern Colors colors;
108
[a16764a6]109        const std::string & error_str();
110        const std::string & warning_str();
111        const std::string & bold_ttycode();
112        const std::string & reset_font_ttycode();
[d55d7a6]113
[a16764a6]114        std::string make_bold( const std::string & str );
[d55d7a6]115
[a16764a6]116        struct bold {};
117        std::ostream & operator<<(std::ostream & os, bold);
[d55d7a6]118
[a16764a6]119        struct reset_font {};
120        std::ostream & operator<<(std::ostream & os, reset_font);
[d55d7a6]121}
122
[51587aa]123// Local Variables: //
124// tab-width: 4 //
125// mode: c++ //
126// compile-command: "make install" //
127// End: //
Note: See TracBrowser for help on using the repository browser.