ptr-int-transitivity-1.ll 488 Bytes