Morten,
BINOP[+]
<tree for p>
BINOP[*]
IMPLICIEDT_CAST[ptrdiff_t]
<tree for i>
VAL[sizeof(*p)]
I don't think you want ptrdiff_t there. It isn't guaranteed to
be big enough.
It is also a signed type.
size_t should do, though.
This is an unsigned type, so the wrap around behavior is defined.
But do you really want to map a small negative index into a large
positive one?
You probably have to use intptr_t and uintptr_t.
On the other hand if sizeof(size_t) == sizeof(type_of(tree for i))
is an implicit cast needed?
--
Derek M. Jones tel: +44 (0) 1252 520 667
Knowledge Software Ltd mailto:derek@xxxxxxxxxxxx
Applications Standards Conformance Testing http://www.knosof.co.uk
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
