[comp.arch] Compilers and programming style

tim@nucleus.amd.com (Tim Olson) (01/11/90)

In article <540@bbxsda.UUCP> scott@bbxsda.UUCP (Scott Amspoker) writes:
| In article <28716@amdcad.AMD.COM> tim@amd.com (Tim Olson) writes:
| >The integer pointed to by p should be accessed from memory and thrown
| >away (this may be useful in talking to certain peripheral devices).
|
|By "should" I assume you mean that this is in the ANSI specification?

That's how I read section 2.1.2.3 (Program exection), which says:

	In the abstract machine, all expressions are evaluated as
	specified by the semantics.  An actual implementation need not
	evaluate part of an expression if it can deduce that its value
	is not used and that no needed sde effects are produced
	(including any caused by calling a function or accessing a
	volatile object).


	-- Tim Olson
	Advanced Micro Devices
	(tim@amd.com)