Changeset 1469a8a

Timestamp:

Dec 13, 2019, 1:46:34 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

cfaa2873

Parents:

9853d9b0

Message:

differentiate between null-pointer dereference and bad-pointer dereference in error message

Files:

• libcfa/src/interpose.cfa (modified) (2 diffs)
• src/AST/TypeVar.hpp (deleted)

libcfa/src/interpose.cfa

@@ -10 +10 @@
 // Created On       : Wed Mar 29 16:10:31 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Nov 30 07:09:42 2019
-// Update Count     : 119
+// Last Modified On : Fri Dec 13 13:45:21 2019
+// Update Count     : 121
 //
 
@@ -229 +229 @@
 
 void sigHandler_segv( __CFA_SIGPARMS__ ) {
-        abort( "Addressing invalid memory at location %p\n"
-                        "Possible cause is reading outside the address space or writing to a protected area within the address space with an invalid pointer or subscript.\n",
-                        sfp->si_addr );
+                if ( sfp->si_addr == NULL ) {
+                        abort( "Null pointer (0p) dereference.\n" );
+                } else {
+                        abort( "%s at memory location %p.\n"
+                                   "Possible cause is reading outside the address space or writing to a protected area within the address space with an invalid pointer or subscript.\n",
+                                   (sig == SIGSEGV ? "Segment fault" : "Bus error"), sfp->si_addr );
+                }
 }