fix issue3

p0.f = tainted_value; ——————————— p0.f is tainted
p1 = p0; ————————————————- p1.f is an alias ********************bug
issue3
sink(p1.f); ————————————————