Hi!
In my recent patch
http://gcc.gnu.org/ml/gcc-patches/2011-06/msg01609.html
I've missed a spot where it was special casing the builtins that
don't return their first argument, but instead of that return their
first argument plus something.
Fixed thusly, committed as obvious.
2011-06-30 Jakub Jelinek <ja...@redhat.com>
* tree-ssa-structalias.c (find_func_aliases_for_builtin_call): Fix
handling of BUILT_IN_MEMPCPY_CHK and BUILT_IN_STPCPY_CHK.
--- gcc/tree-ssa-structalias.c (revision 175681)
+++ gcc/tree-ssa-structalias.c (working copy)
@@ -4014,7 +4014,9 @@ find_func_aliases_for_builtin_call (gimp
get_constraint_for (res, &lhsc);
if (DECL_FUNCTION_CODE (fndecl) == BUILT_IN_MEMPCPY
|| DECL_FUNCTION_CODE (fndecl) == BUILT_IN_STPCPY
- || DECL_FUNCTION_CODE (fndecl) == BUILT_IN_STPNCPY)
+ || DECL_FUNCTION_CODE (fndecl) == BUILT_IN_STPNCPY
+ || DECL_FUNCTION_CODE (fndecl) == BUILT_IN_MEMPCPY_CHK
+ || DECL_FUNCTION_CODE (fndecl) == BUILT_IN_STPCPY_CHK)
get_constraint_for_ptr_offset (dest, NULL_TREE, &rhsc);
else
get_constraint_for (dest, &rhsc);
Jakub
