https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93381
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-9 branch has been updated by Richard Guenther <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:b00c3228041bfb450e3fec21fe424f5f322f23b3 commit r9-8235-gb00c3228041bfb450e3fec21fe424f5f322f23b3 Author: Richard Biener <rguent...@suse.de> Date: Wed Jan 22 12:38:12 2020 +0100 tree-optimization/93381 fix integer offsetting in points-to analysis We were incorrectly assuming a merge operation is conservative enough for not explicitely handled operations but we also need to consider offsetting within fields when field-sensitive analysis applies. 2020-01-22 Richard Biener <rguent...@suse.de> PR tree-optimization/93381 * tree-ssa-structalias.c (find_func_aliases): Assume offsetting throughout, handle all conversions the same. * gcc.dg/torture/pr93381.c: New testcase.