-
- Downloads
c++: Nondeterministic concepts diagnostics [PR94830]
This patch makes the order in which template parameters appear in the TREE_LIST returned by find_template_parameters deterministic between runs. The current nondeterminism is semantically harmless, but it has the undesirable effect of causing some concepts diagnostics which print a constraint's parameter mapping via pp_cxx_parameter_mapping to also be nondeterministic, as in the testcases below. gcc/cp/ChangeLog: PR c++/94830 * pt.c (find_template_parameter_info::parm_list): New field. (keep_template_parm): Use the new field to build up the parameter list here instead of ... (find_template_parameters): ... here. Return ftpi.parm_list. gcc/testsuite/ChangeLog: PR c++/94830 * g++.dg/concepts/diagnostics12.C: Clarify the dg-message now that the corresponding diagnostic is deterministic. * g++.dg/concepts/diagnostics13.C: New test.
Showing
- gcc/cp/ChangeLog 8 additions, 0 deletionsgcc/cp/ChangeLog
- gcc/cp/pt.c 6 additions, 7 deletionsgcc/cp/pt.c
- gcc/testsuite/ChangeLog 7 additions, 0 deletionsgcc/testsuite/ChangeLog
- gcc/testsuite/g++.dg/concepts/diagnostic12.C 1 addition, 1 deletiongcc/testsuite/g++.dg/concepts/diagnostic12.C
- gcc/testsuite/g++.dg/concepts/diagnostic13.C 14 additions, 0 deletionsgcc/testsuite/g++.dg/concepts/diagnostic13.C
Loading
Please register or sign in to comment