gdb/testsuite/gdb.cp/meth-typedefs.exp

   1 # Copyright 2011-2019 Free Software Foundation, Inc.
   2 #
   3 # Contributed by Red Hat, originally written by Keith Seitz.
   4 #
   5 # This program is free software; you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation; either version 3 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 # This file is part of the gdb testsuite.
  19
  20 proc add {var name params expected {kind {func}}} {
  21     upvar $var result
  22
  23     if {[string compare $kind "template"] == 0} {
  24         set method_name "${name}<$expected>"
  25     } else {
  26         set method_name "$name"
  27     }
  28
  29     set expect ".*// ${method_name}\\($expected\\)"
  30     lappend result [list "${method_name}($params)" $expect]
  31 }
  32
  33 if {[skip_cplus_tests]} { continue }
  34
  35 # Tests for c++/12266 et al
  36 standard_testfile .cc
  37
  38 if {[prepare_for_testing "failed to prepare" $testfile $srcfile {c++ debug}]} {
  39     return -1
  40 }
  41
  42 if {![runto_main]} {
  43     perror "couldn't run to breakpoint"
  44     continue
  45 }
  46
  47 array set typedefs {
  48     "my_other_type" {"my_other_type" "my_type" "const char* const*"}
  49     "my_other_type_2" {"my_other_type_2" "my_type_2" "int"}
  50     "CORE_ADDR" { "CORE_ADDR" "unsigned long" }
  51     "_BAR_" { "_BAR_" "a::b::BAR" "a::b::c::d::bar" }
  52     "aenum" { "aenum" "anon_enum" }
  53     "astruct" { "astruct" "anon_struct" }
  54     "aunion" { "aunion" "anon_union" }
  55 }
  56
  57 set methods {}
  58
  59 # Add the simple, one-parameter methods
  60 foreach meth {A::FOO::test A::FOO::foo} {
  61     foreach type {my_other_type my_other_type_2} {
  62         foreach t $typedefs($type)  {
  63             add methods $meth $t $type
  64         }
  65     }
  66 }
  67
  68 # Add two-parameter methods
  69 foreach meth {A::FOO::test A::FOO::foo} {
  70     set type "my_other_type_2, const my_other_type"
  71     foreach t1 $typedefs(my_other_type_2) {
  72         foreach t2 $typedefs(my_other_type) {
  73             add methods $meth "$t1, const $t2" $type
  74             add methods $meth "$t1, $t2" $type
  75         }
  76     }
  77 }
  78
  79 # Add three-parameter methods/functions
  80 foreach meth {A::FOO::test A::FOO::foo B::test test} {
  81     set type "aenum, astruct const&, aunion const\\*\\*\\*"
  82     foreach t1 $typedefs(aenum) {
  83         foreach t2 $typedefs(astruct) {
  84             foreach t3 $typedefs(aunion) {
  85                 add methods $meth "$t1, $t2 const&, $t3 const***" $type
  86             }
  87         }
  88     }
  89 }
  90
  91 # Add the array-of-function pointer methods
  92 set type "fptr1\\*"
  93 foreach meth {A::FOO::test A::FOO::foo} {
  94     add methods $meth "fptr1*" $type
  95     foreach t $typedefs(my_other_type) {
  96         add methods $meth "void (**) ($t)" $type
  97     }
  98 }
  99
 100 # Add the function pointer methods
 101 set type "fptr3"
 102 foreach meth {A::FOO::test A::FOO::foo} {
 103     add methods $meth "fptr3" $type
 104
 105     foreach t1 $typedefs(my_other_type) {
 106         add methods $meth "void (*)(fptr2, $t1)" $type
 107         foreach t2 $typedefs(my_other_type_2) {
 108             add methods $meth "void (*)(void (*)(fptr1, $t2), $t1)" $type
 109             foreach t3 $typedefs(my_other_type) {
 110                 add methods $meth \
 111                     "void (*)(void (*)(void (*) ($t3), $t2), $t1)" $type
 112             }
 113         }
 114     }
 115 }
 116
 117 set type1 "my_other_type"
 118 set type2 "my_other_type, my_other_type_2"
 119 foreach meth {"test" "B::test"} {
 120     foreach t1 $typedefs(my_other_type) {
 121         add methods $meth $t1 $type1
 122         foreach t2 $typedefs(my_other_type_2) {
 123             add methods $meth "$t1, $t2" $type2 template
 124         }
 125     }
 126 }
 127
 128 # Miscellaneous tests
 129 set type {CORE_ADDR \(\*\) \[10\]}
 130 foreach meth {A::FOO::foo A::FOO::test} {
 131     foreach t $typedefs(CORE_ADDR) {
 132         add methods $meth "$t (*) \[10\]" $type
 133     }
 134 }
 135
 136 foreach t $typedefs(_BAR_) {
 137     add methods "test" "$t&" {_BAR_&}
 138 }
 139
 140 # Tests for c++/24367
 141 foreach t {int incomplete_struct another_incomplete_struct} {
 142     add methods "test_incomplete" "${t}*" [string_to_regexp "${t}*"]
 143 }
 144
 145 gdb_test_no_output "set listsize 1" ""
 146
 147 # Finally, for each method in the list METHODS, check whether
 148 # the user can "list" it and "break" on it (both quoted and unquoted).
 149 foreach test $methods {
 150     set func [lindex $test 0]
 151     set result [lindex $test 1]
 152
 153     gdb_test "list -qualified $func" $result
 154     gdb_test "list -qualified '$func'" $result
 155     if {[gdb_breakpoint "-qualified $func"]} {
 156       pass "break -qualified $func"
 157     }
 158     if {[gdb_breakpoint "-qualified '$func'"]} {
 159       pass "break -qualified '$func'"
 160     }
 161 }
 162
 163 # The tests above use -qualified to explicitly pick the one "test"
 164 # symbol each test cares about.  Now check that both "break test(..)"
 165 # and "list test(..)" without -qualified find "test(..)" in all the 3
 166 # scopes that have the this particular overload.
 167 set func "test(aenum, astruct const&, aunion const***)"
 168 set func_re "test\\(anon_enum, anon_struct const&, anon_union const\\*\\*\\*\\)"
 169 set line1 [gdb_get_line_number " A::FOO::$func"]
 170 set line2 [gdb_get_line_number " B::$func"]
 171 set line3 [gdb_get_line_number " $func"]
 172
 173 foreach f [list "$func" "'$func'"] {
 174     set any "\[^\r\n\]*"
 175     gdb_test \
 176         "list $f" \
 177         [multi_line \
 178              "file: \".*$srcfile\", line number: $line1, symbol: \"A::foo::$func_re\"" \
 179              "$line1${any}A::FOO::test${any}" \
 180              "file: \".*$srcfile\", line number: $line2, symbol: \"B::$func_re\"" \
 181              "$line2${any}B::test${any}" \
 182              "file: \".*$srcfile\", line number: $line3, symbol: \"$func_re\"" \
 183              "$line3${any}// test${any}"] \
 184         "list $f"
 185
 186     delete_breakpoints
 187     gdb_test "break $f" "\\(3 locations\\)"
 188 }
 189
 190 gdb_exit
 191 return 0