On 17 February 2013 18:37, Eric Bezault <ericb@gobosoft.com> wrote:
On 2/17/2013 7:15 PM, Colin Adams wrote:
I've bootstrapped gobo from git, and re-compiled from scratch. But my
program now suffers from an invariant violation when parsing the ECF.
Stack trace follows:

I'll have a look at it.

Having temporarily switched off invariant checking for the et_tools cluster, I now get a precondition violation:

The value of an_int is 74440, which way exceeds the platform maximum of 255.
The last_literal concerned is 0xFFFD. 

an_int_small_enough: PRECONDITION_VIOLATION raised (PRECONDITION_VIOLATION)
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
KL_INTEGER_ROUTINES to_character @2        an_int_small_enough:         
<00007F97C57775B8>                         Precondition violated.        Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    last_c3_character_constant @8
<00007F97C5A877B8>  (From ET_EIFFEL_SCANNER_SKELETON)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_DECORATED_AST_FACTORY
                    new_c3_character_constant @2
<00007F97C5DD4D78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    process_break @6                                    
<00007F97C5A877B8>  (From ET_EIFFEL_SCANNER_SKELETON)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    yy_execute_action @1098
<00007F97C5A877B8>  (From ET_EIFFEL_SCANNER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    read_token @134                                     
<00007F97C5A877B8>  (From ET_EIFFEL_SCANNER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    yyparse @45                                         
<00007F97C5A877B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    parse_file @16                                      
<00007F97C5A877B8>  (From ET_EIFFEL_PARSER_SKELETON)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    process_class @23                                   
<00007F97C5A877B8>  (From ET_EIFFEL_PARSER_SKELETON)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_CLASS            process @2                                          
<00007F97C5A5BD18>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           fast_call                                           
<00007F97C5776F68>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @5                                             
<00007F97C5776F68>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_LIBRARY      classes_do_if @11                                   
<00007F97C5A46AB8>  (From ET_UNIVERSE)     Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           fast_call                                           
<00007F97C5777228>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @5                                             
<00007F97C5777228>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DS_HASH_SET         do_all @5                                           
<00007F97C57772E8>  (From DS_SPARSE_CONTAINER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       universes_do_recursive @4
<00007F97C5A4FEE8>  (From ET_UNIVERSE)     Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       classes_do_if_recursive_until @4
<00007F97C5A4FEE8>  (From ET_UNIVERSE)     Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       parse_system @15                                    
<00007F97C5A4FEE8>  (From ET_SYSTEM)       Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       compile_system @9                                   
<00007F97C5A4FEE8>  (From ET_SYSTEM)       Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       compile @7                                          
<00007F97C5A4FEE8>  (From ET_SYSTEM)       Routine failure.              Fail
-------------------------------------------------------------------------------
CQS_CHECKER         process_system @15                                  
<00007F97C5A5BF88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
CQS_CHECKER         make @12                                            
<00007F97C5A5BF88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
CQS_CHECKER         root's creation                                     
<00007F97C5A5BF88>                         Routine failure.              Exit
-------------------------------------------------------------------------------