Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Order of expression evaluation in C

Tags:

c

c89

If I have the following expression:

c = (a) * (b)

What does the C90 standard say about the order evaluation of the subexpression 'a' and 'b'?

like image 515
Bruce Avatar asked Feb 24 '12 20:02

Bruce


2 Answers

There is no specified order since the multiplication operator is not a sequence point. Sequence points include the comma operator, the end of a full expression, and function calls. Thus the order of evaluation of (a) and (b) is up to the compiler implementation. Therefore you shouldn't attempt to-do something in (a) that would have a side-effect that you want to be seen in (b) in order to generate a valid result.

For instance:

int a=5;
int b = (a++) * (a++); //<== Don't do this!!

If you want a full-listing of sequence points for C, you can check out a more thorough reference here.

like image 107
Jason Avatar answered Sep 19 '22 04:09

Jason


The evaluation order of the operands of the * binary operator is unspecified in C90.

Here is the relevant paragraph from the C90 Standard (as the question asked about C90):

(C90, 6.3) "Except as indicated by the syntax or otherwise specified later (for the function-call operator (), &&, ||, ?:, and comma operators). the order of evaluation of subexpressions and the order in which side effects take place are both unspecitied"

For the * operator, if we take an example with side-effect operands like:

c =  f() * g();

the implementation can call f() first or g() first:

a = f();
b = g();
c = a * b;

or

a = g();
b = f();
c = a * b;

Both are valid translations.

like image 20
ouah Avatar answered Sep 18 '22 04:09

ouah