Commit 5d6e6f07 authored by Matthias Braun's avatar Matthias Braun
Browse files

leverage bitinfo in value_not_zero test

parent 2c0ceac3
......@@ -225,6 +225,10 @@ confirmed:
if (is_Alloc(n))
return true;
const bitinfo *bi = get_bitinfo(n);
if (bi != NULL && !tarval_is_null(bi->o))
return true;
/* for all we know the value may be null */
return false;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment