Question about sequence points 2

[spibou]

In clause 3 of 7.1.4 of N1124 we read:

There is a sequence point immediately before
a library function returns.

If some function is written in C is the above not guaranteed
anyway from the other rules regarding sequence points ?
My reasoning is that there is going to be a sequence point
just after the last statement or initialization executed before
the function returns.

So does the above clause exist simply to cover the case where
a library function is not implemented in C ?


Spiros Bousbouras

 

[lawrence.jones]

In clause 3 of 7.1.4 of N1124 we read:

There is a sequence point immediately before
a library function returns.

If some function is written in C is the above not guaranteed
anyway from the other rules regarding sequence points ?
Yes.

So does the above clause exist simply to cover the case where
a library function is not implemented in C ?

Yes.

-Larry Jones

But Mom, frogs are our FRIENDS! -- Calvin