From 290c2e03884284ccb984da1d50ffecf1dd08459b Mon Sep 17 00:00:00 2001 From: Geza Lore Date: Mon, 25 Jul 2022 12:51:02 +0100 Subject: [PATCH] Mark FileLine::v3errorEndFatal as noreturn --- src/V3FileLine.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/V3FileLine.h b/src/V3FileLine.h index 1ff0c06a4..328b682cd 100644 --- a/src/V3FileLine.h +++ b/src/V3FileLine.h @@ -247,7 +247,7 @@ public: // OPERATORS 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 /// e.g. information referring to the same FileLine as before string warnMore() const;