#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by Autoconf 2.52 for Splint 3.0.1.1.
+# Generated by Autoconf 2.52 for Splint 3.0.1.2.
#
# Report bugs to <splint-bug@splint.org>.
#
# Identity of this package.
PACKAGE_NAME='Splint'
PACKAGE_TARNAME='splint'
-PACKAGE_VERSION='3.0.1.1'
-PACKAGE_STRING='Splint 3.0.1.1'
+PACKAGE_VERSION='3.0.1.2'
+PACKAGE_STRING='Splint 3.0.1.2'
PACKAGE_BUGREPORT='splint-bug@splint.org'
ac_prev=
# Omit some internal or obsolete options to make the list less imposing.
# This message is too long to be a string in the A/UX 3.1 sh.
cat <<EOF
-\`configure' configures Splint 3.0.1.1 to adapt to many kinds of systems.
+\`configure' configures Splint 3.0.1.2 to adapt to many kinds of systems.
Usage: $0 [OPTION]... [VAR=VALUE]...
if test -n "$ac_init_help"; then
case $ac_init_help in
- short | recursive ) echo "Configuration of Splint 3.0.1.1:";;
+ short | recursive ) echo "Configuration of Splint 3.0.1.2:";;
esac
cat <<\EOF
test -n "$ac_init_help" && exit 0
if $ac_init_version; then
cat <<\EOF
-Splint configure 3.0.1.1
+Splint configure 3.0.1.2
generated by GNU Autoconf 2.52
Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
-It was created by Splint $as_me 3.0.1.1, which was
+It was created by Splint $as_me 3.0.1.2, which was
generated by GNU Autoconf 2.52. Invocation command line was
$ $0 $@
# Define the identity of the package.
PACKAGE=splint
-VERSION=3.0.1.1
+VERSION=3.0.1.2
# Autoconf 2.50 wants to disallow AM_ names. We explicitly allow
# the ones we care about.
EOF
# These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.0.1.1"
+LCL_PARSE_VERSION="Splint 3.0.1.2"
cat >>confdefs.h <<EOF
#define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
cat >>$CONFIG_STATUS <<EOF
ac_cs_version="\\
-Splint config.status 3.0.1.1
+Splint config.status 3.0.1.2
configured by $0, generated by GNU Autoconf 2.52,
with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
## Running config.status. ##
## ----------------------- ##
-This file was extended by $as_me (Splint 3.0.1.1) 2.52, executed with
+This file was extended by $as_me (Splint 3.0.1.2) 2.52, executed with
CONFIG_FILES = $CONFIG_FILES
CONFIG_HEADERS = $CONFIG_HEADERS
CONFIG_LINKS = $CONFIG_LINKS
dnl Process with autoconf to create a configure script -*- Autoconf -*-
AC_PREREQ(2.50)
-AC_INIT([Splint], [3.0.1.1], [splint-bug@splint.org], [splint])
+AC_INIT([Splint], [3.0.1.2], [splint-bug@splint.org], [splint])
dnl This MUST precede any other macro
AC_CONFIG_AUX_DIR([config])
OBJEXT = o
PACKAGE = splint
RM = rm
-VERSION = 3.0.1.1
+VERSION = 3.0.1.2
am__include = include
am__quote =
install_sh = /net/af9/drl7x/reTmp/LCLintDev/config/install-sh
+++ /dev/null
-
-abstptr.c: (in function main)
-abstptr.c:13:3: Assignment of abst * to void *: vp = ap
-abstptr.c:14:3: Assignment of abst * to int *: ip = ap2
-abstptr.c:15:3: Assignment of int * to abst *: ap = ip
-abstptr.c:16:17: Cast from underlying abstract type abst *: (void *)ap
-abstptr.c:17:8: Dereference of null pointer ap: *ap
- abstptr.c:15:8: Storage ap becomes null
-abstptr.c:19:16: Cast from underlying abstract type abst *: (void *)&a
-abstptr.c:20:16: Cast to underlying abstract type abst *: (abst *)&b
-abstptr.c:21:3: Assignment of int * to abst *: ap = &b
-abstptr.c:22:3: Assignment of int to abst: *ap = b
-
-Finished checking --- 9 code warnings, as expected
-
-abstptr.c: (in function main)
-abstptr.c:14:3: Assignment of abst * to int *: ip = ap2
-abstptr.c:15:3: Assignment of int * to abst *: ap = ip
-abstptr.c:17:8: Dereference of null pointer ap: *ap
- abstptr.c:15:8: Storage ap becomes null
-abstptr.c:20:16: Cast to underlying abstract type abst *: (abst *)&b
-abstptr.c:21:3: Assignment of int * to abst *: ap = &b
-abstptr.c:22:3: Assignment of int to abst: *ap = b
-
-Finished checking --- 6 code warnings, as expected
+++ /dev/null
-
-commentcmd.c:1:13: Mutable abstract type abst1 declared without pointer
- indirection: int (violates assignment semantics)
-commentcmd.c:1:20: Mutable abstract type abst2 declared without pointer
- indirection: int (violates assignment semantics)
-commentcmd.c:2:13: Mutable abstract type abst3 declared without pointer
- indirection: int (violates assignment semantics)
-commentcmd.c: (in function main)
-commentcmd.c:11:22: Cast to abstract type abst2: (abst2)i
-commentcmd.c:16:22: Cast to abstract type abst1: (abst1)i
-commentcmd.c:17:22: Cast to abstract type abst2: (abst2)i
-commentcmd.c:18:22: Cast to abstract type abst3: (abst3)i
-commentcmd.c:22:22: Cast to abstract type abst1: (abst1)i
-commentcmd.c:24:22: Cast to abstract type abst3: (abst3)i
-commentcmd.c:34:22: Cast to abstract type abst1: (abst1)i
-commentcmd.c:40:22: Cast to abstract type abst1: (abst1)i
-commentcmd.c:41:22: Cast to abstract type abst2: (abst2)i
-commentcmd.c:46:22: Cast to abstract type abst1: (abst1)i
-commentcmd.c:47:22: Cast to abstract type abst2: (abst2)i
-commentcmd.c:48:22: Cast to abstract type abst3: (abst3)i
-
-Finished checking --- 15 code warnings, as expected
+++ /dev/null
-
-alttypes.c:19:20: Function f2 inconsistently redeclared to return alternate
- types int | bool (types match, but alternates are not identical, so
- checking may not be correct)
- alttypes.c:17:20: Previous declaration of f2: int | void
-alttypes.c:25:20: Variable x inconsistently redeclared with alternate types int
- | char (types match, but alternates are not identical, so checking may not
- be correct)
- alttypes.c:24:33: Previous declaration of x: int | char | bool
-
-Finished checking --- 2 code warnings, as expected
+++ /dev/null
-
-ansireserved.c:9: Name EVANS is reserved for future library extensions. Macros
- beginning with E and a digit or uppercase letter may be added to <errno.h>.
- (ISO99:7.26.3)
-ansireserved.c:1:5: Name decimal_point is reserved for the standard library
-ansireserved.c:2:5: Name srand is reserved for the standard library
-ansireserved.c:3:5: Name labs is reserved for the standard library
-ansireserved.c:4:5: Name _x is in the implementation name space (any identifier
- beginning with underscore)
-ansireserved.c:5:5: Name atan2f is reserved for future library extensions. The
- names of all existing functions in <math.h> suffixed with 'f' or 'l' may be
- added to <math.h>. (ISO:7.26.1)
-ansireserved.c:7:13: Name wcst is reserved for future library extensions.
- Functions that begin with "mem" or "wcs" and a lowercase letter letter may
- be added to <string.h>. (ISO:7.26.11)
-ansireserved.c:11:5: Name isaFish is reserved for future library extensions.
- Functions beginning with "is" or "to" and a lowercase letter may be added
- to <ctype.h>. (ISO99:7.26.2)
-ansireserved.c: (in function isaFish)
-ansireserved.c:16:20: Name wctomb is reserved for the standard library
-
-Finished checking --- 9 code warnings, as expected
-
-ansireserved.c:9: Name EVANS is reserved for future library extensions. Macros
- beginning with E and a digit or uppercase letter may be added to <errno.h>.
- (ISO99:7.26.3)
-ansireserved.c:1:5: Name decimal_point is reserved for the standard library
-ansireserved.c:2:5: Name srand is reserved for the standard library
-ansireserved.c:3:5: Name labs is reserved for the standard library
-ansireserved.c:4:5: Name _x is in the implementation name space (any identifier
- beginning with underscore)
-ansireserved.c:5:5: Name atan2f is reserved for future library extensions. The
- names of all existing functions in <math.h> suffixed with 'f' or 'l' may be
- added to <math.h>. (ISO:7.26.1)
-ansireserved.c:7:13: Name wcst is reserved for future library extensions.
- Functions that begin with "mem" or "wcs" and a lowercase letter letter may
- be added to <string.h>. (ISO:7.26.11)
-ansireserved.c:11:5: Name isaFish is reserved for future library extensions.
- Functions beginning with "is" or "to" and a lowercase letter may be added
- to <ctype.h>. (ISO99:7.26.2)
-ansireserved.c: (in function isaFish)
-ansireserved.c:13:20: Name powl is reserved for future library extensions. The
- names of all existing functions in <math.h> suffixed with 'f' or 'l' may be
- added to <math.h>. (ISO:7.26.1)
-ansireserved.c:15:22: Name memory is reserved for future library extensions.
- Functions that begin with "mem" or "wcs" and a lowercase letter letter may
- be added to <string.h>. (ISO:7.26.11)
-ansireserved.c:16:20: Name wctomb is reserved for the standard library
-
-Finished checking --- 11 code warnings, as expected
-
-ansireserved.c:9: Name EVANS is reserved for future library extensions. Macros
- beginning with E and a digit or uppercase letter may be added to <errno.h>.
- (ISO99:7.26.3)
-ansireserved.c:1:5: Name decimal_point is reserved for the standard library
-ansireserved.c:2:5: Function srand inconsistently declared as variable: int
- load file standard.lcd:898:1: Specification of srand as function:
- [function (unsigned int) returns void]
-ansireserved.c:2:5: Name srand is reserved for the standard library
-ansireserved.c:3:5: Function labs inconsistently declared as variable: int
- load file standard.lcd:920:1: Specification of labs as function:
- [function (long int) returns long int]
-ansireserved.c:3:5: Name labs is reserved for the standard library
-ansireserved.c:4:5: Name _x is in the implementation name space (any identifier
- beginning with underscore)
-ansireserved.c:5:5: Name atan2f is reserved for future library extensions. The
- names of all existing functions in <math.h> suffixed with 'f' or 'l' may be
- added to <math.h>. (ISO:7.26.1)
-ansireserved.c:7:13: Name wcst is reserved for future library extensions.
- Functions that begin with "mem" or "wcs" and a lowercase letter letter may
- be added to <string.h>. (ISO:7.26.11)
-ansireserved.c:11:5: Name isaFish is reserved for future library extensions.
- Functions beginning with "is" or "to" and a lowercase letter may be added
- to <ctype.h>. (ISO99:7.26.2)
-ansireserved.c: (in function isaFish)
-ansireserved.c:16:20: Name wctomb is reserved for the standard library
-ansireserved.c:5:5: Function atan2f declared but not defined
-
-Finished checking --- 12 code warnings, as expected
-
-ansireserved2.c:4:2: Name _s1 is in the implementation name space (any
- identifier beginning with underscore)
-
-Finished checking --- 1 code warning, as expected
+++ /dev/null
-
-argorder.c: (in function f)
-argorder.c:8:20: Argument 2 modifies z, used by argument 3 (order of evaluation
- of actual parameters is undefined): printf("%d %d", z++, z)
-argorder.c:10:13: Argument 1 modifies i, used by argument 2 (order of
- evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j)
-argorder.c:10:13: Argument 1 modifies j, used by argument 3 (order of
- evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j)
-argorder.c:10:25: Argument 2 modifies i, used by argument 1 (order of
- evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j)
-
-Finished checking --- 4 code warnings, as expected
-
-argorder2.c: (in function g)
-argorder2.c:16:12: Argument 1 modifies i, used by argument 2 (order of
- evaluation of actual parameters is undefined): f(f(1, 2), f(1, 2))
-argorder2.c:16:21: Argument 2 modifies i, used by argument 1 (order of
- evaluation of actual parameters is undefined): f(f(1, 2), f(1, 2))
-argorder2.c:17:12: Argument 1 modifies i, used by argument 2 (order of
- evaluation of actual parameters is undefined): f(f(1, 2), h())
-argorder2.c:18:12: Argument 1 modifies i, used by argument 2 (order of
- evaluation of actual parameters is undefined): f(f(1, 2), i)
-argorder2.c:19:14: Argument 1 modifies i, used by argument 2 (order of
- evaluation of actual parameters is undefined): f(i++, i)
-
-Finished checking --- 5 code warnings, as expected
-
-argorder3.c: (in function f)
-argorder3.c:7:8: Expression has undefined behavior (value of left operand i is
- modified by right operand i++): i = i++
-argorder3.c:8:11: Expression has undefined behavior (left operand uses i,
- modified by right operand): a[i] = i++
-argorder3.c:9:12: Expression has undefined behavior (value of right operand
- modified by left operand): a[i++] = i
-argorder3.c:10:13: Expression has undefined behavior (value of right operand
- modified by left operand): i++ * i
-argorder3.c:11:12: Expression has undefined behavior (value of left operand i
- is modified by right operand i++): i * i++
-argorder3.c:12:14: Expression has undefined behavior (left operand uses i,
- modified by right operand): --i * ++i
-argorder3.c:12:14: Expression has undefined behavior (left operand modifies i,
- used by right operand): --i * ++i
-argorder3.c:13:2: Path with no return in function declared to return int
-
-Finished checking --- 8 code warnings, as expected
-
-argorder4.c: (in function h)
-argorder4.c:19:21: Expression has undefined behavior (left operand uses glob,
- modified by right operand): f() + g()
-argorder4.c:25:18: Expression has undefined behavior (left operand uses glob,
- modified by right operand): f() + (++glob)
-argorder4.c:29:18: Expression has undefined behavior (left operand uses glob,
- modified by right operand): g() + h()
-argorder4.c:29:18: Expression has undefined behavior (left operand modifies
- glob, used by right operand): g() + h()
-argorder4.c:35:16: Argument 1 modifies file system state, used by argument 2
- (order of evaluation of actual parameters is undefined):
- add((printf("hullo"), 3), (printf("goodbye"), 4))
-argorder4.c:35:16: Argument 1 modifies *stdout, set by argument 2 (order of
- evaluation of actual parameters is undefined):
- add((printf("hullo"), 3), (printf("goodbye"), 4))
-argorder4.c:35:38: Argument 2 modifies file system state, used by argument 1
- (order of evaluation of actual parameters is undefined):
- add((printf("hullo"), 3), (printf("goodbye"), 4))
-argorder4.c:35:38: Argument 2 modifies *stdout, set by argument 1 (order of
- evaluation of actual parameters is undefined):
- add((printf("hullo"), 3), (printf("goodbye"), 4))
-argorder4.c:35:10: Unreachable code: return (add((pri...
-
-Finished checking --- 9 code warnings, as expected
-
-argorder4.c: (in function h)
-argorder4.c:35:10: Unreachable code: return (add((pri...
-
-Finished checking --- 1 code warning, as expected
-
-argorder5.c: (in function f)
-argorder5.c:8:9: Variable name used after being released
- argorder5.c:8:17: Storage name released
-argorder5.c:9:19: Variable name used after being released
- argorder5.c:9:12: Storage name released
-argorder5.c:10:28: Argument 2 modifies *name, used by argument 1 (order of
- evaluation of actual parameters is undefined):
- test2(copystring(name), f(name))
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-args.c: (in function sumn)
-args.c:14:7: Assignment of char * to int: y = va_arg(args, char *)
-args.c:15:19: First argument to va_arg is not a va_list (type void *): yaba
-args.c: (in function test)
-args.c:22:7: Function sumn called with 0 args, expects at least 1
-args.c:24:12: Function sumn expects arg 1 to be int gets char *: s
-args.c:27:7: Function test called with 3 args, expects 2
-args.c:37:5: Function severalargs declared with 3 args, specified with 2
- args.lcl:1: Specification of severalargs
-args.c:37:23: Parameter 1, c, of function severalargs has inconsistent type:
- declared char, specified int
- args.lcl:1: Specification of severalargs
-args.c:37:30: Parameter 2, y, of function severalargs has inconsistent type:
- declared int, specified char *
- args.lcl:1: Specification of severalargs
-args.c:43:5: Function severalargs2 declared with 1 arg, specified with 2
- args.lcl:2: Specification of severalargs2
-args.c:48:5: Function voidargs declared with 1 arg, specified with 0
- args.lcl:7: Specification of voidargs
-args.c:59:33: Parameter 3, f, of function many1 has inconsistent type:
- declared float, specified ...
- args.lcl:4: Specification of many1
-args.c:73:5: Function many3 declared with 1 arg, specified with 3
- args.lcl:6: Specification of many3
-
-Finished checking --- 12 code warnings, as expected
+++ /dev/null
-
-blocks.c: (in function f)
-blocks.c:3:15: Body of if statement is empty
-blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-blocks.c:21:16: Body of if clause of if statement is empty
-blocks.c:22:9: Body of else clause of if statement is empty
-
-Finished checking --- 4 code warnings, as expected
-
-blocks.c: (in function f)
-blocks.c:3:15: Body of if statement is empty
-blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-blocks.c:6:15: Body of if statement is not a block: x++
-blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4 }
-blocks.c:19:8: Body of else clause of if statement is not a block: x = 4
-blocks.c:21:16: Body of if clause of if statement is empty
-blocks.c:22:9: Body of else clause of if statement is empty
-
-Finished checking --- 7 code warnings, as expected
-
-blocks.c: (in function f)
-blocks.c:4:18: Body of while statement is empty
-blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-blocks.c:7:18: Body of while statement is not a block: x++
-
-Finished checking --- 3 code warnings, as expected
-
-blocks.c: (in function f)
-blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-blocks.c:12:23: Body of for statement is empty
-blocks.c:13:23: Body of for statement is not a block: x++
-
-Finished checking --- 3 code warnings, as expected
-
-blocks.c: (in function f)
-blocks.c:3:15: Body of if statement is empty
-blocks.c:4:18: Body of while statement is empty
-blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-blocks.c:12:23: Body of for statement is empty
-blocks.c:21:16: Body of if clause of if statement is empty
-blocks.c:22:9: Body of else clause of if statement is empty
-
-Finished checking --- 6 code warnings, as expected
-
-blocks.c: (in function f)
-blocks.c:3:15: Body of if statement is empty
-blocks.c:4:18: Body of while statement is empty
-blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-blocks.c:6:15: Body of if statement is not a block: x++
-blocks.c:7:18: Body of while statement is not a block: x++
-blocks.c:12:23: Body of for statement is empty
-blocks.c:13:23: Body of for statement is not a block: x++
-blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4 }
-blocks.c:19:8: Body of else clause of if statement is not a block: x = 4
-blocks.c:21:16: Body of if clause of if statement is empty
-blocks.c:22:9: Body of else clause of if statement is empty
-
-Finished checking --- 11 code warnings, as expected
+++ /dev/null
-
-break.c: (in function f)
-break.c:12:4: Break preceded by loopbreak is breaking a switch
-break.c:17:14: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-break.c:3:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-break.c:34:24: Break preceded by innerbreak is not in a deep loop
-
-Finished checking --- 4 code warnings, as expected
-
-break.c: (in function f)
-break.c:12:4: Break preceded by loopbreak is breaking a switch
-break.c:14:4: Break statement in switch inside loop
-break.c:21:8: Break statement in nested loop
-break.c:17:14: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-break.c:3:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-break.c:34:24: Break preceded by innerbreak is not in a deep loop
-
-Finished checking --- 6 code warnings, as expected
-
-break.c: (in function f)
-break.c:12:4: Break preceded by loopbreak is breaking a switch
-break.c:14:4: Break statement in switch inside loop
-break.c:17:14: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-break.c:3:10: Suspected infinite loop. No value used in loop test (x) is
- modified by test or loop body.
-break.c:34:24: Break preceded by innerbreak is not in a deep loop
-
-Finished checking --- 5 code warnings, as expected
+++ /dev/null
-
-cases.c: (in function f)
-cases.c:12:10: Fall through case (no preceding break)
-cases.c:13:11: Variable i used before definition
-cases.c:30:10: Fall through case (no preceding break)
-cases.c:37:13: Fall through case (no preceding break)
-cases.c:40:2: Path with no return in function declared to return int
-
-Finished checking --- 5 code warnings, as expected
-
-cases2.c: (in function f2)
-cases2.c:26:5: Variable x is released in one possible execution, but live in
- other possible execution.
- cases2.c:23:16: Storage x is released
-cases2.c: (in function f3)
-cases2.c:37:5: Variable x is released in one possible execution, but live in
- other possible execution.
- cases2.c:36:16: Storage x is released
-
-Finished checking --- 2 code warnings, as expected
-
-cases2.c: (in function f2)
-cases2.c:26:5: Variable x is released in one possible execution, but live in
- other possible execution.
- cases2.c:23:16: Storage x is released
-cases2.c: (in function f3)
-cases2.c:37:5: Variable x is released in one possible execution, but live in
- other possible execution.
- cases2.c:36:16: Storage x is released
-cases2.c:1:24: Function g declared but not defined
-
-Finished checking --- 3 code warnings, as expected
-
-cases2.c: (in function f2)
-cases2.c:28:12: Variable x used after being released
- cases2.c:23:16: Storage x released
-cases2.c: (in function f3)
-cases2.c:39:12: Variable x used after being released
- cases2.c:36:16: Storage x released
-cases2.c:1:24: Function g declared but not defined
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-cast.c:1:13: Mutable abstract type abst1 declared without pointer indirection:
- int (violates assignment semantics)
-cast.c:1:20: Mutable abstract type abst2 declared without pointer indirection:
- int (violates assignment semantics)
-cast.c: (in function main)
-cast.c:6:13: Variable b initialized to type int, expects abst2: 3
-cast.c:7:25: Cast to underlying abstract type abst2 *:
- (abst2 *)malloc(sizeof(abst2))
-cast.c:11:10: Dereference of possibly null pointer ip: *ip
- cast.c:9:14: Storage ip may become null
-cast.c:12:10: Dereference of possibly null pointer bp: *bp
- cast.c:7:15: Storage bp may become null
-cast.c:12:9: Assignment of int to abst2: *bp = 5
-cast.c:13:21: Cast to abstract type abst1: (abst1)ip
-cast.c:14:24: Cast to underlying abstract type abst1 *: (abst1 *)ip
-cast.c:15:22: Cast to underlying abstract type FILE *: (FILE *)ip
-cast.c:16:21: Redundant cast involving abstract type abst1: (abst1)a
-cast.c:17:22: Cast from underlying abstract type abst1 *: (int *)ap
-cast.c:18:22: Cast from underlying abstract type FILE *: (int *)f
-cast.c:19:22: Cast from underlying abstract type abst1: (int *)a
-cast.c:20:21: Cast from abstract type abst2: (abst1)b
-cast.c:20:21: Cast to abstract type abst1: (abst1)b
-cast.c:21:24: Cast to underlying abstract type abst1 *: (abst1 *)bp
-cast.c:21:24: Cast from underlying abstract type abst2 *: (abst1 *)bp
-cast.c:22:19: Owned storage ap not released before return
- cast.c:21:10: Storage ap becomes owned
-cast.c:22:19: Last reference ip to owned storage a not released before return
- cast.c:20:10: Original reference lost
-
-Finished checking --- 20 code warnings, as expected
-
-cast2.c: (in function f1)
-cast2.c:9:10: Implicitly temp storage x returned as implicitly only: x
-cast2.c:9:10: Function returns reference to parameter x: x
-cast2.c: (in function f2)
-cast2.c:15:10: Implicitly dependent storage x returned as implicitly only:
- (abst1)x
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-charlit.c: (in function f)
-charlit.c:3:11: Variable x initialized to type char, expects int: 'a'
- A character constant is used as an int. Use +charintliteral to allow
- character constants to be used as ints. (This is safe since the actual type
- of a char constant is int.)
-charlit.c:6:7: Incompatible types for + (int, char): x + 'c'
-charlit.c:8:10: Return value type char does not match declared type int: 'a'
-charlit.c:12:14: Variable u initialized to type int, expects unsigned int: -3
- To ignore signs in type comparisons use +ignoresigns
-
-Finished checking --- 4 code warnings, as expected
-
-charlit.c: (in function f)
-charlit.c:3:11: Variable x initialized to type char, expects int: 'a'
- A character constant is used as an int. Use +charintliteral to allow
- character constants to be used as ints. (This is safe since the actual type
- of a char constant is int.)
-charlit.c:4:14: Variable z initialized to type int, expects double: 3
- An int literal is used as any numeric type (including float and long long).
- Use +numliteral to allow int literals to be used as any numeric type.
-charlit.c:6:7: Incompatible types for + (int, char): x + 'c'
-charlit.c:8:10: Return value type char does not match declared type int: 'a'
-charlit.c:11:18: Initial value of s[1] is type int, expects short int: -1
- To ignore type qualifiers in type comparisons use +ignorequals.
-charlit.c:12:14: Variable u initialized to type int, expects unsigned int: -3
- To ignore signs in type comparisons use +ignoresigns
-
-Finished checking --- 6 code warnings, as expected
-
-Finished checking --- no warnings
+++ /dev/null
-
-clauses.c: (in function f)
-clauses.c:6:5: Variable x is released in true branch, but live in continuation.
- clauses.c:5:13: Storage x is released
-clauses.c:11:5: Variable y is released in while body, but live if loop is not
- taken.
- clauses.c:10:13: Storage y is released
-clauses.c:20:5: Variable z2 is released in false branch, but live in true
- branch.
- clauses.c:19:13: Storage z2 is released
-clauses.c:20:5: Variable z is released in true branch, but live in false
- branch.
- clauses.c:15:13: Storage z is released
-
-Finished checking --- 4 code warnings, as expected
-
-Finished checking --- no warnings
-
-clauses3.c: (in function h)
-clauses3.c:48:5: Storage x->x is released in one path, but live in another.
- clauses3.c:46:10: Storage x->x is released
-clauses3.c: (in function m)
-clauses3.c:61:5: Storage x->x is released in one path, but live in another.
- clauses3.c:60:13: Storage x->x is released
-
-Finished checking --- 2 code warnings, as expected
-
-Warning: selecting unix library. Unix library is ad hoc addition to POSIX
-library. Recommend use +posixlib to select POSIX library instead. Use
--warnunixlib to suppress this message.
-clauses3.c: (in function h)
-clauses3.c:48:5: Storage x->x is released in one path, but live in another.
- clauses3.c:46:10: Storage x->x is released
-clauses3.c: (in function m)
-clauses3.c:60:13: Possibly null storage x->x passed as non-null param:
- free (x->x)
-clauses3.c:61:5: Storage x->x is released in one path, but live in another.
- clauses3.c:60:13: Storage x->x is released
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-commentchar.c:14:1: Syntactic commentchar comment is not followed by a
- whitespace character: 5
-commentchar.c:15:1: Cannot restore commentchar
-commentchar.c:10:5: Variable x redefined
- commentchar.c:6:5: Previous definition of x
-commentchar.c:10:9: Variable x initialized to type char, expects int: 'c'
-
-Finished checking --- 4 code warnings, as expected
-
-commentchar.c:14:1: Syntactic commentchar comment is not followed by a
- whitespace character: 5
-commentchar.c:15:1: Cannot restore commentchar
-commentchar.c:1:26: Unrecognized identifier in modifies comment: x
-commentchar.c:6:9: Variable x initialized to type char, expects int: 'c'
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-compdestroy.c: (in function sip_free2)
-compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released
- storage is not released (memory leak): x->ips
-
-Finished checking --- 1 code warning, as expected
-
-compdestroy.c: (in function sip_free)
-compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released
- storage may not have been released: x->ips
-compdestroy.c: (in function sip_free2)
-compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released
- storage is not released (memory leak): x->ips
-
-Finished checking --- 2 code warnings, as expected
-
-compdestroy.c: (in function sip_free)
-compdestroy.c:16:13: Possibly dead storage x->ips[] passed as out parameter:
- x->ips[i]
- compdestroy.c:15:13: Storage x->ips[] becomes probably dead
-compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released
- storage may not have been released: x->ips
-compdestroy.c: (in function sip_free2)
-compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released
- storage is not released (memory leak): x->ips
-
-Finished checking --- 3 code warnings, as expected
-
-compdestroy.c: (in function sip_free)
-compdestroy.c:16:13: Possibly dead storage x->ips[] passed as out parameter:
- x->ips[i]
- compdestroy.c:15:13: Storage x->ips[] becomes probably dead
-compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released
- storage may not have been released: x->ips
-compdestroy.c: (in function sip_free2)
-compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released
- storage is not released (memory leak): x->ips
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-controldepth.c: (in function f)
-controldepth.c:8:15: Maximum control nesting depth (2) exceeded
- Maximum number of control levels exceeded. (Use -controlnestdepth to inhibit
- warning)
-controldepth.c:15:17: Maximum control nesting depth (2) exceeded
-
-Finished checking --- 2 code warnings, as expected
-
-controldepth.c: (in function f)
-controldepth.c:6:15: Maximum control nesting depth (1) exceeded
- Maximum number of control levels exceeded. (Use -controlnestdepth to inhibit
- warning)
-controldepth.c:11:13: Maximum control nesting depth (1) exceeded
-
-Finished checking --- 2 code warnings, as expected
+++ /dev/null
-
-Finished checking --- no warnings
-
-czechnames.c:5:5: Variable michelob_light name violates Czech naming
- convention. Czech prefix michelob is not the name of a type.
- Variable name is not consistent with Czech naming convention. (Use either
- -czechvars or -namechecks to inhibit warning)
-czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
- convention. Accessible types: pivo
- Function or iterator name is not consistent with Czech naming convention.
- (Use either -czechfcns or -namechecks to inhibit warning)
-
-Finished checking --- 2 code warnings, as expected
-
-czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
- convention. Accessible types: pivo
- Function or iterator name is not consistent with Czech naming convention.
- (Use either -czechfcns or -namechecks to inhibit warning)
-
-Finished checking --- 1 code warning, as expected
-
-czechnames.c:4:5: Variable pivo_pyet name violates Czech naming convention.
- Czech prefix pivo names an abstract type that is not accessible.
- Use +accessczech to allow access to type <t> in functions named <t>_<name>.
-czechnames.c:5:5: Variable michelob_light name violates Czech naming
- convention. Czech prefix michelob is not the name of a type.
- Variable name is not consistent with Czech naming convention. (Use either
- -czechvars or -namechecks to inhibit warning)
-czechnames.c:8:17: Constant pivo_devenast name violates Czech naming
- convention. Czech prefix pivo names an abstract type that is not
- accessible.
- Use +accessczech to allow access to type <t> in functions named <t>_<name>.
-czechnames.c:11:6: Function pivo_yedno name violates Czech naming convention.
- Czech prefix pivo names an abstract type that is not accessible.
- Use +accessczech to allow access to type <t> in functions named <t>_<name>.
-czechnames.c: (in function pivo_yedno)
-czechnames.c:15:11: Left operand of == is abstract type (pivo): p == 1
- An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to
- allow access to an abstract type. (Use -abstract to inhibit warning)
-czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
- convention. Accessible types: pivo
-
-Finished checking --- 6 code warnings, as expected
-@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh 1> /dev/null
tidy:
- -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive 1>& /dev/null
+ -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive 11> /dev/null
### The following dependencies ensure that imported LCL specs
### are checked before the specs that import them.
###
clean: tidy
- -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh >& /dev/null
+ -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh 1> /dev/null
tidy:
- -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive >& /dev/null
+ -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive 1> /dev/null
### The following dependencies ensure that imported LCL specs
### are checked before the specs that import them.
+++ /dev/null
-
-decl.c: (in function main)
-decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
-decl.c:8:2: Path with no return in function declared to return int
-
-Finished checking --- 2 code warnings, as expected
-
-decl.c:3:5: Function main declared without parameter list
-decl.c: (in function main)
-decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
-decl.c:8:2: Path with no return in function declared to return int
-decl.c:1:5: Function test declared but not defined
-decl.c:1:5: Function test exported but not declared in header file
-
-Finished checking --- 5 code warnings, as expected
-
-decl2.c:3:6: Variable glob2 defined with inconsistent type (arrays and pointers
- are not identical in variable declarations): int *
- decl2.h:3:12: Previous declaration of glob2: int []
-decl2.c:4:5: Variable glob2 redefined
- decl2.c:3:6: Previous definition of glob2
-decl2.c:6:6: Variable glob3 redeclared with inconsistent type: char
- decl2.h:4:12: Previous declaration of glob3: int
-decl2.c:9:5: Variable glob redefined
- decl2.c:8:5: Previous definition of glob
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-enum.c:2:16: Enumerator member cero declared with inconsistent type:
- enum { cero, uno, dos, tres }
- enum.lcl:2:16: Specification of cero: enum { cero, uno, dos }
-enum.c:2:22: Enumerator member uno declared with inconsistent type:
- enum { cero, uno, dos, tres }
- enum.lcl:2:22: Specification of uno: enum { cero, uno, dos }
-enum.c:2:27: Enumerator member dos declared with inconsistent type:
- enum { cero, uno, dos, tres }
- enum.lcl:2:27: Specification of dos: enum { cero, uno, dos }
-enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but
- specified with members { cero, uno, dos }
- enum.lcl:2:33: Specification of stype
-enum.c:4:22: Enumerator member siete declared with inconsistent type:
- enum _itag { siete }
- enum.lcl:3:23: Specification of siete: enum _ietag { siete }
-enum.c:6:34: Structure st2 declared with fields { int a; int b; }, specified
- with fields { int a; int b; int c; }
- enum.lcl:6:41: Specification of st2
- enum.lcl:7:1: Field present in specification, missing in declaration: int c
-enum.c: (in function f)
-enum.c:15:7: Value a[] used before definition
-enum.c:23:6: Missing cases in switch: two, three
-enum.c:30:12: Case in switch not mtype member: three
-enum.c:36:8: Missing case in switch: threem
-enum.c:38:10: Duplicate case in switch: one
-enum.c:47:2: Path with no return in function declared to return int
-enum.c:51:8: Enumerator member hasta declared with inconsistent type:
- enum { hasta, pasta, yummy }
- enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta }
-enum.c:51:15: Enumerator member pasta declared with inconsistent type:
- enum { hasta, pasta, yummy }
- enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta }
-enum.lcl:3:9: Enum tag enum _ietag specified but not defined
-enum.lcl:8:22: Enum member yasta specified but not defined
-
-Finished checking --- 16 code warnings, as expected
-
-enum.c:2:16: Enumerator member cero declared with inconsistent type:
- enum { cero, uno, dos, tres }
- enum.lcl:2:16: Specification of cero: enum { cero, uno, dos }
-enum.c:2:22: Enumerator member uno declared with inconsistent type:
- enum { cero, uno, dos, tres }
- enum.lcl:2:22: Specification of uno: enum { cero, uno, dos }
-enum.c:2:27: Enumerator member dos declared with inconsistent type:
- enum { cero, uno, dos, tres }
- enum.lcl:2:27: Specification of dos: enum { cero, uno, dos }
-enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but
- specified with members { cero, uno, dos }
- enum.lcl:2:33: Specification of stype
-enum.c:4:22: Enumerator member siete declared with inconsistent type:
- enum _itag { siete }
- enum.lcl:3:23: Specification of siete: enum _ietag { siete }
-enum.c:6:34: Structure st2 declared with fields { int a; int b; }, specified
- with fields { int a; int b; int c; }
- enum.lcl:6:41: Specification of st2
- enum.lcl:7:1: Field present in specification, missing in declaration: int c
-enum.c: (in function f)
-enum.c:15:7: Value a[] used before definition
-enum.c:30:12: Case in switch not mtype member: three
-enum.c:38:10: Duplicate case in switch: one
-enum.c:47:2: Path with no return in function declared to return int
-enum.c:51:8: Enumerator member hasta declared with inconsistent type:
- enum { hasta, pasta, yummy }
- enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta }
-enum.c:51:15: Enumerator member pasta declared with inconsistent type:
- enum { hasta, pasta, yummy }
- enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta }
-enum.lcl:3:9: Enum tag enum _ietag specified but not defined
-enum.lcl:8:22: Enum member yasta specified but not defined
-
-Finished checking --- 14 code warnings, as expected
+++ /dev/null
-
-Warning: setting +typeuse redundant with current value
-exports.h:1:13: Type exported, but not specified: myint
-exports.h:3:12: Variable exported, but not specified: glob
-exports.h:5:12: Function exported, but not specified: f
-exports.h:1:13: Type myint declared but not used
-exports.h:3:12: Variable glob declared but not used
- exports.c:3:5: Definition of glob
-exports.h:5:12: Function f declared but not used
- exports.c:8:1: Definition of f
-
-Finished checking --- 6 code warnings, as expected
-
-exports.h:1:13: Type exported, but not specified: myint
-exports.h:3:12: Variable exported, but not specified: glob
-exports.h:5:12: Function exported, but not specified: f
-
-Finished checking --- 3 code warnings, as expected
-
-Finished checking --- no warnings
+++ /dev/null
-
-Finished checking --- no warnings
-
-external.c:2:5: External identifier Func is not distinguishable from func in
- the first 6 characters because alphabetical case is ignored
- external.c:1:5: Declaration of func
-external.c:8:5: External identifier longfunction2 is not distinguishable from
- longfunction1 in the first 6 characters (longfu)
- external.c:7:5: Declaration of longfunction1
-
-Finished checking --- 2 code warnings, as expected
-
-external.c:2:5: External identifier Func is not distinguishable from func in
- the first 3 characters because alphabetical case is ignored
- external.c:1:5: Declaration of func
-external.c:5:5: External identifier small2 is not distinguishable from small1
- in the first 3 characters (sma)
- external.c:4:5: Declaration of small1
-external.c:8:5: External identifier longfunction2 is not distinguishable from
- longfunction1 in the first 3 characters (lon)
- external.c:7:5: Declaration of longfunction1
-
-Finished checking --- 3 code warnings, as expected
-
-external.c:2:5: External identifier Func is not distinguishable from func in
- the first 3 characters because alphabetical case is ignored
- external.c:1:5: Declaration of func
-external.c:5:5: External identifier small2 is not distinguishable from small1
- in the first 3 characters (sma)
- external.c:4:5: Declaration of small1
-external.c:8:5: External identifier longfunction2 is not distinguishable from
- longfunction1 in the first 3 characters (lon)
- external.c:7:5: Declaration of longfunction1
-
-Finished checking --- 3 code warnings, as expected
-
-external.c:2:5: External identifier Func is not distinguishable from func in
- the first 3 characters because alphabetical case is ignored
- external.c:1:5: Declaration of func
-external.c:5:5: External identifier small2 is not distinguishable from small1
- in the first 3 characters (sma)
- external.c:4:5: Declaration of small1
-external.c:7:5: External identifier longfunction1 is not distinguishable from
- LONG_MAX in the first 3 characters because alphabetical case is ignored
- load file standard.lcd:786:1: Specification of LONG_MAX
- One or more additional indistinguishable external names not reported
-external.c:8:5: External identifier longfunction2 is not distinguishable from
- LONG_MAX in the first 3 characters because alphabetical case is ignored
- load file standard.lcd:786:1: Specification of LONG_MAX
- One or more additional indistinguishable external names not reported
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-fields.c: (in function pair_create1)
-fields.c:37:10: Storage p->z reachable from return value is owned (should be
- dependent)
- fields.c:34:3: Storage p->z becomes owned
-fields.c: (in function mangle)
-fields.c:43:2: Released storage p->x reachable from parameter at return point
- fields.c:42:9: Storage p->x is released
-fields.c: (in function mangle2)
-fields.c:49:2: Storage p->y reachable from parameter is dependent (should be
- owned)
- fields.c:48:3: Storage p->y becomes dependent
-fields.c: (in function mangle3)
-fields.c:55:10: Storage p->y reachable from return value is dependent (should
- be owned)
- fields.c:54:3: Storage p->y becomes dependent
-fields.c: (in function f)
-fields.c:60:3: Owned storage p->x (type int *) not released before assignment:
- p->x = NULL
-fields.c:62:18: Function returns with null storage derivable from parameter
- p->x
- fields.c:60:10: Storage p->x becomes null
-
-Finished checking --- 6 code warnings, as expected
-
-fields2.c: (in function pair_copy)
-fields2.c:21:16: Storage p->x reachable from parameter is kept (should be
- implicitly only)
- fields2.c:17:3: Storage p->x becomes kept
-fields2.c:21:16: Storage p->y reachable from parameter is kept (should be
- implicitly only)
- fields2.c:18:3: Storage p->y becomes kept
-fields2.c: (in function pair_create)
-fields2.c:30:3: Only storage p->y assigned to dependent: p->z = p->y
-fields2.c:35:10: Storage p->y reachable from return value is unqualified
- (should be implicitly only)
-fields2.c: (in function pair_swankle)
-fields2.c:43:14: Storage p->x reachable from passed parameter is kept (should
- be implicitly only): p
- fields2.c:42:3: Storage p->x becomes kept
-
-Finished checking --- 5 code warnings, as expected
-
-Finished checking --- no warnings
+++ /dev/null
-
-flags.c:1:9: Variable x initialized to type char, expects int: 'c'
-flags.c:5:9: Variable y
- initialized to type
- char, expects int:
- 'c'
-flags.c:7:18: Warning:
- Value for linelen
- must be at least 20
- (given 13)
-flags.c:11:5:
- Internal identifier
- xx2 is not
- distinguishable
- from xx1 in the
- first 2 characters
- (xx)
- flags.c:10:5:
- Declaration of
- xx1
-flags.c:13:18:
- Semantic comment
- attempts to restore
- flag linelen. A
- flag for setting a
- value cannot be
- restored.
-flags.c:15:17: Semantic comment attempts to set global flag dump. A
- global flag cannot be set locally.
-flags.c:16:22: Flag macrovarprefix (in semantic comment) must be
- followed by an argument
-flags.c:17:26: Flag macrovarprefix (in semantic comment) must be
- followed by an argument
-flags.c:18:20: Flag linelen must be followed by a positive number
- number. Followed by asdf
-
-Finished checking --- 8 code warnings, as expected
-
-flags.c:1:9: Variable x initialized to type char, expects int: 'c'
-flags.c:5:9: Variable y initialized to type char, expects int: 'c'
-
-Finished checking --- 2 code warnings, as expected
+++ /dev/null
-
-funcpointer.c: (in function func2)
-funcpointer.c:13:27: Possibly null storage returned as non-null:
- (int *)malloc(sizeof(int))
-funcpointer.c:13:27: Returned storage not completely defined (storage pointed
- to by [result of malloc] is undefined): (int *)malloc(sizeof(int))
-funcpointer.c: (in function func5)
-funcpointer.c:19:28: Immediate address &i returned as implicitly only: &i
-funcpointer.c: (in function main)
-funcpointer.c:28:3: Assignment of [function (void) returns int] to f1:
- t1 = func1
-funcpointer.c:29:3: Assignment of [function (void) returns int ***] to f1:
- t1 = func4
-funcpointer.c:33:3: Assignment of [function (void) returns int *] to f2:
- t2 = func2
-funcpointer.c:36:3: Assignment of [function (void) returns int **] to f3 *:
- t3p = func3
-funcpointer.c:38:3: Assignment of [function (void) returns int *] to f4 *:
- t4 = func2
-funcpointer.c:41:7: Call to non-function (type f1): (t1)
-funcpointer.c:43:3: Assignment of int *** to int *: xp = (*t1)()
-funcpointer.c:44:8: Call to non-function (type f4 *): (t4)
-funcpointer.c:46:3: Assignment of [function (void) returns int] to f6:
- t6 = func1
-funcpointer.c:46:3: Invalid left-hand side of assignment (function type f6): t6
-funcpointer.c:47:3: Invalid left-hand side of assignment (function type f6): t6
-funcpointer.c:48:10: Function (t6) called with 0 args, expects 2
-funcpointer.c:49:10: Function (t6) called with 1 args, expects 2
-funcpointer.c:50:11: Function (t6) called with 1 args, expects 2
-funcpointer.c:50:10: Function ((t6)(3)) called with 0 args, expects 1
-
-Finished checking --- 18 code warnings, as expected
+++ /dev/null
-
-glob.c: (in function useGlob)
-glob.lcl:3: Global z listed but not used
-glob.c: (in function dontuseGlob)
-glob.c:13:11: Undocumented use of global x
-glob.c: (in function callsUseGlob)
-glob.c:23:11: Called procedure useGlob may access global y
-glob.c:23:11: Called procedure useGlob may access global z
-
-Finished checking --- 4 code warnings, as expected
-
-glob.c: (in function dontuseGlob)
-glob.c:13:11: Undocumented use of global x
-glob.c: (in function callsUseGlob)
-glob.c:23:11: Called procedure useGlob may access global y
-glob.c:23:11: Called procedure useGlob may access global z
-
-Finished checking --- 3 code warnings, as expected
-
-glob.c: (in function useGlob)
-glob.lcl:3: Global z listed but not used
-glob.c: (in function dontuseGlob)
-glob.c:13:11: Undocumented use of global x
-glob.c: (in function unspec)
-glob.c:18:11: Undocumented use of global y
-glob.c:18:15: Undocumented use of global z
-glob.c: (in function callsUseGlob)
-glob.c:23:11: Called procedure useGlob may access global y
-glob.c:23:11: Called procedure useGlob may access global z
-
-Finished checking --- 6 code warnings, as expected
+++ /dev/null
-
-globals.c:5:41: Redundant checked qualifier on doubled
-globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
-globals.c: (in function noglobs)
-globals.c:13:3: Undocumented use of global checkstrict
-globals.c: (in function specglobs)
-globals.c:19:3: Undocumented use of global check
-globals.c:21:3: Undocumented use of global checkstrict
-
-Finished checking --- 5 code warnings, as expected
-
-globals.c:5:41: Redundant checked qualifier on doubled
-globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
-globals.c: (in function noglobs)
-globals.c:13:3: Undocumented use of global checkstrict
-globals.c: (in function specglobs)
-globals.c:18:3: Undocumented use of global imp
-globals.c:19:3: Undocumented use of global check
-globals.c:21:3: Undocumented use of global checkstrict
-
-Finished checking --- 6 code warnings, as expected
-
-globals.c:5:41: Redundant checked qualifier on doubled
-globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
-globals.c: (in function noglobs)
-globals.c:13:3: Undocumented use of global checkstrict
-globals.c: (in function specglobs)
-globals.c:18:3: Undocumented use of global imp
-globals.c:19:3: Undocumented use of global check
-globals.c:21:3: Undocumented use of global checkstrict
-
-Finished checking --- 6 code warnings, as expected
-
-globals.c:5:41: Redundant checked qualifier on doubled
-globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
-
-Finished checking --- 2 code warnings, as expected
-
-globals.c:5:41: Redundant checked qualifier on doubled
-globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
-globals.c: (in function noglobs)
-globals.c:11:3: Undocumented use of global check
-globals.c:13:3: Undocumented use of global checkstrict
-globals.c: (in function specglobs)
-globals.c:19:3: Undocumented use of global check
-globals.c:21:3: Undocumented use of global checkstrict
-
-Finished checking --- 6 code warnings, as expected
-
-globals.c:5:41: Redundant checked qualifier on doubled
-globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
-globals.c: (in function noglobs)
-globals.c:10:3: Undocumented use of global imp
-globals.c:11:3: Undocumented use of global check
-globals.c:13:3: Undocumented use of global checkstrict
-globals.c: (in function specglobs)
-globals.c:18:3: Undocumented use of global imp
-globals.c:19:3: Undocumented use of global check
-globals.c:21:3: Undocumented use of global checkstrict
-
-Finished checking --- 8 code warnings, as expected
+++ /dev/null
-
-Finished checking --- no warnings
-
-impabstract.c: (in function f)
-impabstract.c:11:7: Left operand of < is abstract type (mint): m < 2
- An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to
- allow access to an abstract type. (Use -abstract to inhibit warning)
-impabstract.c:13:14: Return value type mint does not match declared type int: m
- Underlying types match, but mint is an abstract type that is not accessible
- here.
-
-Finished checking --- 2 code warnings, as expected
-
-impabstract.c:2:28: Mutable abstract type cint declared without pointer
- indirection: int (violates assignment semantics)
- LCL semantics requires that a mutable type exhibits sharing semantics. In
- order for objects to be shared a indirection is necessary in the
- representation. A mutable type may be represented by a pointer or an abstract
- mutable type. Handles into static data are fine, too, but will generate this
- error message unless it is suppressed. (Use -mutrep to inhibit warning)
-impabstract.c:2:28: Datatype cint inconsistently declared as concrete type
- A function, variable or constant is redefined with a different type. (Use
- -incondefs to inhibit warning)
- impabstract.lcl:2:1: Specification of cint
-impabstract.c: (in function f)
-impabstract.c:6:7: Left operand of > is abstract type (cint): c > 3
- An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to
- allow access to an abstract type. (Use -abstract to inhibit warning)
-impabstract.c:8:14: Return value type cint does not match declared type int: c
- Underlying types match, but cint is an abstract type that is not accessible
- here.
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-init.c:1:16: Global c[0] initialized to null value: c[0] = NULL
-init.c:1:43: Initial value of c[2][2] is type int, expects char: 3
-init.c:1:48: Global c[3] initialized to null value: c[3] = NULL
-init.c:4:23: Global st.uname initialized to null value: st.uname = NULL
-init.c:4:29: Initial value of st.y is type double, expects int: 1.2
-init.c:7:7: Initializer block for st2[0] has 3 fields, but struct { char *
- name; int [] x; char * uname;, ... } has 4 fields: "bob", { 1, 2 }, NULL
-init.c:8:19: Initial value of st2[1].x is type int, expects int []: 3
-init.c:8:22: Global st2[1].uname initialized to null value: st2[1].uname = NULL
-init.c:10:13: Initializer block for a has 7 elements, but declared as int [10]:
- 1, 2, 3, 4, 3.4, 6, 4
-init.c:10:27: Initial value of a[4] is type double, expects int: 3.4
-init.c:12:34: Initial value of aa[1][1] is type double, expects int: 3.2
-init.c:14:13: Initializer block for b has 2 elements, but declared as int [10]:
- { 1, 2 }, { 3, 4 }
-init.c:14:15: Initializer block used for b[0] where int is expected: { 1, 2 }
-init.c:14:25: Initializer block used for b[1] where int is expected: { 3, 4 }
-
-Finished checking --- 14 code warnings, as expected
-
-init.c:1:16: Global c[0] initialized to null value: c[0] = NULL
-init.c:1:22: Read-only string literal storage used as initial value for
- unqualified storage: c[1] = "hullo"
-init.c:1:43: Initial value of c[2][2] is type int, expects char: 3
-init.c:1:48: Global c[3] initialized to null value: c[3] = NULL
-init.c:4:7: Read-only string literal storage used as initial value for
- unqualified storage: st.name = "bob"
-init.c:4:23: Global st.uname initialized to null value: st.uname = NULL
-init.c:4:29: Initial value of st.y is type double, expects int: 1.2
-init.c:7:7: Initializer block for st2[0] has 3 fields, but struct { char *
- name; int [] x; char * uname;, ... } has 4 fields: "bob", { 1, 2 }, NULL
-init.c:8:9: Read-only string literal storage used as initial value for
- unqualified storage: st2[1].name = "charly"
-init.c:8:19: Initial value of st2[1].x is type int, expects int []: 3
-init.c:8:22: Global st2[1].uname initialized to null value: st2[1].uname = NULL
-init.c:10:13: Initializer block for a has 7 elements, but declared as int [10]:
- 1, 2, 3, 4, 3.4, 6, 4
-init.c:10:27: Initial value of a[4] is type double, expects int: 3.4
-init.c:12:34: Initial value of aa[1][1] is type double, expects int: 3.2
-init.c:14:13: Initializer block for b has 2 elements, but declared as int [10]:
- { 1, 2 }, { 3, 4 }
-init.c:14:15: Initializer block used for b[0] where int is expected: { 1, 2 }
-init.c:14:25: Initializer block used for b[1] where int is expected: { 3, 4 }
-
-Finished checking --- 17 code warnings, as expected
+++ /dev/null
-
-inparam.c: (in function f)
-inparam.c:8:16: Passed storage x not completely defined (*x is undefined):
- unknown (x)
-inparam.c:12:16: Passed storage x not completely defined (*x is undefined):
- inparam (x)
-
-Finished checking --- 2 code warnings, as expected
-
-inparam.c: (in function f)
-inparam.c:12:16: Passed storage x not completely defined (*x is undefined):
- inparam (x)
-
-Finished checking --- 1 code warning, as expected
+++ /dev/null
-
-internal.c: (in function f1)
-internal.c:21:9: Variable e1 shadows outer declaration
- internal.c:12:7: Previous definition of e1: int
-
-Finished checking --- 1 code warning, as expected
-
-internal.c: (in function f1)
-internal.c:21:9: Variable e1 shadows outer declaration
- internal.c:12:7: Previous definition of e1: int
-
-Finished checking --- 1 code warning, as expected
-
-internal.c:4:5: Internal identifier iwonderhowmanycharactersaresignificant2 is
- not distinguishable from iwonderhowmanycharactersaresignificant1 in the
- first 31 characters (iwonderhowmanycharactersaresign)
- internal.c:3:5: Declaration of iwonderhowmanycharactersaresignificant1
-internal.c: (in function f1)
-internal.c:21:9: Variable e1 shadows outer declaration
- internal.c:12:7: Previous definition of e1: int
-
-Finished checking --- 2 code warnings, as expected
-
-internal.c:4:5: Internal identifier iwonderhowmanycharactersaresignificant2 is
- not distinguishable from iwonderhowmanycharactersaresignificant1 in the
- first 28 characters (iwonderhowmanycharactersares)
- internal.c:3:5: Declaration of iwonderhowmanycharactersaresignificant1
-internal.c:6:5: Internal identifier manycharactersaresignificant2 is not
- distinguishable from manycharactersaresignificant1 in the first 28
- characters (manycharactersaresignificant)
- internal.c:5:5: Declaration of manycharactersaresignificant1
-internal.c: (in function f1)
-internal.c:21:9: Variable e1 shadows outer declaration
- internal.c:12:7: Previous definition of e1: int
-
-Finished checking --- 3 code warnings, as expected
-
-internal.c: (in function f1)
-internal.c:15:8: Internal identifier Alphabet is not distinguishable from
- alphabet without case sensitivity
- internal.c:14:7: Declaration of alphabet
-internal.c:21:9: Variable e1 shadows outer declaration
- internal.c:12:7: Previous definition of e1: int
-internal.c:23:11: Internal identifier lcAse is not distinguishable from lcase
- without case sensitivity
- internal.c:18:7: Declaration of lcase
-
-Finished checking --- 3 code warnings, as expected
-
-internal.c:10:6: Internal identifier f1 is not distinguishable from fl except
- by lookalike characters
- internal.c:8:12: Declaration of fl
-internal.c: (in function f1)
-internal.c:13:9: Internal identifier el is not distinguishable from e1 except
- by lookalike characters
- internal.c:12:7: Declaration of e1
-internal.c:15:8: Internal identifier Alphabet is not distinguishable from
- alphabet without case sensitivity
- internal.c:14:7: Declaration of alphabet
-internal.c:17:8: Internal identifier alphabetlsoup is not distinguishable from
- alphabet1soup except by lookalike characters
- internal.c:16:7: Declaration of alphabet1soup
-internal.c:21:9: Variable e1 shadows outer declaration
- internal.c:12:7: Previous definition of e1: int
-internal.c:21:9: Internal identifier e1 is not distinguishable from el except
- by lookalike characters
- internal.c:13:9: Declaration of el
-internal.c:22:9: Internal identifier a1phabet is not distinguishable from
- alphabet except by lookalike characters
- internal.c:14:7: Declaration of alphabet
-internal.c:23:11: Internal identifier lcAse is not distinguishable from lcase
- without case sensitivity
- internal.c:18:7: Declaration of lcase
-internal.c:25:9: Internal identifier sS2 is not distinguishable from s52 except
- by lookalike characters
- internal.c:24:9: Declaration of s52
-internal.c:26:9: Internal identifier s5Z is not distinguishable from s52 except
- by lookalike characters
- internal.c:24:9: Declaration of s52
-internal.c:28:9: Internal identifier num0 is not distinguishable from numO
- except by lookalike characters
- internal.c:27:9: Declaration of numO
-
-Finished checking --- 11 code warnings, as expected
+++ /dev/null
-
-iter.lcl:3:6: Iterator has no yield parameters: noYield
-iter.c: (in function test)
-iter.c:9:14: Unrecognized identifier: x
-iter.c:14:16: Yield parameter shadows local declaration: i
- iter.c:6:7: Declaration of i
-iter.c:18:8: Iter intFor not balanced with end_intFor
-iter.c:14:12: Iter intFor expects arg 2 to be int gets char: c
-iter.c:20:20: Variable i used before definition
-iter.c:20:20: Yield parameter is not simple identifier: i + 3
-iter.c:24:24: Iter intFor not balanced with end_intFor: end_arrayElements
-iter.h: (in iter intFor)
-iter.h:1:27: Parameter ___x name is not consistent with macro variable
- namespace prefix "m_"
-iter.h: (in iter arrayElements)
-iter.h:7:31: Parameter ___x name is not consistent with macro variable
- namespace prefix "m_"
-iter.h:7:43: Variable ___c name is not consistent with macro variable namespace
- prefix "m_"
-iter.h:7:55: Variable ___b name is not consistent with macro variable namespace
- prefix "m_"
-iter.h:8:1: Macro parameter j used in conditionally executed code (may or may
- not be evaluated exactly once) (in post loop test)
-iter.lcl:3:6: Iterator noYield specified but not defined
-iter.lcl:3:6: Iterator finalizer end_noYield specified but not defined
-
-Finished checking --- 1 spec warning, as expected
- 14 code warnings, as expected
-
-iter2.c: (in function test)
-iter2.c:9:14: Unrecognized identifier: x
-iter2.c:14:16: Yield parameter shadows local declaration: i
- iter2.c:6:7: Declaration of i
-iter2.c:17:8: Iter intFor not balanced with end_intFor
-iter2.c:14:12: Iter intFor expects arg 2 to be int gets char: c
-iter2.c:19:17: Variable i used before definition
-iter2.c:19:17: Yield parameter is not simple identifier: i + 3
-iter2.c:22:24: Iter intFor not balanced with end_intFor: end_arrayElements
-iter2.h: (in iter intFor)
-iter2.h:2:27: Parameter ___x name is not consistent with macro variable
- namespace prefix "m_"
-iter2.h: (in iter arrayElements)
-iter2.h:8:31: Parameter ___x name is not consistent with macro variable
- namespace prefix "m_"
-iter2.h:8:43: Variable ___c name is not consistent with macro variable
- namespace prefix "m_"
-iter2.h:8:55: Variable ___b name is not consistent with macro variable
- namespace prefix "m_"
-iter2.h:9:1: Macro parameter j used in conditionally executed code (may or may
- not be evaluated exactly once) (in post loop test)
-
-Finished checking --- 12 code warnings, as expected
+++ /dev/null
-
-libs.c: (in function compare2)
-libs.c:14:10: Observer storage returned without qualification: "ok"
- libs.c:14:10: Storage becomes observer
-libs.c: (in function leave)
-libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
-libs.c:21:3: Unreachable code: exit(i)
-libs.c: (in function print)
-libs.c:29:3: Format string parameter to fprintf is not a compile-time constant:
- s
-libs.c:30:3: Format string parameter to printf is not a compile-time constant:
- s
-libs.c:31:3: Format string parameter to fprintf is not a compile-time constant:
- s
-libs.c:33:3: Assignment of int to char: c = fgetc(f)
-libs.c:34:3: Assignment of int to char: c = getc(f)
-libs.c: (in function main)
-libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
- int) returns int]: compare
-libs.c:46:10: Function bsearch called with 4 args, expects 5
-libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
- returns int] * gets [function () returns char] *:
- ([function () returns char] *)compare2
-libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
-libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
-libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
- returns int] * gets [function () returns char] *:
- ([function () returns char] *)compare2
-libs.c:54:11: Unrecognized identifier: SIGHUP
-libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
- * gets [function (int, int) returns int]: compare
-libs.c:54:3: Return value (type [function (int) returns void]) ignored:
- signal(SIGHUP, c...
-libs.c:55:3: Return value (type [function (int) returns void]) ignored:
- signal(SIGHUP, l...
-
-Finished checking --- 18 code warnings, as expected
-
-libs.c: (in function compare2)
-libs.c:14:10: Observer storage returned without qualification: "ok"
- libs.c:14:10: Storage becomes observer
-libs.c: (in function leave)
-libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
-libs.c:21:3: Unreachable code: exit(i)
-libs.c: (in function print)
-libs.c:29:3: Format string parameter to fprintf is not a compile-time constant:
- s
-libs.c:30:3: Format string parameter to printf is not a compile-time constant:
- s
-libs.c:31:3: Format string parameter to fprintf is not a compile-time constant:
- s
-libs.c:33:3: Assignment of int to char: c = fgetc(f)
-libs.c:34:3: Assignment of int to char: c = getc(f)
-libs.c: (in function main)
-libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
- int) returns int]: compare
-libs.c:46:10: Function bsearch called with 4 args, expects 5
-libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
- returns int] * gets [function () returns char] *:
- ([function () returns char] *)compare2
-libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
-libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
-libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
-libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
-libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
-libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
-libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
- returns int] * gets [function () returns char] *:
- ([function () returns char] *)compare2
-libs.c:54:11: Unrecognized identifier: SIGHUP
-libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
- * gets [function (int, int) returns int]: compare
-libs.c:54:3: Return value (type [function (int) returns void]) ignored:
- signal(SIGHUP, c...
-libs.c:55:3: Return value (type [function (int) returns void]) ignored:
- signal(SIGHUP, l...
-
-Finished checking --- 22 code warnings, as expected
-
-libs.c: (in function compare2)
-libs.c:14:10: Observer storage returned without qualification: "ok"
- libs.c:14:10: Storage becomes observer
-libs.c: (in function leave)
-libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
-libs.c:21:3: Unreachable code: exit(i)
-libs.c: (in function print)
-libs.c:29:3: Format string parameter to fprintf is not a compile-time constant:
- s
-libs.c:29:3: Undocumented modification of *f possible from call to fprintf:
- fprintf(f, s)
-libs.c:30:3: Format string parameter to printf is not a compile-time constant:
- s
-libs.c:31:3: Format string parameter to fprintf is not a compile-time constant:
- s
-libs.c:33:7: Undocumented modification of *f possible from call to fgetc:
- fgetc(f)
-libs.c:33:3: Assignment of int to char: c = fgetc(f)
-libs.c:34:7: Undocumented modification of *f possible from call to getc:
- getc(f)
-libs.c:34:3: Assignment of int to char: c = getc(f)
-libs.c: (in function main)
-libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
- int) returns int]: compare
-libs.c:46:10: Function bsearch called with 4 args, expects 5
-libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
- returns int] * gets [function () returns char] *:
- ([function () returns char] *)compare2
-libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
-libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
-libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
-libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
-libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
-libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
-libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
- returns int] * gets [function () returns char] *:
- ([function () returns char] *)compare2
-libs.c:54:11: Unrecognized identifier: SIGHUP
-libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
- * gets [function (int, int) returns int]: compare
-libs.c:54:3: Return value (type [function (int) returns void]) ignored:
- signal(SIGHUP, c...
-libs.c:55:3: Return value (type [function (int) returns void]) ignored:
- signal(SIGHUP, l...
-
-Finished checking --- 25 code warnings, as expected
-
-libs.c: (in function compare2)
-libs.c:14:10: Observer storage returned without qualification: "ok"
- libs.c:14:10: Storage becomes observer
-libs.c: (in function leave)
-libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
-libs.c:21:3: Unreachable code: exit(i)
-libs.c: (in function print)
-libs.c:29:3: Format string parameter to fprintf is not a compile-time constant:
- s
-libs.c:29:3: Undocumented modification of *f possible from call to fprintf:
- fprintf(f, s)
-libs.c:29:3: Return value (type int) ignored: fprintf(f, s)
-libs.c:30:3: Format string parameter to printf is not a compile-time constant:
- s
-libs.c:30:3: Called procedure printf may access global stdout
-libs.c:30:3: Undocumented modification of *stdout possible from call to printf:
- printf(s)
-libs.c:30:3: Return value (type int) ignored: printf(s)
-libs.c:31:12: Undocumented use of global stderr
-libs.c:31:3: Format string parameter to fprintf is not a compile-time constant:
- s
-libs.c:31:3: Undocumented modification of *stderr possible from call to
- fprintf: fprintf(stderr, s)
-libs.c:31:3: Return value (type int) ignored: fprintf(stderr, s)
-libs.c:33:7: Called procedure fgetc may access global errno
-libs.c:33:7: Undocumented modification of *f possible from call to fgetc:
- fgetc(f)
-libs.c:33:7: Undocumented modification of errno possible from call to fgetc:
- fgetc(f)
-libs.c:33:3: Assignment of int to char: c = fgetc(f)
-libs.c:34:7: Undocumented modification of *f possible from call to getc:
- getc(f)
-libs.c:34:3: Assignment of int to char: c = getc(f)
-libs.c: (in function main)
-libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
- int) returns int]: compare
-libs.c:46:10: Function bsearch called with 4 args, expects 5
-libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
- returns int] * gets [function () returns char] *:
- ([function () returns char] *)compare2
-libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
-libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
-libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
-libs.c:51:3: Called procedure qsort may access global errno
-libs.c:51:3: Undocumented modification of errno possible from call to qsort:
- qsort(NULL, x, x, ([function () returns int] *)compare)
-libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
-libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
-libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
-libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
- returns int] * gets [function () returns char] *:
- ([function () returns char] *)compare2
-libs.c:52:3: Called procedure qsort may access global errno
-libs.c:52:3: Undocumented modification of errno possible from call to qsort:
- qsort(x, x, x, ([function () returns char] *)compare2)
-libs.c:54:11: Unrecognized identifier: SIGHUP
-libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
- * gets [function (int, int) returns int]: compare
-libs.c:54:3: Called procedure signal may access global errno
-libs.c:54:3: Undocumented modification of errno possible from call to signal:
- signal(SIGHUP, compare)
-libs.c:54:3: Return value (type [function (int) returns void]) ignored:
- signal(SIGHUP, c...
-libs.c:55:3: Called procedure signal may access global errno
-libs.c:55:3: Undocumented modification of errno possible from call to signal:
- signal(SIGHUP, leave)
-libs.c:55:3: Return value (type [function (int) returns void]) ignored:
- signal(SIGHUP, l...
-
-Finished checking --- 42 code warnings, as expected
+++ /dev/null
-
-lintcomments.c: (in function f)
-lintcomments.c:7:51: Traditional lint comment /*FALLTHROUGH*/ used. Splint
- interprets this in the same way as most Unix lints, but it is preferable to
- replace it with the /*@fallthrough@*/ semantic comment
-lintcomments.c:8:33: Traditional lint comment /*FALLTHROUGH*/ used. Splint
- interprets this in the same way as most Unix lints, but it is preferable to
- replace it with the /*@fallthrough@*/ semantic comment
-lintcomments.c:9:30: Traditional lint comment /*FALLTHRU*/ used. Splint
- interprets this in the same way as most Unix lints, but it is preferable to
- replace it with the /*@fallthrough@*/ semantic comment
-lintcomments.c:11:13: Fall through case (no preceding break)
-lintcomments.c:23:21: Traditional lint comment /*NOTREACHED*/ used. Splint
- interprets this in the same way as most Unix lints, but it is preferable to
- replace it with the /*@notreached@*/ semantic comment.
-
-Finished checking --- 5 code warnings, as expected
-
-lintcomments.c: (in function f)
-lintcomments.c:11:13: Fall through case (no preceding break)
-
-Finished checking --- 1 code warning, as expected
-
-lintcomments.c: (in function f)
-lintcomments.c:9:10: Fall through case (no preceding break)
-lintcomments.c:10:10: Fall through case (no preceding break)
-lintcomments.c:11:13: Fall through case (no preceding break)
-lintcomments.c:24:8: Unreachable code: i++
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-list.c: (in function list_addh)
-list.c:24:5: Variable e is kept in true branch, but not kept in continuation.
- list.c:23:7: Storage e becomes kept
-list.c:25:2: Storage *(l->next) reachable from parameter contains 1 undefined
- field: next
-list.c: (in function list_addh2)
-list.c:39:2: Storage *(l->next) reachable from parameter contains 1 undefined
- field: next
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-macrosef.c: (in macro f)
-macrosef.c:2:14: Macro parameter y used more than once
-macrosef.c: (in function m)
-macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
- file system state: (printf("yo\n"), 3)
-macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
- *stdout: (printf("yo\n"), 3)
-macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument may modify
- *p: g(p)
-
-Finished checking --- 4 code warnings, as expected
-
-macrosef.c: (in macro f)
-macrosef.c:2:14: Macro parameter y used more than once
-macrosef.c: (in function m)
-macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
- file system state: (printf("yo\n"), 3)
-macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
- *stdout: (printf("yo\n"), 3)
-
-Finished checking --- 3 code warnings, as expected
-
-macrosef.c: (in macro f)
-macrosef.c:2:14: Macro parameter y used more than once
-macrosef.c: (in function m)
-macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
- file system state: (printf("yo\n"), 3)
-macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
- *stdout: (printf("yo\n"), 3)
-macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument calls
- unconstrained function g (no guarantee it will not modify something): g(p)
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-merge.c: (in function f2)
-merge.c:33:4: Variable y used in inconsistent state
- merge.c:30:28: Storage y becomes inconsistent (released on one branch)
-merge.c:33:4: Dereference of possibly null pointer y: *y
- merge.c:21:12: Storage y may become null
-merge.c: (in function f3)
-merge.c:51:4: Dereference of possibly null pointer y: *y
- merge.c:50:7: Storage y may become null
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-modifies.c:7:29: Modifies list uses internalState which is a variable and has
- special meaning in a modifies list. (Special meaning assumed.)
- modifies.c:4:25: Declaration of internalState
-modifies.c:13:26: Modifies list uses fileSystem which is a parameter and has
- special meaning in a modifies list. (Special meaning assumed.)
-modifies.c:17:5: Globals list for f6 includes internal state, mstat, but
- previously declared without globals internalState.
- modifies.c:15:5: Declaration of f6
-modifies.c:17:5: Modifies list for f6 includes internal state, but previously
- declared without modifies internal.
- modifies.c:15:5: Declaration of f6
-modifies.c: (in function f1)
-modifies.c:24:3: Undocumented modification of mstat: mstat++
-modifies.c: (in function g2)
-modifies.c:37:1: Function g2 specified to modify internal state but no internal
- state is modified
- modifies.h:3:12: Declaration of g2
-modclient.c: (in function mod)
-modclient.c:3:3: Statement has no effect: (void)f1(p)
-
-Finished checking --- 7 code warnings, as expected
+++ /dev/null
-
-modtest.c: (in function g)
-modtest.lcl:15: Global x listed but not used
-modtest.lcl:15: Global y listed but not used
-modtest.c:9:12: Parameter a not used
-modtest.c:9:22: Parameter p not used
-modtest.c: (in function f)
-modtest.c:16:3: Undocumented modification of i[3]: i[3] = y
-modtest.c:17:3: Undocumented modification of j[2]: j[2] = x
-modtest.c:22:3: Undocumented modification of y: y++
-modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6
-modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i)
-modtest.c:26:3: Return value (type int) ignored: g(j, i)
-
-Finished checking --- 10 code warnings, as expected
-
-modtest.c: (in function g)
-modtest.lcl:15: Global x listed but not used
-modtest.lcl:15: Global y listed but not used
-modtest.c:9:12: Parameter a not used
-modtest.c:9:22: Parameter p not used
-modtest.c: (in function f)
-modtest.c:16:3: Undocumented modification of i[3]: i[3] = y
-modtest.c:17:3: Undocumented modification of j[2]: j[2] = x
-modtest.c:22:3: Undocumented modification of y: y++
-modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6
-modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i)
-modtest.c:26:3: Return value (type int) ignored: g(j, i)
-modtest.c: (in function h)
-modtest.c:33:3: Undocumented modification of y: y++
-modtest.c:34:10: Undocumented modification of x possible from call to g:
- g(a, &x)
-modtest.c:34:10: Undocumented modification of y possible from call to g:
- g(a, &x)
-
-Finished checking --- 13 code warnings, as expected
-
-modtest.c: (in function g)
-modtest.lcl:15: Global x listed but not used
-modtest.lcl:15: Global y listed but not used
-modtest.c:12:1: Suspect object listed in modifies of g not modified: x
- modtest.lcl:15: Specification of g
-modtest.c:12:1: Suspect object listed in modifies of g not modified: y
- modtest.lcl:15: Specification of g
-modtest.c:9:12: Parameter a not used
-modtest.c:9:22: Parameter p not used
-modtest.c: (in function f)
-modtest.c:16:3: Undocumented modification of i[3]: i[3] = y
-modtest.c:17:3: Undocumented modification of j[2]: j[2] = x
-modtest.c:22:3: Undocumented modification of y: y++
-modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6
-modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i)
-modtest.c:26:3: Return value (type int) ignored: g(j, i)
-modtest.c:29:1: Suspect object listed in modifies of f not modified: ai[6]
- modtest.lcl:8: Specification of f
-modtest.c:29:1: Suspect object listed in modifies of f not modified: tstp->a
- modtest.lcl:8: Specification of f
-
-Finished checking --- 14 code warnings, as expected
+++ /dev/null
-
-moduncon.c: (in function g)
-moduncon.c:12:10: Undetected modification possible from call to unconstrained
- function umod: umod
-moduncon.c:13:22: Undetected modification possible from call to unconstrained
- function umod: umod
-moduncon.c:13:16: Undetected modification possible from call to unconstrained
- function mmod: mmod
-moduncon.c:13:10: Undetected modification possible from call to unconstrained
- function umod: umod
-
-Finished checking --- 4 code warnings, as expected
-
-moduncon.c: (in function f)
-moduncon.c:6:22: Undetected modification possible from call to unconstrained
- function umod: umod
-moduncon.c:6:22: New fresh storage (type int *) passed as implicitly temp (not
- released): umod(x)
-moduncon.c:6:16: Undetected modification possible from call to unconstrained
- function mmod: mmod
-moduncon.c:6:16: New fresh storage (type int *) passed as implicitly temp (not
- released): mmod(umod(x))
-moduncon.c:6:10: Undetected modification possible from call to unconstrained
- function umod: umod
-moduncon.c:6:3: Statement has no effect (possible undected modification through
- call to unconstrained functions umod, mmod): (void)umod(mmod(...
-moduncon.c: (in function g)
-moduncon.c:12:10: Undetected modification possible from call to unconstrained
- function umod: umod
-moduncon.c:12:3: Statement has no effect (possible undected modification
- through call to unconstrained function umod): (void)umod(x)
-moduncon.c:13:22: Undetected modification possible from call to unconstrained
- function umod: umod
-moduncon.c:13:22: New fresh storage (type int *) passed as implicitly temp (not
- released): umod(x)
-moduncon.c:13:16: Undetected modification possible from call to unconstrained
- function mmod: mmod
-moduncon.c:13:16: New fresh storage (type int *) passed as implicitly temp (not
- released): mmod(umod(x))
-moduncon.c:13:10: Undetected modification possible from call to unconstrained
- function umod: umod
-moduncon.c:13:3: Statement has no effect (possible undected modification
- through call to unconstrained functions umod, mmod): (void)umod(mmod(...
-moduncon.c:1:6: Function mmod declared but not defined
-moduncon.c:2:6: Function umod declared but not defined
-moduncon.c:4:5: Function f declared but not used
- moduncon.c:8:1: Definition of f
-moduncon.c:10:5: Function g declared but not used
- moduncon.c:15:1: Definition of g
-moduncon.c:1:6: Function mmod exported but not declared in header file
-moduncon.c:2:6: Function umod exported but not declared in header file
-moduncon.c:4:5: Function f exported but not declared in header file
- moduncon.c:8:1: Definition of f
-moduncon.c:10:5: Function g exported but not declared in header file
- moduncon.c:15:1: Definition of g
-
-Finished checking --- 22 code warnings, as expected
+++ /dev/null
-
-minc1.h:1: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:1: Include site
-minc4.h:1: Maximum include nesting depth (1, current depth 3) exceeded
- minc1.h:1: Include site
- mongoincludes.c:1: Include site
-minc1.h:2: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:1: Include site
-minc1.h:3: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:1: Include site
-minc2.h:1: Maximum include nesting depth (1, current depth 3) exceeded
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc3.h:1: Maximum include nesting depth (1, current depth 4) exceeded
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc4.h:1: Maximum include nesting depth (1, current depth 5) exceeded
- minc3.h:1: Include site
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc3.h:2: Maximum include nesting depth (1, current depth 4) exceeded
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc2.h:2: Maximum include nesting depth (1, current depth 3) exceeded
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc4.h:1: Maximum include nesting depth (1, current depth 4) exceeded
- minc2.h:2: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc2.h:3: Maximum include nesting depth (1, current depth 3) exceeded
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc1.h:4: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:1: Include site
-minc3.h:1: Maximum include nesting depth (1, current depth 3) exceeded
- minc1.h:4: Include site
- mongoincludes.c:1: Include site
-minc3.h:2: Maximum include nesting depth (1, current depth 3) exceeded
- minc1.h:4: Include site
- mongoincludes.c:1: Include site
-minc2.h:1: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:2: Include site
-minc2.h:2: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:2: Include site
-minc2.h:3: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:2: Include site
-minc3.h:1: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:3: Include site
-minc3.h:2: Maximum include nesting depth (1, current depth 2) exceeded
- mongoincludes.c:3: Include site
-
-Finished checking --- 19 code warnings, as expected
-
-minc4.h:1: Maximum include nesting depth (2, current depth 3) exceeded
- minc1.h:1: Include site
- mongoincludes.c:1: Include site
-minc2.h:1: Maximum include nesting depth (2, current depth 3) exceeded
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc3.h:1: Maximum include nesting depth (2, current depth 4) exceeded
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc4.h:1: Maximum include nesting depth (2, current depth 5) exceeded
- minc3.h:1: Include site
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc3.h:2: Maximum include nesting depth (2, current depth 4) exceeded
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc2.h:2: Maximum include nesting depth (2, current depth 3) exceeded
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc4.h:1: Maximum include nesting depth (2, current depth 4) exceeded
- minc2.h:2: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc2.h:3: Maximum include nesting depth (2, current depth 3) exceeded
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc3.h:1: Maximum include nesting depth (2, current depth 3) exceeded
- minc1.h:4: Include site
- mongoincludes.c:1: Include site
-minc3.h:2: Maximum include nesting depth (2, current depth 3) exceeded
- minc1.h:4: Include site
- mongoincludes.c:1: Include site
-
-Finished checking --- 10 code warnings, as expected
-
-minc3.h:1: Maximum include nesting depth (3, current depth 4) exceeded
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc4.h:1: Maximum include nesting depth (3, current depth 5) exceeded
- minc3.h:1: Include site
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc3.h:2: Maximum include nesting depth (3, current depth 4) exceeded
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-minc4.h:1: Maximum include nesting depth (3, current depth 4) exceeded
- minc2.h:2: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-
-Finished checking --- 4 code warnings, as expected
-
-minc4.h:1: Maximum include nesting depth (4, current depth 5) exceeded
- minc3.h:1: Include site
- minc2.h:1: Include site
- minc1.h:3: Include site
- mongoincludes.c:1: Include site
-
-Finished checking --- 1 code warning, as expected
-
-Finished checking --- no warnings
+++ /dev/null
-
-mystrncat.c: (in function func)
-mystrncat.c:12:13: Passed storage buffer not completely defined (*buffer is
- undefined): mystrncat (buffer, ...)
-mystrncat.c:13:13: Passed storage b not completely defined (*b is undefined):
- mystrncat (b, ...)
-mystrncat.c:12:3: Possible out-of-bounds store:
- Unable to resolve constraint:
- requires maxRead(buffer @ mystrncat.c:12:13) <= 0
- needed to satisfy precondition:
- requires maxSet(buffer @ mystrncat.c:12:13) >= maxRead(buffer @
- mystrncat.c:12:13) + 255
- derived from mystrncat precondition:
- requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3>
-mystrncat.c:13:3: Possible out-of-bounds store:
- Unable to resolve constraint:
- requires maxRead(malloc(256) @ mystrncat.c:10:7) <= 0
- needed to satisfy precondition:
- requires maxSet(b @ mystrncat.c:13:13) >= maxRead(b @ mystrncat.c:13:13) +
- 255
- derived from mystrncat precondition:
- requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3>
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-noeffect.c: (in macro exprNode_swap)
-noeffect.c:3:59: Assignment to macro parameter: e1
- A macro parameter is used as the left side of an assignment expression. This
- exhibits behavior that could not be implemented by a function. (Use
- -macroassign to inhibit warning)
-noeffect.c:3:72: Assignment to macro parameter: e2
-noeffect.c:2:18: File static function exprNode_swap declared but not used
- A function is declared but not used. Use /*@unused@*/ in front of function
- header to suppress message. (Use -fcnuse to inhibit warning)
- noeffect.c:3: Definition of exprNode_swap
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-null1.c: (in function ptrpred)
-null1.c:7:22: Out storage x not defined before return
-null1.c: (in function f)
-null1.c:19:20: Implicitly temp storage x returned as only: x
-null1.c:19:20: Possibly null storage x returned as non-null: x
- null1.c:10:35: Storage x may become null
-null1.c:19:22: Fresh storage y not released before return
- null1.c:12:41: Fresh storage y allocated
-null1.c:31:4: Dereference of possibly null pointer y: *y
- null1.c:12:12: Storage y may become null
-null1.c:34:5: Possibly null storage z passed as non-null param: g (z)
- null1.c:25:7: Storage z may become null
-null1.c:34:5: Passed storage z not completely defined (*z is undefined): g (z)
-null1.c:39:14: Dereference of null pointer z: *z
- null1.c:25:7: Storage z becomes null
-null1.c:43:22: Dereference of possibly null pointer z4: *z4
- null1.c:42:8: Storage z4 may become null
-null1.c:46:25: Dereference of possibly null pointer z2: *z2
- null1.c:26:8: Storage z2 may become null
-null1.c:49:11: Dereference of possibly null pointer z3: *z3
- null1.c:27:8: Storage z3 may become null
-null1.c:55:4: Dereference of possibly null pointer z2: *z2
- null1.c:51:8: Storage z2 may become null
-null1.c:59:23: Dereference of possibly null pointer z5: *z5
- null1.c:57:8: Storage z5 may become null
-null1.c:67:10: Possibly null storage z returned as non-null: z
- null1.c:25:7: Storage z may become null
-null1.c:67:12: Fresh storage z3 not released before return
- null1.c:27:3: Fresh storage z3 allocated
-
-Finished checking --- 15 code warnings, as expected
-
-null1.c: (in function f)
-null1.c:19:20: Implicitly temp storage x returned as only: x
-null1.c:19:22: Fresh storage y not released before return
- null1.c:12:41: Fresh storage y allocated
-null1.c:34:5: Passed storage z not completely defined (*z is undefined): g (z)
-null1.c:67:12: Fresh storage z3 not released before return
- null1.c:27:3: Fresh storage z3 allocated
-
-Finished checking --- 4 code warnings, as expected
-
-null2.c: (in function ptrpred)
-null2.c:7:22: Out storage x not defined before return
-null2.c: (in function f)
-null2.c:15:10: Left operand of && is non-boolean (int *): x1 && (*x1 == 3)
-null2.c:16:19: Dereference of possibly null pointer x2: *x2
- null2.c:10:55: Storage x2 may become null
-null2.c:17:18: Dereference of possibly null pointer x3: *x3
- null2.c:11:21: Storage x3 may become null
-null2.c:17:10: Left operand of || is non-boolean (int *): x3 || (*x3 == 3)
-null2.c:20:27: Dereference of possibly null pointer x1: *x1
- null2.c:10:35: Storage x1 may become null
-null2.c:23:7: Left operand of && is non-boolean (int *): x4 && (*x4 == 3)
-null2.c:30:8: Dereference of possibly null pointer x4: *x4
- null2.c:11:41: Storage x4 may become null
-null2.c:35:14: Implicitly temp storage x3 returned as only: (x3)
-null2.c:35:14: Possibly null storage x3 returned as non-null: (x3)
- null2.c:11:21: Storage x3 may become null
-null2.c:39:10: Implicitly temp storage x1 returned as only: (x1)
-
-Finished checking --- 11 code warnings, as expected
-
-null3.c: (in function f3)
-null3.c:16:4: Dereference of possibly null pointer gnip: *gnip
- null3.c:3:25: Storage gnip may become null
-null3.c: (in function f)
-null3.c:27:4: Dereference of possibly null pointer arg0: *arg0
-null3.c:37:8: Dereference of possibly null pointer z: *z
- null3.c:25:12: Storage z may become null
-null3.c:38:16: Only storage aip not released before return
- null3.c:22:66: Storage aip becomes only
-null3.c:44:4: Dereference of possibly null pointer arg2: *arg2
-null3.c:52:4: Dereference of possibly null pointer gnip: *gnip
- null3.c:51:10: Storage gnip may become null
-null3.c:53:9: Variable z used after being released
- null3.c:51:3: Storage z released
-null3.c:53:3: Only storage gip (type int *) not released before assignment (z
- aliases gnip): gip = z
- null3.c:5:17: Storage gip becomes only
-null3.c:55:3: Only storage gnip (type nip) not released before assignment:
- gnip = aip
- null3.c:53:3: Storage gnip becomes only
-null3.c:60:14: Returned storage y not completely defined (*y is undefined): y
-null3.c:60:16: Function returns with non-null global gip referencing null
- storage
- null3.c:53:9: Storage gip may become null
-null3.c:65:14: Possibly null storage y returned as non-null: y
- null3.c:24:12: Storage y may become null
-null3.c:65:14: Returned storage y not completely defined (*y is undefined): y
-null3.c:65:16: Function returns with non-null global gip referencing null
- storage
- null3.c:53:9: Storage gip may become null
-null3.c: (in function f2)
-null3.c:73:4: Dereference of possibly null pointer gnip: *gnip
- null3.c:55:10: Storage gnip may become null
-
-Finished checking --- 15 code warnings, as expected
-
-null3.c: (in function f3)
-null3.c:16:4: Dereference of possibly null pointer gnip: *gnip
- null3.c:3:25: Storage gnip may become null
-null3.c: (in function f)
-null3.c:27:4: Dereference of possibly null pointer arg0: *arg0
-null3.c:35:13: Possibly null storage y passed as non-null param: free (y)
- null3.c:24:12: Storage y may become null
-null3.c:37:8: Dereference of possibly null pointer z: *z
- null3.c:25:12: Storage z may become null
-null3.c:38:16: Only storage aip not released before return
- null3.c:22:66: Storage aip becomes only
-null3.c:44:4: Dereference of possibly null pointer arg2: *arg2
-null3.c:52:4: Dereference of possibly null pointer gnip: *gnip
- null3.c:51:10: Storage gnip may become null
-null3.c:53:9: Variable z used after being released
- null3.c:51:3: Storage z released
-null3.c:53:3: Only storage gip (type int *) not released before assignment (z
- aliases gnip): gip = z
- null3.c:5:17: Storage gip becomes only
-null3.c:55:3: Only storage gnip (type nip) not released before assignment:
- gnip = aip
- null3.c:53:3: Storage gnip becomes only
-null3.c:60:14: Returned storage y not completely defined (*y is undefined): y
-null3.c:60:16: Function returns with non-null global gip referencing null
- storage
- null3.c:53:9: Storage gip may become null
-null3.c:65:14: Possibly null storage y returned as non-null: y
- null3.c:24:12: Storage y may become null
-null3.c:65:14: Returned storage y not completely defined (*y is undefined): y
-null3.c:65:16: Function returns with non-null global gip referencing null
- storage
- null3.c:53:9: Storage gip may become null
-null3.c: (in function f2)
-null3.c:73:4: Dereference of possibly null pointer gnip: *gnip
- null3.c:55:10: Storage gnip may become null
-
-Finished checking --- 16 code warnings, as expected
-
-null4.c: (in function g)
-null4.c:43:3: Only storage p (type int *) not released before assignment:
- p = malloc(24)
- null4.c:3:28: Storage p becomes only
-
-Finished checking --- 1 code warning, as expected
-
-null5.c:5:29: Qualifier falsenull used with function returning char (should
- return bool)
-null5.c:6:29: Qualifier falsenull used with function having 2 arguments (should
- have 1)
-null5.c: (in function g2)
-null5.c:26:15: Dereference of possibly null pointer y: *y
- null5.c:18:25: Storage y may become null
-null5.c: (in function g3)
-null5.c:37:11: Dereference of null pointer y: *y
- null5.c:30:25: Storage y becomes null
-
-Finished checking --- 4 code warnings, as expected
-
-null6.c:7:36: Function f1 declared with notnull parameter x of abstract type
- mnull
-null6.c: (in function f)
-null6.c:11:11: Dereference of possibly null pointer x: *x
-null6.c: (in function f6)
-null6.c:68:10: Possibly null storage x returned as non-null: x
- null6.c:61:31: Storage x may become null
-null6.c: (in function f7)
-null6.c:84:10: Possibly null storage x returned as non-null: x
- null6.c:81:11: Storage x may become null
-
-Finished checking --- 4 code warnings, as expected
-
-null6.c:7:36: Function f1 declared with notnull parameter x of abstract type
- mnull
-null6.c: (in function f)
-null6.c:11:11: Dereference of possibly null pointer x: *x
-null6.c: (in function f6)
-null6.c:68:10: Possibly null storage x returned as non-null: x
- null6.c:61:31: Storage x may become null
-null6.c: (in function f7)
-null6.c:84:10: Possibly null storage x returned as non-null: x
- null6.c:81:11: Storage x may become null
-
-Finished checking --- 4 code warnings, as expected
;;; Splint Library null6.lcd
-;;Splint 3.0.1.1 --- 09 Jan 2002
+;;Splint 3.0.1.2 --- 09 Jan 2002
;;lib:298
;;ctTable
0 u-2 19 38
+++ /dev/null
-
-observer.c: (in function stx_name)
-observer.c:9:10: Function returns reference to parameter x: (x->name)
-observer.c:9:10: Return value exposes rep of stx: (x->name)
-observer.c:9:20: Released storage x->name reachable from parameter at return
- point
- observer.c:9:10: Storage x->name is released
-observer.c: (in function f)
-observer.c:33:3: Suspect modification of observer s: *s = 'x'
-observer.c:34:9: Function call may modify observer s: s
- observer.c:32:7: Storage s becomes observer
-observer.c:34:9: Observer storage s passed as only param: free (s)
- observer.c:32:7: Storage s becomes observer
-observer.c:38:9: Exposed storage s passed as only param: free (s)
- observer.c:36:3: Storage s becomes exposed
-observer.c:41:10: Observer storage *s reachable from unqualified return value
-observer.c:41:10: Observer storage s returned without qualification: s
- observer.c:40:7: Storage s becomes observer
-
-Finished checking --- 9 code warnings, as expected
-
-observer.c: (in function stx_name)
-observer.c:9:10: Function returns reference to parameter x: (x->name)
-observer.c:9:20: Released storage x->name reachable from parameter at return
- point
- observer.c:9:10: Storage x->name is released
-observer.c: (in function f)
-observer.c:33:3: Suspect modification of observer s: *s = 'x'
-observer.c:34:9: Function call may modify observer s: s
- observer.c:32:7: Storage s becomes observer
-observer.c:34:9: Observer storage s passed as only param: free (s)
- observer.c:32:7: Storage s becomes observer
-observer.c:38:9: Exposed storage s passed as only param: free (s)
- observer.c:36:3: Storage s becomes exposed
-observer.c:41:10: Observer storage *s reachable from unqualified return value
-observer.c:41:10: Observer storage s returned without qualification: s
- observer.c:40:7: Storage s becomes observer
-
-Finished checking --- 8 code warnings, as expected
-
-observer.c: (in function stx_name)
-observer.c:9:20: Released storage x->name reachable from parameter at return
- point
- observer.c:9:10: Storage x->name is released
-observer.c: (in function f)
-observer.c:33:3: Suspect modification of observer s: *s = 'x'
-observer.c:34:9: Function call may modify observer s: s
- observer.c:32:7: Storage s becomes observer
-observer.c:34:9: Observer storage s passed as only param: free (s)
- observer.c:32:7: Storage s becomes observer
-observer.c:38:9: Exposed storage s passed as only param: free (s)
- observer.c:36:3: Storage s becomes exposed
-observer.c:41:10: Observer storage *s reachable from unqualified return value
-observer.c:41:10: Observer storage s returned without qualification: s
- observer.c:40:7: Storage s becomes observer
-
-Finished checking --- 7 code warnings, as expected
+++ /dev/null
-
-oldstyle.c: (in function f1)
-oldstyle.c:5:8: Dereference of non-pointer (int): *y
-oldstyle.c:10:5: Function f2 declared with 1 arg, specified with 2
- oldstyle.lcl:2: Specification of f2
-oldstyle.c:15:12: Parameter 2, y, of function f3 has inconsistent type:
- declared char, specified char *
- oldstyle.lcl:4:1: Specification of y: char *
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-outglob.c: (in function g)
-outglob.c:5:20: Undef global x3 used before definition
-outglob.c: (in function f)
-outglob.c:15:14: Undef global x1 used before definition
-outglob.c:15:17: Function returns with global x2 undefined
- outglob.lcl:3: Storage x2 becomes undefined
-outglob.c:15:17: Function returns with global x3 undefined
- outglob.lcl:3: Storage x3 becomes undefined
-outglob.c:21:10: Undef global x1 used before definition
-outglob.c:22:10: Global x2 used by function undefined before call: g
-outglob.c:27:10: Undef global x3 used before definition
-outglob.c:37:14: Function returns with global x3 undefined
- outglob.lcl:3: Storage x3 becomes undefined
-outglob.c:41:13: Function returns with global x2 undefined
- outglob.lcl:3: Storage x2 becomes undefined
-outglob.c:41:13: Function returns with global x3 undefined
- outglob.lcl:3: Storage x3 becomes undefined
-
-Finished checking --- 10 code warnings, as expected
+++ /dev/null
-
-outparam.c: (in function h)
-outparam.c:8:3: Variable u1 used before definition
-outparam.c:12:7: Field s->a used before definition
-outparam.c: (in function f)
-outparam.c:21:7: Value *a used before definition
-outparam.c: (in function g)
-outparam.c:37:5: Unallocated storage c passed as out parameter to f: c
-outparam.c:37:8: Variable b used before definition
-outparam.c:39:5: Unallocated storage d passed as out parameter to f: d
-outparam.c:41:7: Variable t used before definition
-outparam.c:42:7: Variable t2 used before definition
-outparam.c:42:3: Assignment of int to st: s = t2->a
-outparam.c:44:3: Variable t3 used before definition
-outparam.c:47:5: Arrow access from possibly null pointer t4: t4->a
- outparam.c:46:8: Storage t4 may become null
-outparam.c:48:13: Fresh storage t4 not released before return
- outparam.c:46:3: Fresh storage t4 allocated
-
-Finished checking --- 12 code warnings, as expected
+++ /dev/null
-
-preds.c: (in function f)
-preds.c:10:7: Test expression for if not bool, type int: *p
- Test expression type is not boolean or int. (Use -predboolint to inhibit
- warning)
-preds.c:15:8: Operand of ! is non-boolean (int): !(*p)
- The operand of a boolean operator is not a boolean. Use +ptrnegate to allow !
- to be used on pointers. (Use -boolops to inhibit warning)
-preds.c:20:7: Test expression for if is assignment expression: b1 = b2
- The condition test is an assignment expression. Probably, you mean to use ==
- instead of =. If an assignment is intended, add an extra parentheses nesting
- (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
- inhibit warning)
-preds.c:25:7: Test expression for if not bool, type char: (c = 'a')
- Test expression type is not boolean. (Use -predboolothers to inhibit warning)
-preds.c:30:7: Use of == with bool variables (risks inconsistency because of
- multiple true values): b1 == b2
- Two bool values are compared directly using a C primitive. This may produce
- unexpected results since all non-zero values are considered TRUE, so
- different TRUE values may not be equal. The file bool.h (included in
- splint/lib) provides bool_equal for safe bool comparisons. (Use -boolcompare
- to inhibit warning)
-preds.c:35:7: Test expression for if not bool, type char: c
-
-Finished checking --- 6 code warnings, as expected
-
-preds.c: (in function f)
-preds.c:20:7: Test expression for if is assignment expression: b1 = b2
- The condition test is an assignment expression. Probably, you mean to use ==
- instead of =. If an assignment is intended, add an extra parentheses nesting
- (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
- inhibit warning)
-
-Finished checking --- 1 code warning, as expected
-
-preds.c: (in function f)
-preds.c:5:8: Operand of ! is non-boolean (int *): !p
- The operand of ! operator is a pointer. (Use +ptrnegate to inhibit warning)
-preds.c:10:7: Test expression for if not bool, type int: *p
- Test expression type is not boolean or int. (Use -predboolint to inhibit
- warning)
-preds.c:15:8: Operand of ! is non-boolean (int): !(*p)
- The operand of a boolean operator is not a boolean. Use +ptrnegate to allow !
- to be used on pointers. (Use -boolops to inhibit warning)
-preds.c:20:7: Test expression for if is assignment expression: b1 = b2
- The condition test is an assignment expression. Probably, you mean to use ==
- instead of =. If an assignment is intended, add an extra parentheses nesting
- (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
- inhibit warning)
-preds.c:25:7: Test expression for if not bool, type char: (c = 'a')
- Test expression type is not boolean. (Use -predboolothers to inhibit warning)
-preds.c:30:7: Use of == with bool variables (risks inconsistency because of
- multiple true values): b1 == b2
- Two bool values are compared directly using a C primitive. This may produce
- unexpected results since all non-zero values are considered TRUE, so
- different TRUE values may not be equal. The file bool.h (included in
- splint/lib) provides bool_equal for safe bool comparisons. (Use -boolcompare
- to inhibit warning)
-preds.c:35:7: Test expression for if not bool, type char: c
-bool.h:21:13: Function bool_initMod declared but not used
- A function is declared but not used. Use /*@unused@*/ in front of function
- header to suppress message. (Use -fcnuse to inhibit warning)
-bool.h:24:29: Function bool_unparse declared but not used
-bool.h:27:13: Function bool_not declared but not used
-bool.h:30:13: Function bool_equal declared but not used
-preds.c:3:5: Function f declared but not used
- preds.c:41:1: Definition of f
-
-Finished checking --- 12 code warnings, as expected
+++ /dev/null
-
-Finished checking --- no warnings
-
-prefixes.c:20: Parameterized macro has no prototype or specification: mf
-prefixes.c: (in macro mf)
-prefixes.c:20:37: Variable y name is not consistent with macro variable
- namespace prefix "m_"
-prefixes.c:20:37: Variable y declared but not used
-prefixes.c:20:26: Variable m_x declared but not used
-
-Finished checking --- 4 code warnings, as expected
-
-prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
- namespace prefix "T"
-prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
- namespace prefix "T"
-
-Finished checking --- 2 code warnings, as expected
-
-prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
- namespace prefix "^"
-
-Finished checking --- 1 code warning, as expected
-
-prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
- namespace prefix "^*"
-prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
- namespace prefix "^*"
-
-Finished checking --- 2 code warnings, as expected
-
-prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
- namespace prefix "^%*"
-prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
- namespace prefix "^%*"
-
-Finished checking --- 2 code warnings, as expected
-
-prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
- namespace prefix "^~*"
-prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
- namespace prefix "^~*"
-
-Finished checking --- 2 code warnings, as expected
-
-prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
- namespace prefix "^"
-prefixes.c:6:12: Variable FSint name is not a user-defined type (it is a file
- static), but matches the user-defined type namespace prefix "^"
-prefixes.c:7:12: Variable TYint name is not a user-defined type (it is a file
- static), but matches the user-defined type namespace prefix "^"
-prefixes.c:8:12: Variable V3int name is not a user-defined type (it is a file
- static), but matches the user-defined type namespace prefix "^"
-prefixes.c:10:12: Variable Xqmxt name is not a user-defined type (it is a file
- static), but matches the user-defined type namespace prefix "^"
-prefixes.c:11:12: Variable XqmXt name is not a user-defined type (it is a file
- static), but matches the user-defined type namespace prefix "^"
-prefixes.c:14:12: Variable Gint name is not a user-defined type (it is a
- external), but matches the user-defined type namespace prefix "^"
-
-Finished checking --- 7 code warnings, as expected
-
-prefixes.c:8:12: Variable V3int name is not consistent with file static
- namespace prefix "^^"
-prefixes.c:9:12: Variable sint name is not consistent with file static
- namespace prefix "^^"
-prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
- namespace prefix "^^"
-prefixes.c:11:12: Variable XqmXt name is not consistent with file static
- namespace prefix "^^"
-
-Finished checking --- 4 code warnings, as expected
-
-prefixes.c:6:12: Variable FSint name is not consistent with file static
- namespace prefix "^#"
-prefixes.c:7:12: Variable TYint name is not consistent with file static
- namespace prefix "^#"
-prefixes.c:9:12: Variable sint name is not consistent with file static
- namespace prefix "^#"
-prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
- namespace prefix "^#"
-prefixes.c:11:12: Variable XqmXt name is not consistent with file static
- namespace prefix "^#"
-
-Finished checking --- 5 code warnings, as expected
-
-prefixes.c:6:12: Variable FSint name is not consistent with file static
- namespace prefix "^?&x"
-prefixes.c:7:12: Variable TYint name is not consistent with file static
- namespace prefix "^?&x"
-prefixes.c:8:12: Variable V3int name is not consistent with file static
- namespace prefix "^?&x"
-prefixes.c:9:12: Variable sint name is not consistent with file static
- namespace prefix "^?&x"
-prefixes.c:11:12: Variable XqmXt name is not consistent with file static
- namespace prefix "^?&x"
-
-Finished checking --- 5 code warnings, as expected
-
-prefixes.c:15:12: Variable aGb_Xint name is not consistent with global variable
- namespace prefix "G"
-
-Finished checking --- 1 code warning, as expected
-
-prefixes.c:14:12: Variable Gint name is not consistent with global variable
- namespace prefix "&G?_^"
-
-Finished checking --- 1 code warning, as expected
-
-prefixes.c:1:13: Datatype Tin_ty name is not consistent with external namespace
- prefix "G"
-prefixes.c:2:13: Datatype QINT name is not consistent with external namespace
- prefix "G"
-prefixes.c:3:13: Datatype tint name is not consistent with external namespace
- prefix "G"
-prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
- namespace prefix "G"
-prefixes.c:18:12: Function g name is not consistent with external namespace
- prefix "G"
-
-Finished checking --- 5 code warnings, as expected
-
-prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
- namespace prefix "T"
-prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
- namespace prefix "T"
-prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
- namespace prefix "G"
-prefixes.c:18:12: Function g name is not consistent with external namespace
- prefix "G"
-
-Finished checking --- 4 code warnings, as expected
-
-prefixes.c:20: Expanded macro mf name is not a local variable (it is a
- unchecked macro), but matches the local variable namespace prefix "?*"
-prefixes.c:1:13: Datatype Tin_ty name is not a local variable (it is a
- external), but matches the local variable namespace prefix "?*"
-prefixes.c:2:13: Datatype QINT name is not a local variable (it is a external),
- but matches the local variable namespace prefix "?*"
-prefixes.c:3:13: Datatype tint name is not a local variable (it is a external),
- but matches the local variable namespace prefix "?*"
-prefixes.c:6:12: Variable FSint name is not a local variable (it is a file
- static), but matches the local variable namespace prefix "?*"
-prefixes.c:7:12: Variable TYint name is not a local variable (it is a file
- static), but matches the local variable namespace prefix "?*"
-prefixes.c:8:12: Variable V3int name is not a local variable (it is a file
- static), but matches the local variable namespace prefix "?*"
-prefixes.c:9:12: Variable sint name is not a local variable (it is a file
- static), but matches the local variable namespace prefix "?*"
-prefixes.c:10:12: Variable Xqmxt name is not a local variable (it is a file
- static), but matches the local variable namespace prefix "?*"
-prefixes.c:11:12: Variable XqmXt name is not a local variable (it is a file
- static), but matches the local variable namespace prefix "?*"
-prefixes.c:14:12: Variable Gint name is not a local variable (it is a
- external), but matches the local variable namespace prefix "?*"
-prefixes.c:15:12: Variable aGb_Xint name is not a local variable (it is a
- external), but matches the local variable namespace prefix "?*"
-prefixes.c:18:12: Function g name is not a local variable (it is a external),
- but matches the local variable namespace prefix "?*"
-
-Finished checking --- 13 code warnings, as expected
+++ /dev/null
-
-printflike.c:2:5: Function mprint is marked printflike, but has no elipsis
- parameter
-printflike.c:5:5: Function kprint is marked printflike, but has no elipsis
- parameter
-printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis
- parameter
-printflike.c:13:15: Traditional lint comment /*PRINTFLIKE*/ used. Splint
- interprets this in the same way as most Unix lints, but it is preferable to
- replace it with either /*@printflike@*/, /*@scanflike@*/ or
- /*@messagelike@*/.
-printflike.c:16:35: Multiple special function codes:
- printflike, messagelike (first code is ignored)
-printflike.c:17:5: Function qxprint is marked messagelike, but the argument
- before the elipsis has type int (should be char *)
-
-Finished checking --- 6 code warnings, as expected
-
-printflike.c:2:5: Function mprint is marked printflike, but has no elipsis
- parameter
-printflike.c:5:5: Function kprint is marked printflike, but has no elipsis
- parameter
-printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis
- parameter
-printflike.c:16:35: Multiple special function codes:
- printflike, messagelike (first code is ignored)
-printflike.c:17:5: Function qxprint is marked messagelike, but the argument
- before the elipsis has type int (should be char *)
-
-Finished checking --- 5 code warnings, as expected
+++ /dev/null
-
-rc.c: (in function f)
-rc.c:3:10: Observer storage returned without qualification:
- "a flag\"wicked cool"
- rc.c:3:10: Storage becomes observer
-
-Finished checking --- 1 code warning, as expected
-
-rc.c: (in function f)
-rc.c:3:10: Return value type int does not match declared type char *: 12
-
-Finished checking --- 1 code warning, as expected
-
-rc2.splintrc:1:18: Warning: setting +boolint redundant with current value
-rc.c: (in function f)
-rc.c:3:10: Observer storage returned without qualification: "a silly\"flag\"\\"
- rc.c:3:10: Storage becomes observer
-
-Finished checking --- 1 code warning, as expected
-
-rc2.splintrc:1:18: Warning: setting +boolint redundant with current value
-rc.c: (in function f)
-rc.c:3:10: Unrecognized identifier: MYSTERY
-
-Finished checking --- 1 code warning, as expected
-
-rc3.splintrc:2:1: Bad flag syntax (+ or - expected, + is assumed):
- internalnamelen 73
- A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
- warning)
-rc3.splintrc:5:24: Flag dump must be followed by an argument
-rc.c: (in function f)
-rc.c:3:10: Unrecognized identifier: MYSTERY
-
-Finished checking --- 1 code warning, as expected
+++ /dev/null
-
-refcounts.c: (in function rp_release)
-refcounts.c:18:13: Reference counted storage passed as only param: free (x)
-refcounts.c: (in function rp_temp)
-refcounts.c:24:10: New reference returned as temp reference: rp_create2()
-refcounts.c: (in function rp_f)
-refcounts.c:32:3: Kill reference parameter r2 (type rp) not released before
- assignment: r2 = rp_temp()
- refcounts.c:27:50: Storage r2 becomes newref
-refcounts.c: (in function rp_ref)
-refcounts.c:48:10: Reference counted storage returned without modifying
- reference count: x
-refcounts.c: (in function rp_waste)
-refcounts.c:63:13: New reference z2 not released before return
- refcounts.c:60:23: Storage z2 becomes newref
-refcounts.c: (in function rp_waste2)
-refcounts.c:71:3: New reference z2 (type rp) not released before assignment:
- z2 = rp_ref(z1)
- refcounts.c:69:23: Storage z2 becomes newref
-refcounts.c:72:13: New reference z2 not released before return
- refcounts.c:71:3: Storage z2 becomes newref
-
-Finished checking --- 7 code warnings, as expected
+++ /dev/null
-
-release.c: (in function f)
-release.c:25:12: Owned storage z not released before return
- release.c:22:7: Storage z becomes owned
-
-Finished checking --- 1 code warning, as expected
+++ /dev/null
-
-repexpose.c: (in function abst_create)
-repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
- repexpose.c:5:12: Storage a may become null
-repexpose.c:13:3: Possible undocumented modification of p->parent through alias
- a->parent: a->parent = b->parent
-repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
- a->name = *globstring
-repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
- b->name = *globstring
- repexpose.c:16:3: Storage *globstring becomes kept
-repexpose.c:19:10: Storage a->name reachable from return value is kept (should
- be implicitly only)
- repexpose.c:17:3: Storage a->name becomes kept
-repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
-repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
- unqualified)
- repexpose.c:16:3: Storage *globstring becomes kept
-repexpose.c: (in function abst_name)
-repexpose.c:26:18: Released storage a->name reachable from parameter at return
- point
- repexpose.c:26:10: Storage a->name is released
-repexpose.c: (in function abst_parent)
-repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
-repexpose.c:45:25: Only storage a not released before return
- repexpose.c:40:24: Storage a becomes only
-repexpose.c: (in function immut_name)
-repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
-repexpose.c: (in function abst_setIm)
-repexpose.c:57:3: Undocumented modification of a->im: a->im = im
-
-Finished checking --- 12 code warnings, as expected
-
-repexpose.c: (in function abst_create)
-repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
- repexpose.c:5:12: Storage a may become null
-repexpose.c:13:3: Possible undocumented modification of p->parent through alias
- a->parent: a->parent = b->parent
-repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
- a->name = *globstring
-repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
- b->name = *globstring
- repexpose.c:16:3: Storage *globstring becomes kept
-repexpose.c:19:10: Storage a->name reachable from return value is kept (should
- be implicitly only)
- repexpose.c:17:3: Storage a->name becomes kept
-repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
-repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
- unqualified)
- repexpose.c:16:3: Storage *globstring becomes kept
-repexpose.c: (in function abst_name)
-repexpose.c:26:10: Function returns reference to parameter a: a->name
-repexpose.c:26:18: Released storage a->name reachable from parameter at return
- point
- repexpose.c:26:10: Storage a->name is released
-repexpose.c: (in function abst_aval)
-repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
-repexpose.c: (in function abst_parent)
-repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
-repexpose.c:45:25: Only storage a not released before return
- repexpose.c:40:24: Storage a becomes only
-repexpose.c: (in function immut_name)
-repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
-repexpose.c:51:10: Function returns reference to parameter im: (im->name)
-repexpose.c: (in function abst_setIm)
-repexpose.c:57:3: Undocumented modification of a->im: a->im = im
-
-Finished checking --- 15 code warnings, as expected
-
-repexpose.c: (in function abst_create)
-repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
- repexpose.c:5:12: Storage a may become null
-repexpose.c:10:3: Assignment of mutable parameter p to component of abstract
- type abst exposes rep: a->parent = p
-repexpose.c:11:3: Assignment of mutable parameter p (through alias b) to
- component of abstract type abst exposes rep: a->parent = b
-repexpose.c:12:3: Assignment of mutable component of parameter p to component
- of abstract type abst exposes rep: a->parent = p->parent
-repexpose.c:13:3: Possible undocumented modification of p->parent through alias
- a->parent: a->parent = b->parent
-repexpose.c:13:3: Assignment of mutable component of parameter p (through alias
- b->parent) to component of abstract type abst exposes rep:
- a->parent = b->parent
-repexpose.c:16:3: Assignment of global globstring to component of abstract type
- abst exposes rep: a->name = *globstring
-repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
- a->name = *globstring
-repexpose.c:17:3: Assignment of global globstring to component of abstract type
- abst exposes rep: b->name = *globstring
-repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
- b->name = *globstring
- repexpose.c:16:3: Storage *globstring becomes kept
-repexpose.c:19:10: Storage a->name reachable from return value is kept (should
- be implicitly only)
- repexpose.c:17:3: Storage a->name becomes kept
-repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
-repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
- unqualified)
- repexpose.c:16:3: Storage *globstring becomes kept
-repexpose.c: (in function abst_name)
-repexpose.c:26:10: Function returns reference to parameter a: a->name
-repexpose.c:26:10: Return value exposes rep of abst: a->name
-repexpose.c:26:18: Released storage a->name reachable from parameter at return
- point
- repexpose.c:26:10: Storage a->name is released
-repexpose.c: (in function abst_aval)
-repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
-repexpose.c:37:10: Return value exposes rep of abst: (&(a->val))
-repexpose.c: (in function abst_parent)
-repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
-repexpose.c:45:15: Return value exposes rep of abst: b->parent
-repexpose.c:45:15: Return value may expose rep of abst through alias a:
- b->parent
-repexpose.c:45:25: Only storage a not released before return
- repexpose.c:40:24: Storage a becomes only
-repexpose.c: (in function immut_name)
-repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
-repexpose.c:51:10: Function returns reference to parameter im: (im->name)
-repexpose.c:51:10: Return value exposes rep of immut: (im->name)
-repexpose.c: (in function abst_setIm)
-repexpose.c:57:3: Undocumented modification of a->im: a->im = im
-repexpose.lh:6:16: Variable globstring declared but not defined
-
-Finished checking --- 27 code warnings, as expected
+++ /dev/null
-
-sharing1.c: (in function f)
-sharing1.c:12:12: Only storage x not released before return
- sharing1.c:8:24: Storage x becomes only
-sharing1.c:13:2: Only storage x not released before return
- sharing1.c:8:24: Storage x becomes only
-sharing1.c: (in function f2)
-sharing1.c:19:12: Only storage y not released before return
- sharing1.c:15:43: Storage y becomes only
-sharing1.c: (in function f3)
-sharing1.c:24:3: Only storage x assigned to shared: globshared1 = x
- sharing1.c:22:25: Storage x becomes only
-sharing1.c:25:2: Only storage x not released before return
- sharing1.c:22:25: Storage x becomes only
-sharing1.c: (in function f4)
-sharing1.c:29:3: Only storage zonly (type int *) not released before
- assignment: zonly = x
- sharing1.c:6:19: Storage zonly becomes only
-sharing1.c: (in function g)
-sharing1.c:41:7: Implicitly temp storage imp passed as only param: f3 (imp)
-sharing1.c:42:4: Variable imp used after being released
- sharing1.c:41:7: Storage imp released
-sharing1.c:44:12: Immediate address &x passed as only param: f (&x, ...)
-sharing1.c:44:12: Parameter 1 (&x) to function f is declared only but is
- aliased by parameter 2 (&x)
-sharing1.c:48:14: Possibly null storage y3 passed as non-null param:
- f2 (y3, ...)
- sharing1.c:37:13: Storage y3 may become null
-sharing1.c:48:14: Passed storage y3 not completely defined (*y3 is undefined):
- f2 (y3, ...)
-sharing1.c:48:18: Parameter 2 (y3) to function f2 is declared only but is
- aliased by parameter 1 (y3)
-sharing1.c:50:4: Variable y3 used after being released
- sharing1.c:48:18: Storage y3 released
-sharing1.c:51:12: Possibly null storage y passed as non-null param: f (y, ...)
- sharing1.c:35:12: Storage y may become null
-sharing1.c:51:12: Passed storage y not completely defined (*y is undefined):
- f (y, ...)
-sharing1.c:52:12: Shared storage globshared1 passed as only param:
- f (globshared1, ...)
- sharing1.c:4:19: Storage globshared1 becomes shared
-sharing1.c:56:9: Shared storage globshared2 passed as only param:
- free (globshared2)
- sharing1.c:5:19: Storage globshared2 becomes shared
-sharing1.c:59:11: Variable y used after being released
- sharing1.c:51:12: Storage y released
-sharing1.c:59:13: Fresh storage y2 not released before return
- sharing1.c:36:33: Fresh storage y2 allocated
-sharing1.c:59:13: Function returns with global globonly referencing released
- storage
- sharing1.c:57:9: Storage globonly is released
-
-Finished checking --- 21 code warnings, as expected
-
-sharing3.c: (in function string_copy)
-sharing3.c:17:10: Implicitly temp storage s returned as only: s
-sharing3.c: (in function string_free1)
-sharing3.c:32:9: Implicitly temp storage s passed as only param: free (s)
-sharing3.c: (in function string_free3)
-sharing3.c:45:2: Fresh storage t not released before return
- sharing3.c:42:29: Fresh storage t allocated
-
-Finished checking --- 3 code warnings, as expected
-
-sharing4.c: (in function f)
-sharing4.c:18:3: Only storage globonly1 (type char *) not released before
- assignment: globonly1 = only1
- sharing4.c:1:20: Storage globonly1 becomes only
-sharing4.c:23:3: Only storage globonly4 (type char *) not released before
- assignment: globonly4 = shared1
- sharing4.c:4:20: Storage globonly4 becomes only
-sharing4.c:23:3: Shared storage shared1 assigned to only: globonly4 = shared1
- sharing4.c:14:26: Storage shared1 becomes shared
-sharing4.c:27:3: Only storage globonly5 assigned to shared:
- globshared1 = globonly5
- sharing4.c:5:20: Storage globonly5 becomes only
-sharing4.c:30:3: Only storage globonly1 assigned to shared (local1 aliases
- globonly1): globshared1 = local1
- sharing4.c:1:20: Storage globonly1 becomes only
-sharing4.c:30:3: Kept storage only1 assigned to shared (local1 aliases only1):
- globshared1 = local1
- sharing4.c:18:3: Storage only1 becomes kept
-sharing4.c:32:3: Only storage assigned to shared:
- globshared1 = string_copy(local1)
-sharing4.c:34:3: Temp storage temp2 assigned to shared: globshared2 = temp2
- sharing4.c:13:37: Storage temp2 becomes temp
-sharing4.c:35:3: Only storage globonly4 (type char *) not released before
- assignment: globonly4 = temp1
- sharing4.c:4:20: Storage globonly4 becomes only
-sharing4.c:35:3: Implicitly temp storage temp1 assigned to only:
- globonly4 = temp1
-sharing4.c:38:9: Shared storage shared1 passed as only param: free (shared1)
- sharing4.c:14:26: Storage shared1 becomes shared
-sharing4.c:42:12: Only storage only3 not released before return
- sharing4.c:12:72: Storage only3 becomes only
-sharing4.c:42:12: Function returns with global globonly3 referencing released
- storage
- sharing4.c:21:9: Storage globonly3 is released
-
-Finished checking --- 13 code warnings, as expected
-
-sharing4.c: (in function f)
-sharing4.c:18:3: Only storage globonly1 (type char *) not released before
- assignment: globonly1 = only1
- sharing4.c:1:20: Storage globonly1 becomes only
-sharing4.c:23:3: Only storage globonly4 (type char *) not released before
- assignment: globonly4 = shared1
- sharing4.c:4:20: Storage globonly4 becomes only
-sharing4.c:23:3: Shared storage shared1 assigned to only: globonly4 = shared1
- sharing4.c:14:26: Storage shared1 becomes shared
-sharing4.c:27:3: Only storage globonly5 assigned to shared:
- globshared1 = globonly5
- sharing4.c:5:20: Storage globonly5 becomes only
-sharing4.c:30:3: Only storage globonly1 assigned to shared (local1 aliases
- globonly1): globshared1 = local1
- sharing4.c:1:20: Storage globonly1 becomes only
-sharing4.c:30:3: Kept storage only1 assigned to shared (local1 aliases only1):
- globshared1 = local1
- sharing4.c:18:3: Storage only1 becomes kept
-sharing4.c:32:3: Only storage assigned to shared:
- globshared1 = string_copy(local1)
-sharing4.c:34:3: Temp storage temp2 assigned to shared: globshared2 = temp2
- sharing4.c:13:37: Storage temp2 becomes temp
-sharing4.c:35:3: Only storage globonly4 (type char *) not released before
- assignment: globonly4 = temp1
- sharing4.c:4:20: Storage globonly4 becomes only
-sharing4.c:38:9: Shared storage shared1 passed as only param: free (shared1)
- sharing4.c:14:26: Storage shared1 becomes shared
-sharing4.c:42:12: Only storage only3 not released before return
- sharing4.c:12:72: Storage only3 becomes only
-sharing4.c:42:12: Function returns with global globonly3 referencing released
- storage
- sharing4.c:21:9: Storage globonly3 is released
-
-Finished checking --- 12 code warnings, as expected
-
-sharing5.c: (in function f)
-sharing5.c:13:4: Variable only1 used after being released
- sharing5.c:12:9: Storage only1 released
-sharing5.c:22:5: Clauses exit with local2 referencing local storage in true
- branch, shared storage in false branch
- sharing5.c:21:7: Storage local2 becomes shared
-sharing5.c:24:9: Shared storage shared passed as only param (local2 aliases
- shared): free (local2)
- sharing5.c:5:27: Storage shared becomes shared
-sharing5.c:27:4: Dereference of possibly null pointer localp: *localp
- sharing5.c:26:12: Storage localp may become null
-sharing5.c:32:3: Fresh storage localp (type char **) not released before
- assignment: localp = &only3
- sharing5.c:26:3: Fresh storage localp allocated
-sharing5.c:33:2: Only storage only3 not released before return
- sharing5.c:4:73: Storage only3 becomes only
-
-Finished checking --- 6 code warnings, as expected
+++ /dev/null
-
-specclauses.c: (in function f)
-specclauses.c:24:28: Only storage r.name (type char *) derived from variable
- declared in this scope is not released (memory leak)
-specclauses.c:28:24: Undefined storage r.name corresponds to storage listed in
- uses clause of called function: r
-specclauses.c:28:28: Only storage name not released before return
- specclauses.c:17:49: Storage name becomes only
-specclauses.c:33:16: Allocated storage r.name corresponds to storage listed in
- defines clause of called function: &r
-specclauses.c:34:17: Only storage r.name (type char *) derived from variable
- declared in this scope is not released (memory leak)
-specclauses.c:40:23: Field r.name used after being released
- specclauses.c:39:17: Storage r.name released
-
-Finished checking --- 6 code warnings, as expected
-
-specclauses2.c:10:13: Allocates clauses includes r->year of non-dynamically
- allocated type int
-specclauses2.c: (in function allocYear)
-specclauses2.c:14:2: Unallocated storage r->year corresponds to storage listed
- in allocates clause
-specclauses2.c: (in function setName1)
-specclauses2.c:26:2: Undefined storage r->name corresponds to storage listed in
- defines clause
-specclauses2.c: (in function setName3)
-specclauses2.c:37:2: Undefined storage r->name corresponds to storage listed in
- sets clause
- This sub-reference is undefined: *(r->name)
-specclauses2.c: (in function setName4)
-specclauses2.c:42:3: Implicitly only storage r->name (type char *) not released
- before assignment: r->name = name
-specclauses2.c: (in function allocName2)
-specclauses2.c:54:2: Unallocated storage r->name corresponds to storage listed
- in allocates clause
-specclauses2.c: (in function freeName2)
-specclauses2.c:65:2: Unreleased storage r.name corresponds to storage listed in
- releases clause
-specclauses2.c: (in function freeName4)
-specclauses2.c:76:2: Unreleased storage r->name corresponds to storage listed
- in releases clause
-
-Finished checking --- 8 code warnings, as expected
-
-specclauses3.c:7:6: Special clause accesses field of non-struct or union result
- (int): *(result).name
-specclauses3.c: (in function badResult)
-specclauses3.c:12:10: Undefined storage <const ?>->name corresponds to storage
- result->name listed in defines clause: NULL
-specclauses3.c:12:10: Null storage returned as non-null: NULL
-specclauses3.c: (in function createName2)
-specclauses3.c:29:10: Undefined storage res->name corresponds to storage
- result->name listed in defines clause: res
-specclauses3.c:29:10: Possibly null storage res returned as non-null: res
- specclauses3.c:28:16: Storage res may become null
-specclauses3.c: (in function createName4)
-specclauses3.c:55:10: Unallocated storage res->name corresponds to storage
- result->name listed in allocates clause: res
-
-Finished checking --- 6 code warnings, as expected
-
-specclauses4.c: (in function usename)
-specclauses4.c:13:4: Dereference of null pointer *name: **name
- specclauses4.c:11:8: Storage *name becomes null
-specclauses4.c: (in function callname)
-specclauses4.c:27:12: Non-null storage *s corresponds to storage listed in
- requires isnull clause of called function: s
-specclauses4.c: (in function nullname2)
-specclauses4.c:42:2: Non-null storage *name corresponds to storage listed in
- ensures isnull clause
-
-Finished checking --- 3 code warnings, as expected
-
-specclauses5.c: (in function createrecord2)
-specclauses5.c:31:10: Null storage r->name derivable from return value: r
- specclauses5.c:30:14: Storage r->name becomes null
-specclauses5.c: (in function newrecord2)
-specclauses5.c:43:10: Non-observer storage r->name corresponds to storage
- result->name listed in ensures observer clause: r
-specclauses5.c: (in function createrecordx)
-specclauses5.c:49:10: Observer storage r->name reachable from unqualified
- return value
- specclauses5.c:48:27: Storage r->name becomes observer
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-special.c: (in function f)
-special.c:17:34: Variable c used before definition
-special.c:19:31: Format argument 1 to printf (%d) expects int gets long int: li
- special.c:19:17: Corresponding format code
-special.c:20:46: Format argument 2 to printf (%d) expects int gets long int: li
- special.c:20:21: Corresponding format code
-special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int:
- i
- special.c:20:25: Corresponding format code
-special.c:27:19: Variable s used before definition
-special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c
- special.c:29:24: Corresponding format code
-special.c:29:3: Format string for printf has 1 arg, given 2
-special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char:
- c
- special.c:30:34: Corresponding format code
-special.c:30:3: Format string for fprintf has 1 arg, given 2
-special.c:31:25: Format argument 1 to printf (%d) expects int gets char: c
- special.c:31:15: Corresponding format code
-special.c:31:28: Format argument 2 to printf (%f) expects double gets int: i
- special.c:31:18: Corresponding format code
-special.c:31:3: No argument corresponding to printf format code 3 (%f):
- "%% %d %f %f"
- special.c:31:21: Corresponding format code
-special.c:34:40: Format argument 1 to scanf (%d) expects int * gets int: i
- special.c:34:36: Corresponding format code
-special.c:37:54: Format argument 1 to fscanf (%d) expects int * gets int: i
- special.c:37:44: Corresponding format code
-special.c:37:57: Format argument 2 to fscanf (%c) expects char * gets char: c
- special.c:37:47: Corresponding format code
-special.c:37:60: Format argument 3 to fscanf (%s) expects char * gets char **:
- &s
- special.c:37:50: Corresponding format code
-special.c:40:10: Undocumented modification of gi possible from call to fscanf:
- fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
-special.c:40:10: Undocumented modification of gc possible from call to fscanf:
- fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
-special.c:40:10: Undocumented modification of gs possible from call to fscanf:
- fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
-special.c:42:10: Undocumented modification of gs possible from call to fscanf:
- fscanf(stdin, "hullo, welcome to %*23d %*c %s", gs)
-
-Finished checking --- 20 code warnings, as expected
-
-special.c: (in function f)
-special.c:17:34: Variable c used before definition
-special.c:19:31: Format argument 1 to printf (%d) expects int gets long int: li
- special.c:19:17: Corresponding format code
-special.c:20:43: Format argument 1 to printf (%ld) expects long int gets int: i
- special.c:20:18: Corresponding format code
-special.c:20:46: Format argument 2 to printf (%d) expects int gets long int: li
- special.c:20:21: Corresponding format code
-special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int:
- i
- special.c:20:25: Corresponding format code
-special.c:20:60: Format argument 5 to printf (%d) expects int gets short int:
- silly
- special.c:20:32: Corresponding format code
-special.c:27:19: Variable s used before definition
-special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c
- special.c:29:24: Corresponding format code
-special.c:29:3: Format string for printf has 1 arg, given 2
-special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char:
- c
- special.c:30:34: Corresponding format code
-special.c:30:3: Format string for fprintf has 1 arg, given 2
-special.c:31:25: Format argument 1 to printf (%d) expects int gets char: c
- special.c:31:15: Corresponding format code
-special.c:31:28: Format argument 2 to printf (%f) expects double gets int: i
- special.c:31:18: Corresponding format code
-special.c:31:3: No argument corresponding to printf format code 3 (%f):
- "%% %d %f %f"
- special.c:31:21: Corresponding format code
-special.c:34:40: Format argument 1 to scanf (%d) expects int * gets int: i
- special.c:34:36: Corresponding format code
-special.c:37:54: Format argument 1 to fscanf (%d) expects int * gets int: i
- special.c:37:44: Corresponding format code
-special.c:37:57: Format argument 2 to fscanf (%c) expects char * gets char: c
- special.c:37:47: Corresponding format code
-special.c:37:60: Format argument 3 to fscanf (%s) expects char * gets char **:
- &s
- special.c:37:50: Corresponding format code
-special.c:40:10: Undocumented modification of gi possible from call to fscanf:
- fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
-special.c:40:10: Undocumented modification of gc possible from call to fscanf:
- fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
-special.c:40:10: Undocumented modification of gs possible from call to fscanf:
- fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
-special.c:42:10: Undocumented modification of gs possible from call to fscanf:
- fscanf(stdin, "hullo, welcome to %*23d %*c %s", gs)
-
-Finished checking --- 22 code warnings, as expected
+++ /dev/null
-
-stack.c: (in function stack1)
-stack.c:10:2: Stack-allocated storage *x reachable from parameter x
- stack.c:9:3: Storage *x becomes stack
-stack.c:10:2: Stack-allocated storage glob reachable from global glob
- stack.c:8:3: Storage glob becomes stack
-stack.c: (in function f)
-stack.c:20:14: Stack-allocated storage &x reachable from return value: &x
-stack.c:31:11: Stack-allocated storage sa reachable from return value: sa
-stack.c:35:11: Stack-allocated storage sa reachable from return value: &sa[0]
-
-Finished checking --- 5 code warnings, as expected
-
-Finished checking --- no warnings
+++ /dev/null
-
-staticarray.c: (in function foo1)
-staticarray.c:9:10: Unqualified static storage buf returned as implicitly only:
- buf
-staticarray.c: (in function f)
-staticarray.c:22:10: Implicitly temp storage outstr returned as implicitly
- only: outstr
-staticarray.c: (in function g)
-staticarray.c:27:10: Implicitly temp storage outstr returned as implicitly
- only: outstr
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-strchr.c: (in function func)
-strchr.c:6:4: Dereference of possibly null pointer c: *c
- strchr.c:5:7: Storage c may become null
-strchr.c:6:3: Suspect modification of observer c: *c = 'd'
-
-Finished checking --- 2 code warnings, as expected
+++ /dev/null
-
-strings.c:21:6: Function main declared to return void, should return int
-strings.c: (in function main)
-strings.c:24:14: Function call may modify observer: "hullo"
-strings.c:25:7: Observer storage passed as only param: f3 ("hullo")
- strings.c:25:7: Storage becomes observer
-
-Finished checking --- 3 code warnings, as expected
-
-strings.c:21:6: Function main declared to return void, should return int
-
-Finished checking --- 1 code warning, as expected
-
-strings.c: (in function main)
-strings.c:23:14: Call to unconstrained function f1 may modify observer: "hullo"
- strings.c:23:14: Storage becomes observer
-strings.c:24:14: Function call may modify observer: "hullo"
-strings.c:25:7: Call to unconstrained function f3 may modify observer: "hullo"
- strings.c:25:7: Storage becomes observer
-strings.c:25:7: Observer storage passed as only param: f3 ("hullo")
- strings.c:25:7: Storage becomes observer
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-structassign.c: (in function copyrecord)
-structassign.c:15:15: Released storage x.name reachable from parameter at
- return point
- structassign.c:14:19: Storage x.name is released
-structassign.c: (in function copyrecord2)
-structassign.c:23:15: Released storage x.name reachable from parameter at
- return point
- structassign.c:22:3: Storage x.name is released
-structassign.c: (in function copyrecord3)
-structassign.c:28:12: Released storage x.name reachable from parameter at
- return point
- structassign.c:28:12: Storage x.name is released
-structassign.c: (in function main)
-structassign.c:45:14: Only storage rc.name (type char *) derived from variable
- declared in this scope is not released (memory leak)
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-Finished checking --- no warnings
-
-enumtest.c:1:9: Variable exported but not used outside enumtest: sig_func
-enumtest.c:2:10: Variable exported but not used outside enumtest: sig_func1
-
-Finished checking --- 2 code warnings, as expected
-
-duffs.c: (in function send)
-duffs.c:7:8: Fall through case (no preceding break)
-duffs.c:8:8: Fall through case (no preceding break)
-duffs.c:9:8: Fall through case (no preceding break)
-duffs.c:10:8: Fall through case (no preceding break)
-duffs.c:11:8: Fall through case (no preceding break)
-duffs.c:12:8: Fall through case (no preceding break)
-duffs.c:13:8: Fall through case (no preceding break)
-
-Finished checking --- 7 code warnings, as expected
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-bug2.c: (in function main)
-bug2.c:6:8: Fall through case (no preceding break)
-bug2.c:10:10: Fall through case (no preceding break)
-bug2.c:16:8: Fall through case (no preceding break)
-bug2.c:5:5: Statement after switch is not a case: printf("here 1")
-bug2.c:20:2: Path with no return in function declared to return int
-
-Finished checking --- 5 code warnings, as expected
-
-bug3.c: (in function main)
-bug3.c:8:8: Fall through case (no preceding break)
-bug3.c:12:21: Variable j used before definition
-bug3.c:13:2: Path with no return in function declared to return int
-
-Finished checking --- 3 code warnings, as expected
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-hexconstants.c: (in function f)
-hexconstants.c:5:10: Return value type unsigned int does not match declared
- type int: m1 + m2
-
-Finished checking --- 1 code warning, as expected
-
-hexconstants.c: (in function f)
-hexconstants.c:2:21: Variable m1 initialized to type int, expects unsigned int:
- 0xFF
-hexconstants.c:3:21: Variable m2 initialized to type int, expects unsigned int:
- 0142
-hexconstants.c:5:10: Return value type unsigned int does not match declared
- type int: m1 + m2
-hexconstants.c:1:5: Function f exported but not declared in header file
- hexconstants.c:6:1: Definition of f
-
-Finished checking --- 4 code warnings, as expected
-
-innercomment.c:1:17: Comment starts inside comment
-innercomment.c:16:3: Comment starts inside comment
-
-Finished checking --- 2 code warnings, as expected
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-offsetof.c: (in function f)
-offsetof.c:10:3: Assignment of size_t to int: m = offsetof(S,u)
-offsetof.c:12:26: Deep field k in offsetof is not the name of a field of struct
- { int m; }: offsetof(S,u.s.k)
-
-Finished checking --- 2 code warnings, as expected
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-error.c:5:9: Variable x initialized to type char, expects int: 'a'
-
-Finished checking --- 1 code warning, as expected
-
-ulrich.c: (in function utl_calloc)
-ulrich.c:14:13: Possibly null storage newblock returned as non-null: newblock
- ulrich.c:12:16: Storage newblock may become null
-
-Finished checking --- 1 code warning, as expected
-
-cpptest.c: (in function test)
-cpptest.c:2:11: Variable x initialized to type char, expects int: 'a'
-
-Finished checking --- 1 code warning, as expected
-
-longlong.c: (in function llf)
-longlong.c:2:11: Variable m initialized to type long long, expects int: llx
-longlong.c:3:3: Assignment of long long to int: m = 243LL
-longlong.c:6:3: Assignment of long long to long int: lx = 5234LL
-longlong.c:9:3: Assignment of long long to long int: lx = llx
-
-Finished checking --- 4 code warnings, as expected
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-alignof.c: (in function f)
-alignof.c:2:23: Variable m initialized to type size_t, expects int: alignof(x)
-alignof.c:3:23: Variable n initialized to type size_t, expects int:
- alignof((x))
-
-Finished checking --- 2 code warnings, as expected
-
-Spec file not found: DBL_MANT_DIG=25.lcl
-Command Line: Malformed option `-D'
-Cannot open file: DBL_MANT_DIG=25.c
-Cannot open file: source.c
-
-Finished checking --- no code processed
+++ /dev/null
-
-Finished checking --- no warnings
-
-boolt.c: (in function test)
-boolt.c:7:16: Function test expects arg 1 to be pan_bool_t gets int: 2
-
-Finished checking --- 1 code warning, as expected
-
-uconstants.c: (in function f)
-uconstants.c:2:16: Variable x0 declared but not used
-uconstants.c:3:21: Variable x1 declared but not used
-
-Finished checking --- 2 code warnings, as expected
-
-hoof.c: (in function main)
-hoof.c:12:16: Function init_arr expects arg 2 to be long int * gets int *: &j
-
-Finished checking --- 1 code warning, as expected
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-booltest.c: (in function f)
-booltest.c:8:7: Test expression for if not bool, type int: i
-booltest.c:9:12: Return value type int does not match declared type bool: i
-
-Finished checking --- 2 code warnings, as expected
-
-Finished checking --- no warnings
-
-booltest.c: (in function f)
-booltest.c:9:12: Return value type int does not match declared type bool: i
-
-Finished checking --- 1 code warning, as expected
-
-Finished checking --- no warnings
-
-Finished checking --- no warnings
-
-immutable.c: (in function immutable_create)
-immutable.c:7:6: Arrow access from possibly null pointer res: res->x
- immutable.c:5:19: Storage res may become null
-immutable.c:8:10: Fresh storage returned as unqualified (should be only): res
- immutable.c:5:54: Fresh storage res allocated
-
-Finished checking --- 2 code warnings, as expected
-
-impabsmodule.c: (in function isTwo)
-impabsmodule.c:10:7: Variable var used before definition
-impabsmodule.c:10:12: Variable var2 used before definition
-
-Finished checking --- 2 code warnings, as expected
;;; Splint Library newlint.lcd
-;;Splint 3.0.1.1 --- 09 Jan 2002
+;;Splint 3.0.1.2 --- 09 Jan 2002
;;lib:298
;;ctTable
0 u-2 19 38
+++ /dev/null
-
-tq.h:3:45: Datatype tmixm inconsistently declared as immutable
- tq.lcl:3:1: Specification of tmixm
-tq.h:4:45: Datatype tmixa inconsistently declared as abstract type
- tq.lcl:5:14: Specification of tmixa
-tq.h:5:45: Datatype tmixi inconsistently declared as mutable
- tq.lcl:4:1: Specification of tmixi
-typequals.c: (in function f)
-typequals.c:6:4: Operand of * is abstract type (tam): *xtam
-typequals.c:7:4: Operand of * is abstract type (tai): *xtai
-
-Finished checking --- 5 code warnings, as expected
-
-typequals.c: (in function f)
-typequals.c:6:4: Operand of * is abstract type (tam): *xtam
-typequals.c:7:4: Operand of * is abstract type (tai): *xtai
-
-Finished checking --- 2 code warnings, as expected
+++ /dev/null
-
-ud.c: (in function f)
-ud.c:8:7: Variable y used before definition
-ud.c:10:7: Variable z used before definition
-ud.c:25:7: Variable z3 used before definition
-ud.c:26:7: Variable z4 used before definition
-ud.c:31:7: Variable z6 used before definition
-ud.c:38:11: Variable j used before definition
-ud.c:49:6: Variable i used before definition
-ud.c:50:6: Variable z5 used before definition
-ud.c:56:7: Variable z5 used before definition
-
-Finished checking --- 9 code warnings, as expected
-
-ud2.c: (in function g)
-ud2.c:9:6: Unallocated storage y passed as out parameter to f1: y
-ud2.c: (in function h)
-ud2.c:20:7: Passed storage &x not completely defined: f2 (&x)
-ud2.c:23:7: Variable y used before definition
-
-Finished checking --- 3 code warnings, as expected
+++ /dev/null
-
-ulstypes.c:3:23: Contradictory long and short type qualifiers
-ulstypes.c: (in function f)
-ulstypes.c:10:12: Function f expects arg 1 to be unsigned int gets long int: li
-ulstypes.c:10:3: Assignment of long int to int: loc = f(li)
-ulstypes.c:11:3: Assignment of long int to int: loc = f(ui)
-ulstypes.c:12:12: Function f expects arg 1 to be unsigned int gets int: loc
-ulstypes.c:12:3: Assignment of long int to int: loc = f(loc)
-ulstypes.c:15:10: Return value type unsigned int does not match declared type
- long int: x
-ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int:
- -15
-
-Finished checking --- 8 code warnings, as expected
-
-Finished checking --- no warnings
-
-ulstypes.c:3:23: Contradictory long and short type qualifiers
-ulstypes.c: (in function f)
-ulstypes.c:7:19: Variable loli initialized to type int, expects long int: 12
-ulstypes.c:10:12: Undocumented use of global li
-ulstypes.c:10:12: Function f expects arg 1 to be unsigned int gets long int: li
-ulstypes.c:10:9: Undetected modification possible from call to unconstrained
- function f: f
-ulstypes.c:10:3: Assignment of long int to int: loc = f(li)
-ulstypes.c:11:12: Undocumented use of global ui
-ulstypes.c:11:9: Undetected modification possible from call to unconstrained
- function f: f
-ulstypes.c:11:3: Assignment of long int to int: loc = f(ui)
-ulstypes.c:12:12: Function f expects arg 1 to be unsigned int gets int: loc
-ulstypes.c:12:9: Undetected modification possible from call to unconstrained
- function f: f
-ulstypes.c:12:3: Assignment of long int to int: loc = f(loc)
-ulstypes.c:14:3: Assignment of int to long int: loli = loc
-ulstypes.c:15:10: Return value type unsigned int does not match declared type
- long int: x
-ulstypes.c:19:19: Variable x2 initialized to type int, expects unsigned int: 23
-ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int:
- -15
-ulstypes.c:24:16: Variable x7 initialized to type int, expects short int: 14
-ulstypes.c:3:21: Variable si declared but not used
-ulstypes.c:18:14: Variable x1 declared but not used
-ulstypes.c:19:14: Variable x2 declared but not used
-ulstypes.c:20:14: Variable x3 declared but not used
-ulstypes.c:21:14: Variable x4 declared but not used
-ulstypes.c:22:10: Variable x5 declared but not used
-ulstypes.c:23:10: Variable x6 declared but not used
-ulstypes.c:24:11: Variable x7 declared but not used
-ulstypes.c:1:14: Variable exported but not used outside ulstypes: ui
-ulstypes.c:2:10: Variable exported but not used outside ulstypes: li
-ulstypes.c:5:10: Function exported but not used outside ulstypes: f
- ulstypes.c:16:1: Definition of f
-
-Finished checking --- 28 code warnings, as expected
+++ /dev/null
-
-union.c: (in function ut_create1)
-union.c:16:10: Returned union *u has no defined field
-union.c: (in function ut_create4)
-union.c:40:3: Implicitly temp storage t assigned to implicitly only: u->ox = t
-union.c: (in function ut_create5)
-union.c:48:3: Implicitly temp storage t assigned to dependent: u->dx = t
-union.c: (in function ut_create6)
-union.c:57:10: Returned storage u->st contains 2 undefined fields: b, ip
-union.c: (in function ut_create7)
-union.c:66:3: Implicitly temp storage p assigned to implicitly only:
- u->st.ip = p
-union.c: (in function ut_mangle1)
-union.c:73:2: Released storage u->ox reachable from parameter at return point
- union.c:72:9: Storage u->ox is released
-union.c: (in function ut_mangle2)
-union.c:78:2: Released storage u->st.ip reachable from parameter at return
- point
- union.c:77:9: Storage u->st.ip is released
-union.c: (in function ut_mangle3)
-union.c:84:2: Released storage u->st.ip reachable from parameter at return
- point
- union.c:82:9: Storage u->st.ip is released
-
-Finished checking --- 8 code warnings, as expected
+++ /dev/null
-
-unreachable.c: (in function f)
-unreachable.c:6:4: Unreachable code: x++
-unreachable.c: (in function tu)
-unreachable.c:21:7: Unreachable code: return
-unreachable.c: (in function s)
-unreachable.c:33:29: Unreachable code: z--
-unreachable.c:34:10: Fall through case (no preceding break)
-unreachable.c:45:4: Unreachable code: z++
-
-Finished checking --- 5 code warnings, as expected
-
-unreachable.c: (in function s)
-unreachable.c:34:10: Fall through case (no preceding break)
-unreachable.c:46:2: Path with no return in function declared to return int
-
-Finished checking --- 2 code warnings, as expected
-
-switch.c: (in function f3)
-switch.c:31:2: Path with no return in function declared to return int
-switch.c: (in function f5)
-switch.c:49:6: Missing case in switch: THREE
-switch.c:50:2: Path with no return in function declared to return int
-switch.c: (in function f6)
-switch.c:70:2: Path with no return in function declared to return int
-
-Finished checking --- 4 code warnings, as expected
+++ /dev/null
-
-unused.c:13:6: Name _inner is in the implementation name space (any identifier
- beginning with underscore)
-unused.c:14:2: Name _st is in the implementation name space (any identifier
- beginning with underscore)
-unused.c:19:12: File static function f declared but not used
- unused.c:22:1: Definition of f
-unused.c:16:12: Function undef declared but not defined
-unused.c:16:12: Function undef exported but not declared in header file
-
-Finished checking --- 5 code warnings, as expected
-
-unused.c:13:6: Name _inner is in the implementation name space (any identifier
- beginning with underscore)
-unused.c:14:2: Name _st is in the implementation name space (any identifier
- beginning with underscore)
-unused.c:19:12: File static function f declared but not used
- unused.c:22:1: Definition of f
-unused.c:16:12: Function undef declared but not defined
-unused.c:1:14: Type dumbtype declared but not used
-unused.c:12:11: Field silly of structure struct _inner declared but not used
-unused.c:7:7: Field dumb of structure struct _st declared but not used
-unused.c:16:12: Function undef exported but not declared in header file
-
-Finished checking --- 8 code warnings, as expected
andersk / splint.git / commitdiff
