1 # Copyright 2018-2024 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 # When caching a proc using gdb_caching_proc, it will become less likely to 17 # be executed, and consequently it's going to be harder to detect that the 18 # proc is racy. OTOH, in general the proc is easy to rerun. So, run all 19 # uncached gdb_caching_procs a number of times and detect inconsistent results. 20 # The purpose of caching is to reduce runtime, so rerunning is somewhat 21 # counter-productive in that aspect, but it's better than uncached, because the 22 # number of reruns is constant-bounded, and the increase in runtime is bound to 23 # this test-case, and could be disabled on slow targets. 24 25 # Test gdb_caching_proc NAME 26 proc test_proc { name } { 27 set real_name gdb_real__$name 28 29 set resultlist [list] 30 31 with_test_prefix initial { 32 set first [gdb_do_cache_wrap $real_name] 33 } 34 lappend resultlist $first 35 36 # Ten repetitions was enough to trigger target_supports_scheduler_locking, 37 # and costs about 20 seconds on an i7-6600U. 38 set repeat 10 39 40 set racy 0 41 for {set i 0} {$i < $repeat} {incr i} { 42 with_test_prefix $i { 43 set rerun [gdb_do_cache_wrap $real_name] 44 } 45 lappend resultlist $rerun 46 if { $rerun != $first } { 47 set racy 1 48 } 49 } 50 51 if { $racy == 0 } { 52 pass "consistency" 53 } else { 54 fail "consistency" 55 verbose -log "$name: $resultlist" 56 } 57 } 58 59 # Test gdb_caching_procs in FILE 60 proc test_file { file } { 61 upvar obj obj 62 set procnames [list] 63 64 set fp [open $file] 65 while { [gets $fp line] >= 0 } { 66 if [regexp -- "^gdb_caching_proc \[ \t\]*(\[^ \t\]*)" $line \ 67 match procname] { 68 lappend procnames $procname 69 } 70 } 71 close $fp 72 73 if { [llength $procnames] == 0 } { 74 return 75 } 76 77 if { [file tail $file] == "gdb.exp" } { 78 # Already loaded 79 } else { 80 load_lib [file tail $file] 81 } 82 83 foreach procname $procnames { 84 if { [info args $procname] != "" } { 85 # With args. 86 continue 87 } 88 with_test_prefix $procname { 89 switch $procname { 90 "is_address_zero_readable" { set setup_gdb 1 } 91 "target_is_gdbserver" { set setup_gdb 1 } 92 "supports_memtag" { set setup_gdb 1 } 93 "have_native_target" { set setup_gdb 1 } 94 default {set setup_gdb 0 } 95 } 96 97 if { $setup_gdb } { 98 clean_restart $obj 99 } 100 101 test_proc $procname 102 103 gdb_exit 104 } 105 } 106 } 107 108 # Init 109 set me "gdb_caching_proc" 110 set src { int main() { return 0; } } 111 if { ![gdb_simple_compile $me $src executable] } { 112 return 0 113 } 114 115 # Test gdb_caching_procs in gdb/testsuite/lib/*.exp 116 set files [eval glob -types f $srcdir/lib/*.exp] 117 set files [lsort $files] 118 foreach file $files { 119 test_file $file 120 } 121 122 # Cleanup 123 remote_file build delete $obj 124