** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
-** For information on lclint: lclint-request@cs.virginia.edu
-** To report a bug: lclint-bug@cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
** For more information: http://www.splint.org
*/
/*
** They should probably be separated soon.
*/
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "basic.h"
# include "structNames.h"
ctype ctype_makeFixedArray (ctype c, long size)
{
- return (cttable_addDerived (CTK_ARRAY, ctbase_makeFixedArray (c, size), c));
+ ctype res;
+ res = cttable_addDerived (CTK_ARRAY, ctbase_makeFixedArray (c, size), c);
+ return res;
+}
+
+ctype ctype_makeInnerFixedArray (ctype c, long size)
+{
+ ctype res;
+
+ if (ctype_isFixedArray (c))
+ {
+ ctype cb = ctype_baseArrayPtr (c);
+ long osize = ctype_getArraySize (c);
+
+ res = ctype_makeFixedArray (ctype_makeInnerFixedArray (cb, size),
+ osize);
+ }
+ else
+ {
+ res = ctype_makeFixedArray (c, size);
+ }
+
+ return res;
}
ctype
static bool
ctype_isForcePred (ctype * c, bool (pred) (ctype))
{
- if (ctype_isConj (*c))
+ /*drl bee: pbr */ if (ctype_isConj (*c))
{
ctype cbr = ctype_getConjA (*c);
- if ((*pred) (cbr))
+ /*drl bee: si*/ if ((*pred) (cbr))
{
if ((*pred) (ctype_getConjB (*c)))
{