From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a0e076952eca80d4
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada and C++ asserts.
Date: 1996/07/15
Message-ID: <dewar.837438578@schonberg>#1/1
X-Deja-AN: 168437112
references: <nh4tn9d9vw.fsf@paralysys>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-07-15T00:00:00+00:00
List-Id: <comp.lang.ada>


Nasser complained:

$CC t2.cc
$a.out
Assertion failed: i == 1, file t2.cc, line 8
Abort (core dumped)


I don't find it so terrible to create a core dump here. In C terms since
there is no consistent way to signal such an event, calling abort and
dumping core so that they you have a debuggable image seems quite
reasonable. Find out if it is defined to do this, I would expect
that it is!