2016-05-06 Richard Biener <rguenther@suse.de>

	PR tree-optimization/70948
	* tree-ssa-structalias.c (find_func_aliases_for_builtin_call):
	Properly clobber all fields of va_list for __builtin_va_start.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235963 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8f3679a52b31f063b2d2fa5330194f7604554bd3..4f7ad75da01890804d29b6e9679336d940d37efc 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-05-06  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/70948
+       * tree-ssa-structalias.c (find_func_aliases_for_builtin_call):
+       Properly clobber all fields of va_list for __builtin_va_start.
+
 2016-05-06  Yuri Rumyantsev  <ysrumyan@gmail.com>
 
        PR debug/70935

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index d66bdfa94ce52667c555076fd3271af08debfce5..3956efd476661f9f3028f7f63dc1500a2343e80f 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -4492,7 +4492,7 @@ find_func_aliases_for_builtin_call (struct function *fn, gcall *t)
          tree valist = gimple_call_arg (t, 0);
          struct constraint_expr rhs, *lhsp;
          unsigned i;
-         get_constraint_for (valist, &lhsc);
+         get_constraint_for_ptr_offset (valist, NULL_TREE, &lhsc);
          do_deref (&lhsc);
          /* The va_list gets access to pointers in variadic
             arguments.  Which we know in the case of IPA analysis