Update unsafe.c

src/unsafe.c

@@ -1,11 +1,27 @@
-// src/unsafe.c
-#include <stdio.h>
+// violations.cpp
+#include <stdexcept>
 
-int global;
+class Unsafe {
+    int *p;
+public:
+    Unsafe() {                   // Constructor throws without handling
+        p = new int(42);
+        if (*p == 42)
+            throw std::runtime_error("ERR51: unhandled exception");   // triggers ERR51-CPP
+    }
 
-int main(void) {
-    global = 42;
-    printf("%d\n", global);
+    ~Unsafe() noexcept {         // Destructor references deleted memory
+        delete p;
+        int x = *p;              // ERR53-CPP: value referenced after destruction
+        (void)x;
+    }
+};
+
+int main() {
+    try {
+        Unsafe u;                // construction will throw
+    } catch (...) {
+        // Intentionally empty to keep program running
+    }
     return 0;
 }
-