]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
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) | |
11 | ||
12 | Finished LCLint checking --- 4 code errors found, as expected | |
13 | ||
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) | |
25 | ||
26 | Finished LCLint checking --- 5 code errors found, as expected | |
27 | ||
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 | |
d46ce6a4 | 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. | |
53 | Abort (core dumped) |