On 09/11/2022 23:34, Guy Harris via tz wrote:
On Nov 9, 2022, at 3:07 PM, Clive D.W. Feather via tz <tz@iana.org> wrote:
trap representation.
Does the C specification allow for a C implementation on a hypothetical load-store architecture machine in which:
a byte is 8 bits plus an "initialized bit";
the "uninitialize" instruction has a memory-location operand, and clears the initialized bit;
a store instruction set the initialized bit on all bytes to which it stores;
a load instruction traps if any of the bytes from which it's loading doesn't have the initialized bit set?
Uninitialized objects may be smaller than a byte, so this hypothetical machine would require one "initialized" flag per bit, not one per byte. -- -=( Ian Abbott <abbotti@mev.co.uk> || MEV Ltd. is a company )=- -=( registered in England & Wales. Regd. number: 02862268. )=- -=( Regd. addr.: S11 & 12 Building 67, Europa Business Park, )=- -=( Bird Hall Lane, STOCKPORT, SK3 0XA, UK. || www.mev.co.uk )=-