Changeset 1469a8a for src

Timestamp:
Dec 13, 2019, 1:46:34 PM (3 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
Children:
cfaa2873
Parents:
9853d9b0
Message:

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

File:
1 deleted

Note: See TracChangeset for help on using the changeset viewer.