-# Copyright 2006-2017 Free Software Foundation, Inc.
+# Copyright 2006-2019 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
gdb_start_again "marker2 here" $t
gdb_test "print C" ".*id = 42.*" $t
-setup_kfail "c++/15372" "*-*-*"
gdb_test "print f1 (static_cast<Child&&> (C))" ".* = 42.*" \
"print value of f1 on Child&& in f2"