converts.exp revision 1.9
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 16standard_testfile .cc 17 18if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} {debug c++}] } { 19 return -1 20} 21 22############################################ 23 24if ![runto_main] then { 25 perror "couldn't run to breakpoint main" 26 continue 27} 28 29gdb_breakpoint [gdb_get_line_number "end of main"] 30gdb_continue_to_breakpoint "end of main" 31 32gdb_test "p foo0_1 (ta)" "= 1" "typedef to another typedef" 33gdb_test "p foo0_2 (ta)" "= 2" "typedef to typedef of a typedef" 34gdb_test "p foo0_3 (bppp)" "Cannot resolve.*" \ 35 "Pointer-to-pointer-to-pointer derived to Pointer-to-pointer-to-pointer base." 36 37gdb_test "p foo1_1 (a)" "= 11" "pointer to pointer" 38gdb_test "p foo1_2 (a)" "= 12" "pointer to array" 39gdb_test "p foo1_3 (a)" "Cannot resolve.*" \ 40 "pointer to pointer of wrong type, a" 41gdb_test "p foo1_3 (bp)" "Cannot resolve.*" \ 42 "pointer to pointer of wrong type, bp" 43gdb_test "p foo1_4 (bp)" "= 14" "pointer to ancestor pointer" 44gdb_test "p foo1_5 (bp)" "= 15" "pointer to void pointer" 45gdb_test "p foo1_6 (bp)" "Cannot resolve.*" "pointer to void pointer pointer" 46gdb_test "p foo1_7 (bp)" "= 17" "pointer to boolean" 47gdb_test "p foo1_8 (bp)" "Using non-standard.*" "pointer to long int" 48 49gdb_test "p foo1_5 (b)" "= 15" "pointer pointer to void pointer" 50gdb_test "p foo2_1 (b)" "= 21" "pointer pointer to pointer pointer" 51gdb_test "p foo2_2 (b)" "Cannot resolve.*" "pointer pointer to array of arrays" 52gdb_test "p foo2_3 (b)" "= 23" "pointer pointer to array of pointers" 53gdb_test "p foo2_4 (b)" "Cannot resolve.*" "pointer pointer to array of wrong pointers" 54 55gdb_test "p foo3_1 ((char *) 0, ta)" "Cannot resolve.*" \ 56 "check all parameters for badness" 57 58# Tests for null pointer conversion 59global gdb_prompt 60set nl {[\r\n]+} 61set t "null pointer conversion" 62gdb_test_multiple "p foo3_1 (0, 0)" $t { 63 -re "warning: Using non-standard conversion.*$nl$gdb_prompt $" { 64 fail "$t (warning issued)" 65 } 66 67 -re "Cannot resolve function foo3_1 to any overloaded instance$nl$gdb_prompt $" { 68 fail "$t (conversion failed)" 69 } 70 71 -re "\\$\[0-9\]+ = 31$nl$gdb_prompt $" { 72 pass $t 73 } 74} 75 76gdb_test "p foo3_1 (0, 1)" \ 77 "Cannot resolve function foo3_1 to any overloaded instance" 78gdb_test "p foo3_1 (0, (const char**) 1)" " = 31" 79gdb_test "p foo3_2 (0, 0)" "= 32" 80gdb_test "p foo3_2 (0, (char const**) 0)" " = 320" 81 82# Tests for boolean conversions allowed by the standard 83gdb_test "p foo1_7(0)" " = 17" 84gdb_test "p foo1_7(integer)" " = 17" 85gdb_test "p foo1_7(long_int)" " = 17" 86gdb_test "p foo1_7(*a)" " = 17" 87gdb_test "p foo1_7(MY_A)" " = 17" 88gdb_test "p foo1_7(&foo1_7)" " = 17" 89gdb_test "p foo1_7(&A::member_)" " = 17" 90gdb_test "p foo1_7(a)" " = 17" 91gdb_test "p foo1_7(fp)" " = 17" 92gdb_test "p foo1_7(dp)" " = 17" 93gdb_test "p foo1_7(-1.23)" " = 17" 94gdb_test "p foo1_7(ta)" \ 95 "Cannot resolve function foo1_7 to any overloaded instance" 96 97# Test for strict type checking 98set error_str "Cannot resolve function %s to any overloaded instance" 99gdb_test "show check type" "Strict type checking is on\." \ 100 "confirm check type on" 101 102with_test_prefix "strict type checking on" { 103 gdb_test "p foo1_type_check (123)" [format $error_str "foo1_type_check"] 104 gdb_test "p foo2_type_check (0, 1)" [format $error_str "foo2_type_check"] 105 gdb_test "p foo2_type_check (1, 0)" [format $error_str "foo2_type_check"] 106 gdb_test "p foo2_type_check (1, 1)" [format $error_str "foo2_type_check"] 107 gdb_test "p foo3_type_check (0, 0, 1)" [format $error_str "foo3_type_check"] 108 gdb_test "p foo3_type_check (0, 1, 0)" [format $error_str "foo3_type_check"] 109 gdb_test "p foo3_type_check (1, 0, 0)" [format $error_str "foo3_type_check"] 110 gdb_test "p foo3_type_check (0, 1, 1)" [format $error_str "foo3_type_check"] 111 gdb_test "p foo3_type_check (1, 1, 0)" [format $error_str "foo3_type_check"] 112 gdb_test "p foo3_type_check (1, 1, 1)" [format $error_str "foo3_type_check"] 113} 114 115gdb_test_no_output "set check type off" 116gdb_test "show check type" "Strict type checking is off\." \ 117 "confirm check type off" 118 119with_test_prefix "strict type checking off" { 120 gdb_test "p foo1_type_check (123)" " = 1000" 121 gdb_test "p foo2_type_check (0, 1)" " = 1001" 122 gdb_test "p foo2_type_check (1, 0)" " = 1001" 123 gdb_test "p foo2_type_check (1, 1)" " = 1001" 124 gdb_test "p foo3_type_check (0, 0, 1)" " = 1002" 125 gdb_test "p foo3_type_check (0, 1, 0)" " = 1002" 126 gdb_test "p foo3_type_check (1, 0, 0)" " = 1002" 127 gdb_test "p foo3_type_check (0, 1, 1)" " = 1002" 128 gdb_test "p foo3_type_check (1, 1, 0)" " = 1002" 129 gdb_test "p foo3_type_check (1, 1, 1)" " = 1002" 130 gdb_test "p foo3_2 (1,1)" " = 32" 131} 132