]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++/modules: Allow imported references in constant expressions
authorNathaniel Shead <nathanieloshead@gmail.com>
Thu, 12 Sep 2024 10:06:39 +0000 (20:06 +1000)
committerNathaniel Shead <nathanieloshead@gmail.com>
Fri, 27 Sep 2024 03:49:23 +0000 (13:49 +1000)
commit1a0b33ebc57ebcc9595b19050f5c36c1f9d39e3e
tree5b0544ee90a41cf709e7812d8fd1dc4cc247ae21
parentd0762e93ce1ed046e1dd9477ebe0ad941c298677
c++/modules: Allow imported references in constant expressions

Currently the streaming code uses TREE_CONSTANT to determine whether an
entity will have a definition that is interesting to stream out.  This
is not sufficient, however; we also need to write the definition of
references, since although not TREE_CONSTANT they can still be usable in
constant expressions.

As such this patch uses the existing decl_maybe_constant_var function
which correctly handles this case.

gcc/cp/ChangeLog:

* module.cc (has_definition): Use decl_maybe_constant_var
instead of TREE_CONSTANT.

gcc/testsuite/ChangeLog:

* g++.dg/modules/cexpr-5_a.C: New test.
* g++.dg/modules/cexpr-5_b.C: New test.

Signed-off-by: Nathaniel Shead <nathanieloshead@gmail.com>
Reviewed-by: Jason Merrill <jason@redhat.com>
gcc/cp/module.cc
gcc/testsuite/g++.dg/modules/cexpr-5_a.C [new file with mode: 0644]
gcc/testsuite/g++.dg/modules/cexpr-5_b.C [new file with mode: 0644]