pike.git/ src/ program.c

2008-08-14

2008-08-14 22:12:39 by Martin Stjernholm <mast@lysator.liu.se>

• 73a68564cfc4045fbe24b9517e9a6c9e9c610460 (37 lines) (+28/-9) ^{[ Show | Annotate ]}
  Branch: 7.9

Check that the inherited program is really finished in pass 2. Also
extended those error messages so that mere mortals might understand
what it really is about.

Rev: src/program.c:1.743

2:   || This file is part of Pike. For copyright information see COPYRIGHT.   || Pike is distributed under GPL, LGPL and MPL. See the file COPYING   || for more information. - || $Id: program.c,v 1.742 2008/08/13 21:11:58 mast Exp $ + || $Id: program.c,v 1.743 2008/08/14 22:12:39 mast Exp $   */      #include "global.h"
4217:    struct program *old_p =    Pike_compiler->new_program->inherits[Pike_compiler->num_inherits+1].prog;    Pike_compiler->num_inherits += old_p->num_inherits; +     if (old_p != p) { -  yyerror("Got different program for inherit in second pass."); +  yyerror("Got different program for inherit in second pass " +  "(resolver problem).");    } -  +  +  if (!(p->flags & PROGRAM_FINISHED)) { +  /* Require that the inherited program really is finished in pass +  * 2. Otherwise we might not have all definitions when we +  * fixate our program. +  * +  * FIXME: Maybe this can be relaxed by registering a dependency +  * and delaying compilation here? +  */ +  yyerror ("Cannot inherit program in pass 2 " +  "which is not fully compiled yet."); +  yyerror ("(You probably have a cyclic symbol dependency that the " +  "compiler cannot handle.)"); +  } +     return;    }    -  +  if (!(p->flags & (PROGRAM_FINISHED | PROGRAM_PASS_1_DONE))) { +  yyerror ("Cannot inherit program in pass 1 " +  "which is only a placeholder."); +  yyerror ("(You probably have a cyclic symbol dependency that the " +  "compiler cannot handle.)"); +  return; +  } +    #ifdef WITH_FACETS    /* Check if inherit is a facet inherit. */    check_for_facet_inherit(p);
4257:    if(parent_offset)    parent_offset-=42;    -  -  if(!(p->flags & (PROGRAM_FINISHED | PROGRAM_PASS_1_DONE))) -  { -  yyerror("Cannot inherit program which is not fully compiled yet."); -  return; -  } -  +     inherit_offset = Pike_compiler->new_program->num_inherits;       /* alignment magic */