source: src/Common/SemanticError.h @ 44bca7f

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerwith_gc
Last change on this file since 44bca7f was 44bca7f, checked in by Peter A. Buhr <pabuhr@…>, 4 years ago

first attempt at warning control

  • Property mode set to 100644
File size: 2.7 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           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed May  2 15:00:01 2018
13// Update Count     : 23
14//
15
16#pragma once
17
18#include "ErrorObjects.h"
19
20//-----------------------------------------------------------------------------
21// Errors
22
23__attribute__((noreturn)) void SemanticError( CodeLocation location, std::string error );
24
25template< typename T >
26__attribute__((noreturn)) static inline void SemanticError( const T * obj, const std::string & error ) {
27        SemanticError( obj->location, toString( error, obj ) );
28}
29
30template< typename T >
31__attribute__((noreturn)) static inline void SemanticError( CodeLocation location, const T * obj, const std::string & error ) {
32        SemanticError( location, toString( error, obj ) );
33}
34
35//-----------------------------------------------------------------------------
36// Warnings
37
38enum class Severity {
39        Suppress,
40        Warn,
41        Error,
42        Critical
43};
44
45struct WarningData {
46        const char * const name;
47        const char * const message;
48        mutable Severity severity;
49};
50
51constexpr WarningData WarningFormats[] = {
52        {"self-assign"         , "self assignment of expression: %s"           , Severity::Warn},
53        {"reference-conversion", "rvalue to reference conversion of rvalue: %s", Severity::Warn},
54        {"qualifiers-zero_t-one_t", "questionable use of type qualifier %s with %s", Severity::Warn},
55};
56
57enum class Warning {
58        SelfAssignment,
59        RvalueToReferenceConversion,
60        BadQualifiersZeroOne,
61        NUMBER_OF_WARNINGS, //This MUST be the last warning
62};
63
64static_assert(
65        (sizeof(WarningFormats) / sizeof(WarningFormats[0])) == ((unsigned long)Warning::NUMBER_OF_WARNINGS),
66        "Each warning format should have a corresponding warning enum value"
67);
68
69#define SemanticWarning(loc, id, ...) SemanticWarningImpl(loc, id, WarningFormats[(int)id].message, __VA_ARGS__)
70
71void SemanticWarningImpl (CodeLocation loc, Warning warn, const char * const fmt, ...) __attribute__((format(printf, 3, 4)));
72
73
74//-----------------------------------------------------------------------------
75// Helpers
76namespace ErrorHelpers {
77        const std::string & error_str();
78        const std::string & warning_str();
79        const std::string & bold_ttycode();
80        const std::string & reset_font_ttycode();
81
82        std::string make_bold( const std::string & str );
83
84        struct bold {};
85        std::ostream & operator<<(std::ostream & os, bold);
86
87        struct reset_font {};
88        std::ostream & operator<<(std::ostream & os, reset_font);
89}
90
91// Local Variables: //
92// tab-width: 4 //
93// mode: c++ //
94// compile-command: "make install" //
95// End: //
Note: See TracBrowser for help on using the repository browser.