That said, yes, restrict was added for this kind of thing.
I'm sure he cackled into his pocket protector at the recent PHP/Java/gcc floating point parsing fiasco.
That said, yes, restrict was added for this kind of thing.