Mark FileLine::v3errorEndFatal as noreturn
This commit is contained in:
parent
89924bda51
commit
290c2e0388
|
|
@ -247,7 +247,7 @@ public:
|
||||||
|
|
||||||
// OPERATORS
|
// OPERATORS
|
||||||
void v3errorEnd(std::ostringstream& str, const string& extra = "");
|
void v3errorEnd(std::ostringstream& str, const string& extra = "");
|
||||||
void v3errorEndFatal(std::ostringstream& str);
|
void v3errorEndFatal(std::ostringstream& str) VL_ATTR_NORETURN;
|
||||||
/// When building an error, prefix for printing continuation lines
|
/// When building an error, prefix for printing continuation lines
|
||||||
/// e.g. information referring to the same FileLine as before
|
/// e.g. information referring to the same FileLine as before
|
||||||
string warnMore() const;
|
string warnMore() const;
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue