|
From: Julian S. <js...@ac...> - 2011-07-01 07:00:42
|
On Thursday, June 30, 2011, Szabolcs Nagy wrote:
> in a custom allocator like
>
> int *alloczero() {
> int *p = malloc(sizeof *p);
>
> if (*p)
> *p = 0;
> return p;
> }
>
> valgrind reports 'conditional jump..'
> at line 'if (*p)', which is correct
> and easy to suppress
>
> but later whereever i read *p i get
> '..uninitialised' value errors
> eventhough it's clearly provably 0
Really? Can you send a complete test program that demonstrates this?
J
|