GitLab

Bugzilla Link	956
Created on	May 17, 2012 18:08
Version	svn
OS	Linux
Architecture	PC

Extended Description

This code is generated in check.c:
 /*
   * Attribute check: AVIS_DECL
   */
  if( ( FALSE)|| ( TRUE)){
    CHKexistAttribute( AVIS_DECL( arg_node), arg_node, "mandatory attribute AVIS_DECL is NULL");
    if( AVIS_DECL( arg_node)!= NULL){
      if( !(( FALSE)|| ( NODE_TYPE( AVIS_DECL( arg_node))== N_vardec))){
        CHKcorrectTypeInsertError(arg_node,"AVIS_DECL hasnt the right type."" It should be: ""N_vardec");
      }
    }
  }
  else if( ( FALSE)|| ( TRUE)){
    CHKexistAttribute( AVIS_DECL( arg_node), arg_node, "mandatory attribute AVIS_DECL is NULL");
    if( AVIS_DECL( arg_node)!= NULL){
      if( !(( FALSE)|| ( NODE_TYPE( AVIS_DECL( arg_node))== N_arg))){
        CHKcorrectTypeInsertError(arg_node,"AVIS_DECL hasnt the right type."" It should be: ""N_arg");
      }
    }
  }
  else {
    CHKnotExist( AVIS_DECL( arg_node), arg_node, "attribute AVIS_DECL must be NULL");
The set membership test is incorrect, in that it will report
an error( expected N_vardec) if AVIS_DECL is an N_arg node,