From 4f2dc0ecffcdb3e2b0ac50349ffd8c6117125a55 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 4 Oct 2009 17:01:28 -0400
Subject: [PATCH] Internals: Route abort() through vlabort().  No functional
 change

---
 src/V3Error.cpp | 23 +++++++++++++----------
 src/V3Error.h   |  2 +-
 2 files changed, 14 insertions(+), 11 deletions(-)

diff --git a/src/V3Error.cpp b/src/V3Error.cpp
index 86e3d7956..b60ad96ae 100644
--- a/src/V3Error.cpp
+++ b/src/V3Error.cpp
@@ -303,6 +303,18 @@ string V3Error::msgPrefix(V3ErrorCode code) {
     else return "%Warning-"+(string)code.ascii()+": ";
 }
 
+//======================================================================
+// Abort/exit
+
+void V3Error::vlAbort () {
+    if (V3Error::debugDefault()) {
+	cerr<<msgPrefix()<<"Aborting since under --debug"<<endl;
+	abort();
+    } else {
+	exit(10);
+    }
+}
+
 //======================================================================
 // Global Functions
 
@@ -325,10 +337,6 @@ void V3Error::suppressThisWarning() {
     }
 }
 
-void V3Error::v3abort () {
-    v3fatalSrc("v3abort called\n");
-}
-
 void V3Error::v3errorEnd (ostringstream& sstr) {
 #ifdef __COVERITY__
     if (s_errorCode==V3ErrorCode::FATAL) __coverity_panic__(x);
@@ -385,12 +393,7 @@ void V3Error::v3errorEnd (ostringstream& sstr) {
 #endif
 		}
 
-		if (V3Error::debugDefault()) {
-		    cerr<<msgPrefix()<<"Aborting since under --debug"<<endl;
-		    abort();
-		} else {
-		    exit(10);
-		}
+		vlAbort();
 	    }
 	}
     }
diff --git a/src/V3Error.h b/src/V3Error.h
index 4c883fd09..cbac1dbb5 100644
--- a/src/V3Error.h
+++ b/src/V3Error.h
@@ -172,7 +172,7 @@ class V3Error {
     static ostringstream& v3errorPrep (V3ErrorCode code) {
 	s_errorStr.str(""); s_errorCode=code; return s_errorStr; }
     static ostringstream& v3errorStr () { return s_errorStr; }
-    static void	v3abort();
+    static void	vlAbort();
     static void	v3errorEnd(ostringstream& sstr);	// static, but often overridden in classes.
 };