[ipa-vrp] Use get/set_ptr_nonnull in ipa-vrp

kugan kugan.vivekanandarajah@linaro.org
Wed Oct 12 06:54:00 GMT 2016


Hi,

This patch uses the get/set_ptr_nonnull so that ipa-vrp also propagates 
nonnull ranges for pinter.

Bootstrapped and regression tested this with other patched without any 
new regressions on x86_64-linux-gnu.

Is this OK for trunk?

Thanks,
Kugan




gcc/ChangeLog:

2016-10-12  Kugan Vivekanandarajah  <kugan.vivekanandarajah@linaro.org>

	* ipa-prop.c (ipa_compute_jump_functions_for_edge): Set value range
	  for pointer type too.
	(ipcp_update_vr): set_ptr_nonnull for pointer.

gcc/testsuite/ChangeLog:

2016-10-12  Kugan Vivekanandarajah  <kugan.vivekanandarajah@linaro.org>

	* gcc.dg/ipa/vrp4.c: New test.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Set-nonnull-range-for-pointer-type.patch
Type: text/x-patch
Size: 3597 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20161012/2324dadd/attachment.bin>


More information about the Gcc-patches mailing list