1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
<h3>LCLint Output</h3>
<pre>
LCLint 2.2 --- 25 Aug 96
order.c: (in function f)
<A HREF="order.c.html#line11" target="source">order.c:11,17</A>: Expression has undefined behavior
(value of right operand modified by left operand):
x++ * x
Code has unspecified behavior. Order of evaluation
of function parameters or subexpressions is not
defined, so if a value is used and modified in
different places not separated by a sequence point
constraining evaluation order, then the result of
the expression is unspecified. (-evalorder will
suppress message)
<A HREF="order.c.html#line13" target="source">order.c:13,11</A>: Expression has undefined behavior (left
operand uses i, modified by right operand):
y[i] = i++
<A HREF="order.c.html#line14" target="source">order.c:14,20</A>: Expression has undefined behavior
(value of right operand modified by left operand):
modglob() * glob
<A HREF="order.c.html#line15" target="source">order.c:15,20</A>: Expression has undefined behavior
(unconstrained function mystery used in left
operand may set global variable glob used in right
operand): mystery() * glob
Code involving a call to function with no modifies
or globals clause may have undefined or
implementation-dependent behavior (LCLint assumes
the unconstrained call may modify any reachable
state or use any global). Add a specification for
the function. (-evalorderuncon will suppress
message)
Finished LCLint checking --- 4 code errors found
</pre>
</html>
|
