tree bb26bc1ca14234afe6264831171c34c39397dc96
parent 802771f22815157cce8643e54e6810ed80079f13
author Simon Martin <simon@nasilyan.com> 1737041226 +0100
committer Simon Martin <simartin@gcc.gnu.org> 1737092381 +0100

c++: Make sure fold_sizeof_expr returns the correct type [PR117775]

We currently ICE upon the following code, that is valid under
-Wno-pointer-arith:

=== cut here ===
int main() {
  decltype( [](auto) { return sizeof(void); } ) x;
  return x.operator()(0);
}
=== cut here ===

The problem is that "fold_sizeof_expr (sizeof(void))" returns
size_one_node, that has a different TREE_TYPE from that of the sizeof
expression, which later triggers an assert in cxx_eval_store_expression.

This patch makes sure that fold_sizeof_expr always returns a tree with
the size_type_node type.

	PR c++/117775

gcc/cp/ChangeLog:

	* decl.cc (fold_sizeof_expr): Make sure the folded result has
	type size_type_node.

gcc/testsuite/ChangeLog:

	* g++.dg/cpp2a/constexpr-117775.C: New test.

(cherry picked from commit 37f38b0f97374476a4818b68c8df991886428787)