Re: expr integer format always decimal?

[Andreas Schwab]

address@hidden (Bob Proulx) writes:

> Andreas Schwab wrote:
>> Bob Proulx writes:
>> > Paul Eggert wrote:
>> >> So, under your interpretation, "expr 010" would print 8, but "expr 010
>> >> + 0" would print 10?  That doesn't sound right to me.
>> >
>> > My question was why couldn't a conforming implementation interpret 010
>> > as octal and therefore print a decimal 8?
>> 
>> 010 is surely a valid decimal number.
>
> Ha!  (read with a smile)  'printf' does not think so.

printf is not expr.  The description of expr only talks about decimal
numbers and does not make leading zeros special.  IMHO this leaves no room
for undefined behaviour.

Andreas.

-- 
Andreas Schwab, SuSE Labs, address@hidden
SuSE Linux AG, Maxfeldstraße 5, 90409 Nürnberg, Germany
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."