if (stateClause_isGlobal (cl))
{
- /*@i232@*/
+ ;
}
else
{
{
voptgenerror
(FLG_ANNOTATIONERROR,
- /*@-sefparams@*/ /* This is okay because its fresh storage. */ /*@i32@*/
+ /*@-sefparams@*/ /* This is okay because its fresh storage. */
message
("%q clauses includes %q of "
"non-dynamically allocated type %s",
{
if (stateClause_isGlobal (cl))
{
- ; /*@i32@*/
+ ; /* Don't handle globals for now */
}
else
{