Add custom assertion routine

antmicro · Oct 10, 2024 · 092b203 · 092b203
1 parent bab424d
commit 092b203
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/source/Utils.cpp b/source/Utils.cpp
@@ -14,7 +14,7 @@
 std::string tryDemangle(const char* mangled) {
     int rc;
     char* out = abi::__cxa_demangle(mangled, NULL, NULL, &rc);
-    assert(rc == 0 && "demangling failed");
+    ASSERT(rc == 0, "demangling failed");
     std::string outStr = out;
     free(out);
     return outStr;

diff --git a/source/Utils.hpp b/source/Utils.hpp
@@ -89,3 +89,17 @@ std::string prefixLines(const std::string& str, const std::string& linePrefix);
         fprintf(stderr, "sv-bugpoint: "); \
         fprintf(stderr, __VA_ARGS__); \
     } while (0)
+
+#define PRINTF_INTERNAL_ERR(...) \
+    do { \
+        PRINTF_ERR("Internal error: %s:%d: ", __FILE__, __LINE__); \
+        fprintf(stderr, __VA_ARGS__); \
+    } while (0)
+
+#define ASSERT(cond, msg) \
+    do { \
+        if (!(cond)) { \
+            PRINTF_INTERNAL_ERR("Assertion `%s` failed: %s\n", #cond, msg); \
+            exit(1); \
+        } \
+    } while (0)