-d treecheck node set membership tests are wrong
|
|
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,