home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.ada
- Path: sparky!uunet!stanford.edu!leland.Stanford.EDU!fanaraaken.Stanford.EDU!vera
- From: vera@fanaraaken.Stanford.EDU (James S. Vera)
- Subject: Re: Need new idea to get around sunada 1.0 [Verdix] error
- Message-ID: <vera.714899225@fanaraaken.Stanford.EDU>
- Sender: news@leland.Stanford.EDU (Mr News)
- Organization: Program Analysis and Verification Group, Stanford University
- References: <1992Aug19.185609.10211@src.honeywell.com>
- Date: 27 Aug 92 07:07:05 GMT
- Lines: 40
-
- tap@src.honeywell.com (Thomas A Peterson) writes:
-
- >I am using ayacc to develop a parser and have ran into a problem with
- >the Sun Ada 1.0 compiler returning an internal assertion error.
-
- >socrates: ada -O0 parser.a
- >internal: assertion error at file lreg.c, line 174
- >cg_ret: 1
- >socrates:
-
- >Parser.a contains a large case statement that is apparently larger
- >than what the compiler can handle. I have talked to a Verdix employee
- >about the problem and he told me to break up the case statement into
- >smaller case statements but this has not helped.
-
- Ack! The old Verdix bug. Our group first complained about that bug
- half a DECADE ago. Bug progress has been made. Instead of barfing up
- with an assertion error, Verdix is instead (in some future, unnammed
- release) going to issue a standard error message. Big improvement.
-
- The problem is not the case statement, per se. Instead the problem is
- that Verdix has a hard limit on the number of expressions which can
- occur in a subprogram. The limit is something like 20,000
- expressions.
-
- To get around this bug, you need to break the offending subprogram
- into multiple subprograms. This, of course, is a pain in the but when
- the subprogram is generated automagicly but gee, you don't expect your
- Ada compiler to compile valid Ada code, do you?
-
- I've pointed out this Verdix debility to the AYACC folk and they said
- they'll look into it. I'd put money on it that the AYACC folk code
- around Veridex's bug before Veridex fixes it.
-
- James S. Vera | Internet |Standard Disclaimers
- Stanford University| vera@anna.stanford.edu |Blah Blah Blah Blah
- +1.415.723.1089 | FAX +1.415.725.7398 |
-
-
-
-