source: src/Common/SemanticError.h @ fd2debf

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexer
Last change on this file since fd2debf was fd2debf, checked in by Rob Schluntz <rschlunt@…>, 3 years ago

Add checks for constructor/destructor attribute arguments

  • Property mode set to 100644
File size: 3.6 KB
Line 
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//
7// SemanticError.h --
8//
9// Author           : Thierry Delisle
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Thu Jul 19 10:09:17 2018
13// Update Count     : 31
14//
15
16#pragma once
17
18#include "ErrorObjects.h"
19#include <cstring>
20
21//-----------------------------------------------------------------------------
22// Errors
23
24extern bool SemanticErrorThrow;
25
26__attribute__((noreturn)) void SemanticError( CodeLocation location, std::string error );
27
28template< typename T >
29__attribute__((noreturn)) static inline void SemanticError( const T * obj, const std::string & error ) {
30        SemanticError( obj->location, toString( error, obj ) );
31}
32
33template< typename T >
34__attribute__((noreturn)) static inline void SemanticError( CodeLocation location, const T * obj, const std::string & error ) {
35        SemanticError( location, toString( error, obj ) );
36}
37
38//-----------------------------------------------------------------------------
39// Warnings
40
41enum class Severity {
42        Suppress,
43        Warn,
44        Error,
45        Critical
46};
47
48struct WarningData {
49        const char * const name;
50        const char * const message;
51        const Severity default_severity;
52};
53
54constexpr WarningData WarningFormats[] = {
55        {"self-assign"            , "self assignment of expression: %s"            , Severity::Warn},
56        {"reference-conversion"   , "rvalue to reference conversion of rvalue: %s" , Severity::Warn},
57        {"qualifiers-zero_t-one_t", "questionable use of type qualifier %s with %s", Severity::Warn},
58        {"aggregate-forward-decl" , "forward declaration of nested aggregate: %s"  , Severity::Warn},
59        {"superfluous-decl"       , "declaration does not allocate storage: %s"    , Severity::Warn},
60        {"gcc-attributes"         , "invalid attribute: %s"                        , Severity::Warn},
61};
62
63enum class Warning {
64        SelfAssignment,
65        RvalueToReferenceConversion,
66        BadQualifiersZeroOne,
67        AggrForwardDecl,
68        SuperfluousDecl,
69        GccAttributes,
70        NUMBER_OF_WARNINGS, // This MUST be the last warning
71};
72
73static_assert(
74        (sizeof(WarningFormats) / sizeof(WarningFormats[0])) == ((unsigned long)Warning::NUMBER_OF_WARNINGS),
75        "Each warning format should have a corresponding warning enum value"
76);
77
78#define SemanticWarning(loc, id, ...) SemanticWarningImpl(loc, id, WarningFormats[(int)id].message, __VA_ARGS__)
79
80void SemanticWarningImpl (CodeLocation loc, Warning warn, const char * const fmt, ...) __attribute__((format(printf, 3, 4)));
81
82void SemanticWarning_SuppressAll   ();
83void SemanticWarning_EnableAll     ();
84void SemanticWarning_WarningAsError();
85void SemanticWarning_Set           (const char * const name, Severity s);
86
87// SKULLDUGGERY: cfa.cc is built before SemanticError.cc but needs this routine.
88static inline bool SemanticWarning_Exist(const char * const name) {
89        for ( const auto & w : WarningFormats ) {
90                if ( std::strcmp( name, w.name ) == 0 ) return true;
91        }
92        return false;
93}
94
95//-----------------------------------------------------------------------------
96// Helpers
97namespace ErrorHelpers {
98        const std::string & error_str();
99        const std::string & warning_str();
100        const std::string & bold_ttycode();
101        const std::string & reset_font_ttycode();
102
103        std::string make_bold( const std::string & str );
104
105        struct bold {};
106        std::ostream & operator<<(std::ostream & os, bold);
107
108        struct reset_font {};
109        std::ostream & operator<<(std::ostream & os, reset_font);
110}
111
112// Local Variables: //
113// tab-width: 4 //
114// mode: c++ //
115// compile-command: "make install" //
116// End: //
Note: See TracBrowser for help on using the repository browser.