On 03/20/2018 06:08 AM, Tom de Vries wrote:
> On 02/20/2018 06:33 PM, Steve Ellcey wrote:
>> +@deftypefn {Built-in Function} Pmode __builtin_extend_pointer (void * x)
>> +On targets where the user visible pointer size is different than the
>> size
>> +of an actual hardware address this function returns the extended user
>> +pointer. Targets where this is true included ILP32 mode on x86_64 or
>> +Aarch64. This function is mainly useful when writing inline assembly
>> +code.
>> +@var{addr}
>> +@end deftypefn
>
> Hi,
>
> I think the "@var{addr}" bit is a pasto.
Agreed. And a patch to remove the pasto is pre-approved.
jeff
