home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / ada / 2451 < prev    next >
Encoding:
Text File  |  1992-08-26  |  2.1 KB  |  52 lines

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