[Info-vax] VAX Macro to C conversion

[Arne Vajhøj]

On 7/12/2019 8:43 PM, Arne Vajhøj wrote:
> On 7/12/2019 10:06 AM, Bob Koehler wrote:
>>     I think it just implemented pointers as more than addresses.
> 
> If a pointer becomes a structure with:
> * start address of array
> * element type
> * element size
> * number of elements in array
> * index of element pointed to
> then it would be possible to check some things done with pointers.

The above is supposedly called a "fat pointer" approach.

Per this research paper that recommend an alternative
approaching involving an ISA change:

https://www.microsoft.com/en-us/research/uploads/prod/2019/07/Pointer-Tagging-for-Memory-Safety.pdf

Arne