1# Copyright 2008-2020 Free Software Foundation, Inc. 2# 3# This program is free software; you can redistribute it and/or modify 4# it under the terms of the GNU General Public License as published by 5# the Free Software Foundation; either version 3 of the License, or 6# (at your option) any later version. 7# 8# This program is distributed in the hope that it will be useful, 9# but WITHOUT ANY WARRANTY; without even the implied warranty of 10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 11# GNU General Public License for more details. 12# 13# You should have received a copy of the GNU General Public License 14# along with this program. If not, see <http://www.gnu.org/licenses/>. 15 16load_lib "ada.exp" 17 18if { [skip_ada_tests] } { return -1 } 19 20standard_ada_testfile comp_bug 21 22# Note we don't test the "none" (no -fgnat-encodings option) scenario 23# here, because "all" and "minimal" cover the cases, and this way we 24# don't have to update the test when gnat changes its default. 25foreach_with_prefix scenario {all minimal} { 26 set flags {debug} 27 if {$scenario != "none"} { 28 lappend flags additional_flags=-fgnat-encodings=$scenario 29 } 30 31 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} { 32 return -1 33 } 34 35 clean_restart ${testfile} 36 37 set bp_location [gdb_get_line_number "STOP" ${testdir}/comp_bug.adb] 38 runto "comp_bug.adb:$bp_location" 39 40 set pass_re \ 41 "= \\(exists => true, value => 10\\)" 42 # There is a compiler bug that causes this output. 43 set kfail_re \ 44 "= \\(exists => true\\)" 45 46 gdb_test_multiple "print x" "" { 47 -re -wrap $pass_re { 48 pass $gdb_test_name 49 } 50 -re -wrap $kfail_re { 51 if {$scenario == "minimal"} { 52 setup_xfail "gnat compiler bug" *-*-* 53 } 54 fail $gdb_test_name 55 } 56 } 57 58 set pass_re \ 59 [multi_line "type = record" \ 60 " exists: (boolean|range false \\.\\. true);" \ 61 " case exists is" \ 62 " when true =>" \ 63 " value: range 0 \\.\\. 255;" \ 64 " when others => null;" \ 65 " end case;" \ 66 "end record" ] 67 # There is a compiler bug that causes this output. 68 set kfail_re \ 69 [multi_line "type = record" \ 70 " exists: (boolean|range false \\.\\. true);" \ 71 " case \\? is" \ 72 " when others =>" \ 73 " value: range 0 \\.\\. 255;" \ 74 " when others => null;" \ 75 " end case;" \ 76 "end record" ] 77 78 gdb_test_multiple "ptype x" "" { 79 -re -wrap $pass_re { 80 pass $gdb_test_name 81 } 82 -re -wrap $kfail_re { 83 if {$scenario == "minimal"} { 84 setup_xfail "gnat compiler bug" *-*-* 85 } 86 fail $gdb_test_name 87 } 88 } 89} 90