- if(is_Const(lower)) fprintf(f, "%ld ", get_tarval_long(get_Const_tarval(lower)));
- else panic("Lower array bound is not constant");
-
- if(is_Const(upper)) fprintf(f, "%ld ", get_tarval_long(get_Const_tarval(upper)));
- else if(is_Unknown(upper)) fputs("unknown ", f);
- else panic("Upper array bound is not constant");
+ if (is_Const(lower))
+ fprintf(f, "%ld ", get_tarval_long(get_Const_tarval(lower)));
+ else
+ panic("Lower array bound is not constant");
+
+ if (is_Const(upper))
+ fprintf(f, "%ld ", get_tarval_long(get_Const_tarval(upper)));
+ else if (is_Unknown(upper))
+ fputs("unknown ", f);
+ else
+ panic("Upper array bound is not constant");