On Sun, 17 Jan, 2016 at 20:25:36 GMT, John Keeping wrote:
> We're using "util" as a counter here, not a pointer. But it's declared
> as "void*" so Coverity doesn't like this.
>
> We could try adding in some casts to uintptr_t but that's pretty
> hideous. Otherwise we need to allocate an unsigned int for the "util"
> field or just ignore Coverity.
Incrementing a void* is undefined behavior (what is the step size?).
https://stackoverflow.com/questions/6449935/increment-void-pointer-by-one-byte-by-two
--Ben
_______________________________________________
CGit mailing list
CGit@lists.zx2c4.com
http://lists.zx2c4.com/mailman/listinfo/cgit
