diff options
| author | Richard Biener <rguenther@suse.de> | 2024-05-17 09:31:52 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2024-05-17 10:54:11 +0200 |
| commit | b420e0b920613c42f63252aa2478a8315dc37a13 (patch) | |
| tree | 881fa8b9789ef27b8a69bfec8f2073e9c6400716 /libcpp | |
| parent | 9bd0b709ddb70589436c326142b1566f49f5e979 (diff) | |
| download | gcc-b420e0b920613c42f63252aa2478a8315dc37a13.zip gcc-b420e0b920613c42f63252aa2478a8315dc37a13.tar.gz gcc-b420e0b920613c42f63252aa2478a8315dc37a13.tar.bz2 | |
Add missing check for const_pool in the escaped solutions
The ptr-vs-ptr compare folding using points-to info was missing a
check for const_pool being included in the escaped solution. The
following fixes that, fixing the observed execute FAIL of
experimental/functional/searchers.cc
* tree-ssa-alias.h (pt_solution_includes_const_pool): Declare.
* tree-ssa-alias.cc (ptrs_compare_unequal): Use
pt_solution_includes_const_pool.
* tree-ssa-structalias.cc (pt_solution_includes_const_pool): New.
* gcc.dg/torture/20240517-1.c: New testcase.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions