On Tue, Nov 11, 2014 at 4:51 AM, Patrick Palka wrote:
> Hi,
>
> This patch tweaks the VRP code to simply inspect the need_assert_for
> bitmap when determining whether any asserts need to be inserted.
> Consequently we no longer have to manually keep track of whether a call
> to register_new_assert
Hi,
This patch tweaks the VRP code to simply inspect the need_assert_for
bitmap when determining whether any asserts need to be inserted.
Consequently we no longer have to manually keep track of whether a call
to register_new_assert_for() was made.
This patch is an updated version of a patch that