diff options
| author | Marek Polacek <polacek@redhat.com> | 2026-01-28 16:26:35 -0500 |
|---|---|---|
| committer | Marek Polacek <polacek@redhat.com> | 2026-01-29 08:44:00 -0500 |
| commit | ec8ec2755f0bc387dddaa8920b1154455e0ee7fe (patch) | |
| tree | 1cec15965c002c301f999710d40f471d25cb1592 /libjava/gnu/java | |
| parent | 101f2970adc0a7ac5785e40eb8ad63facb4f582a (diff) | |
| download | gcc-ec8ec2755f0bc387dddaa8920b1154455e0ee7fe.zip gcc-ec8ec2755f0bc387dddaa8920b1154455e0ee7fe.tar.gz gcc-ec8ec2755f0bc387dddaa8920b1154455e0ee7fe.tar.bz2 | |
c++/reflection: add assert to eval_type_trait
As discussed in
<https://gcc.gnu.org/pipermail/gcc-patches/2026-January/705756.html>.
Since we check eval_is_type in process_metafunction:
if (eval_is_type (ht) != boolean_true_node)
return throw_exception_nontype (loc, ctx, fun, non_constant_p,
jump_target);
finish_trait_expr should never return error_mark_node. We can ensure
that it's so by adding an assert.
gcc/cp/ChangeLog:
* reflect.cc (eval_type_trait): Assert that finish_trait_expr didn't
return error_mark_node.
Reviewed-by: Jason Merrill <jason@redhat.com>
Diffstat (limited to 'libjava/gnu/java')
0 files changed, 0 insertions, 0 deletions
