2 argorder.c: (in function f)
3 argorder.c:8:20: Argument 2 modifies z, used by argument 3 (order of evaluation
4 of actual parameters is undefined): printf("%d %d", z++, z)
5 argorder.c:10:13: Argument 1 modifies i, used by argument 2 (order of
6 evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j)
7 argorder.c:10:13: Argument 1 modifies j, used by argument 3 (order of
8 evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j)
9 argorder.c:10:25: Argument 2 modifies i, used by argument 1 (order of
10 evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j)
12 Finished LCLint checking --- 4 code errors found, as expected
14 argorder2.c: (in function g)
15 argorder2.c:16:12: Argument 1 modifies i, used by argument 2 (order of
16 evaluation of actual parameters is undefined): f(f(1, 2), f(1, 2))
17 argorder2.c:16:21: Argument 2 modifies i, used by argument 1 (order of
18 evaluation of actual parameters is undefined): f(f(1, 2), f(1, 2))
19 argorder2.c:17:12: Argument 1 modifies i, used by argument 2 (order of
20 evaluation of actual parameters is undefined): f(f(1, 2), h())
21 argorder2.c:18:12: Argument 1 modifies i, used by argument 2 (order of
22 evaluation of actual parameters is undefined): f(f(1, 2), i)
23 argorder2.c:19:14: Argument 1 modifies i, used by argument 2 (order of
24 evaluation of actual parameters is undefined): f(i++, i)
26 Finished LCLint checking --- 5 code errors found, as expected
28 argorder3.c: (in function f)
29 argorder3.c:7:8: Expression has undefined behavior (value of left operand is
30 modified by right operand): i = i++
31 argorder3.c:8:11: Expression has undefined behavior (left operand uses i,
32 modified by right operand): a[i] = i++
33 argorder3.c:9:12: Expression has undefined behavior (value of right operand
34 modified by left operand): a[i++] = i
35 argorder3.c:10:13: Expression has undefined behavior (value of right operand
36 modified by left operand): i++ * i
37 argorder3.c:11:12: Expression has undefined behavior (value of left operand is
38 modified by right operand): i * i++
39 argorder3.c:12:14: Expression has undefined behavior (left operand uses i,
40 modified by right operand): --i * ++i
41 argorder3.c:12:14: Expression has undefined behavior (left operand modifies i,
42 used by right operand): --i * ++i
43 argorder3.c:13:2: Path with no return in function declared to return int
44 constraintExpr.c:307: at source point
45 argorder3.c:13:2: *** Internal Bug at constraintExpr.c:307: llassert failed:
46 constraintExprData_isDefined(data) [errno: 25]
47 *** Last code point: exprNode.c:8881
48 *** Previous code point: aliasChecks.c:3664
49 Possible system error diagnostic: : Inappropriate ioctl for device
50 *** Please report bug to lclint-bug@cs.virginia.edu ***
51 (attempting to continue, results may be incorrect)
52 lclint: llerror.c:1204: llbugaux: Assertion `0' failed.