gdb/testsuite/gdb.cp/converts.exp

   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
  16 standard_testfile .cc
  17
  18 if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} {debug c++}] } {
  19      return -1
  20 }
  21
  22 ############################################
  23
  24 if ![runto_main] then {
  25     perror "couldn't run to breakpoint main"
  26     continue
  27 }
  28
  29 gdb_breakpoint [gdb_get_line_number "end of main"]
  30 gdb_continue_to_breakpoint "end of main"
  31
  32 gdb_test "p foo0_1 (ta)"   "= 1"              "typedef to another typedef"
  33 gdb_test "p foo0_2 (ta)"   "= 2"              "typedef to typedef of a typedef"
  34 gdb_test "p foo0_3 (bppp)" "Cannot resolve.*" \
  35  "Pointer-to-pointer-to-pointer derived to Pointer-to-pointer-to-pointer base."
  36
  37 gdb_test "p foo1_1 (a)"  "= 11"             "pointer to pointer"
  38 gdb_test "p foo1_2 (a)"  "= 12"             "pointer to array"
  39 gdb_test "p foo1_3 (a)"  "Cannot resolve.*" \
  40          "pointer to pointer of wrong type, a"
  41 gdb_test "p foo1_3 (bp)" "Cannot resolve.*" \
  42          "pointer to pointer of wrong type, bp"
  43 gdb_test "p foo1_4 (bp)" "= 14"             "pointer to ancestor pointer"
  44 gdb_test "p foo1_5 (bp)" "= 15"             "pointer to void pointer"
  45 gdb_test "p foo1_6 (bp)" "Cannot resolve.*"     "pointer to void pointer pointer"
  46 gdb_test "p foo1_7 (bp)" "= 17"                 "pointer to boolean"
  47 gdb_test "p foo1_8 (bp)" "Using non-standard.*" "pointer to long int"
  48
  49 gdb_test "p foo1_5 (b)" "= 15"             "pointer pointer to void pointer"
  50 gdb_test "p foo2_1 (b)" "= 21"             "pointer pointer to pointer pointer"
  51 gdb_test "p foo2_2 (b)" "Cannot resolve.*" "pointer pointer to array of arrays"
  52 gdb_test "p foo2_3 (b)" "= 23"             "pointer pointer to array of pointers"
  53 gdb_test "p foo2_4 (b)" "Cannot resolve.*" "pointer pointer to array of wrong pointers"
  54
  55 gdb_test "p foo3_1 ((char *) 0, ta)" "Cannot resolve.*" \
  56     "check all parameters for badness"
  57
  58 # Tests for null pointer conversion
  59 global gdb_prompt
  60 set nl {[\r\n]+}
  61 set t "null pointer conversion"
  62 gdb_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
  76 gdb_test "p foo3_1 (0, 1)" \
  77     "Cannot resolve function foo3_1 to any overloaded instance"
  78 gdb_test "p foo3_1 (0, (const char**) 1)" " = 31"
  79 gdb_test "p foo3_2 (0, 0)" "= 32"
  80 gdb_test "p foo3_2 (0, (char const**) 0)" " = 320"
  81
  82 # Tests for boolean conversions allowed by the standard
  83 gdb_test "p foo1_7(0)" " = 17"
  84 gdb_test "p foo1_7(integer)" " = 17"
  85 gdb_test "p foo1_7(long_int)" " = 17"
  86 gdb_test "p foo1_7(*a)" " = 17"
  87 gdb_test "p foo1_7(MY_A)" " = 17"
  88 gdb_test "p foo1_7(&foo1_7)" " = 17"
  89 gdb_test "p foo1_7(&A::member_)" " = 17"
  90 gdb_test "p foo1_7(a)" " = 17"
  91 gdb_test "p foo1_7(fp)" " = 17"
  92 gdb_test "p foo1_7(dp)" " = 17"
  93 gdb_test "p foo1_7(-1.23)" " = 17"
  94 gdb_test "p foo1_7(ta)" \
  95     "Cannot resolve function foo1_7 to any overloaded instance"
  96
  97 # Test for strict type checking
  98 set error_str "Cannot resolve function %s to any overloaded instance"
  99 gdb_test "show check type" "Strict type checking is on\." \
 100          "confirm check type on"
 101
 102 with_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
 115 gdb_test_no_output "set check type off"
 116 gdb_test "show check type" "Strict type checking is off\." \
 117          "confirm check type off"
 118
 119 with_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 }