On Mon, 24 Jun 2019 at 22:02, Martin Jambor wrote:
>
> Hi,
>
> in August 2016 Prathamesh implemented inter-procedural propagation of
> known non-zero bits on integers. In August that same year he then also
> added the ability to track it for pointer, replacing separate alignment
> tracking.
>
>
Hi,
in August 2016 Prathamesh implemented inter-procedural propagation of
known non-zero bits on integers. In August that same year he then also
added the ability to track it for pointer, replacing separate alignment
tracking.
However, we still have an assert in ipcp_bits_lattice::meet_with
