sac2c issueshttps://gitlab.sac-home.org/sac-group/sac2c/-/issues2021-05-23T17:42:08Zhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2262-dtreecheck bug2021-05-23T17:42:08ZSven-Bodo Scholz-dtreecheck bugThis issue has evolved from #2259 and #2261 which now both work without treecheck but fail through treecheck in phase 21:
```
** 21: Generating Code ...
**** Tag preparation ...
-> Running syntax tree checks
**** Creating...This issue has evolved from #2259 and #2261 which now both work without treecheck but fail through treecheck in phase 21:
```
** 21: Generating Code ...
**** Tag preparation ...
-> Running syntax tree checks
**** Creating intermediate code macros ...
-> Running syntax tree checks
warning: mandatory attribute ID_AVIS is NULL
...
warning: mandatory attribute ID_AVIS is NULL
OOOOOOOPS, your program crashed the compiler 8-((
```https://gitlab.sac-home.org/sac-group/sac2c/-/issues/1116-d treecheck node set membership tests are wrong2017-11-19T20:23:07ZRobert Bernecky-d treecheck node set membership tests are wrong| | |
| --- | --- |
| Bugzilla Link | [956](http://bugs.sac-home.org/show_bug.cgi?id=956) |
| Created on | May 17, 2012 18:08 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>This code is generate...| | |
| --- | --- |
| Bugzilla Link | [956](http://bugs.sac-home.org/show_bug.cgi?id=956) |
| Created on | May 17, 2012 18:08 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>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,</pre>BugZillaBugZilla