projects / deliverable / binutils-gdb.git / blame
| Commit | Line | Data |
|---|---|---|
| b811d2c2 | 1 | # Copyright (C) 2015-2020 Free Software Foundation, Inc. |
| 012b3a21 WT |
2 | # |
| 3 | # Contributed by Intel Corp. <walfred.tedeschi@intel.com> | |
| 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 | ||
| 19 | if { ![istarget i?86-*-*] && ![istarget x86_64-*-* ] } { | |
| 20 | verbose "Skipping x86 MPX tests." | |
| 21 | return | |
| 22 | } | |
| 23 | ||
| 24 | standard_testfile | |
| 25 | ||
| 5beb4d17 TV |
26 | if { ![supports_mpx_check_pointer_bounds] } { |
| 27 | return -1 | |
| 28 | } | |
| 29 | ||
| 012b3a21 WT |
30 | set comp_flags "-mmpx -fcheck-pointer-bounds -I${srcdir}/../nat/" |
| 31 | ||
| 5b362f04 | 32 | if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \ |
| 012b3a21 WT |
33 | [list debug nowarnings additional_flags=${comp_flags}]] } { |
| 34 | return -1 | |
| 35 | } | |
| 36 | ||
| 37 | if ![runto_main] { | |
| 38 | untested "could not run to main" | |
| 39 | return -1 | |
| 40 | } | |
| 41 | ||
| 42 | gdb_test_multiple "print have_mpx ()" "have mpx" { | |
| 43 | -re ".. = 1\r\n$gdb_prompt " { | |
| 44 | pass "check whether processor supports MPX" | |
| 45 | } | |
| 46 | -re ".. = 0\r\n$gdb_prompt " { | |
| 47 | verbose "processor does not support MPX; skipping MPX tests" | |
| 48 | return | |
| 49 | } | |
| 50 | } | |
| 51 | ||
| 52 | set u_fault [multi_line "Program received signal SIGSEGV, Segmentation fault" \ | |
| 53 | "Upper bound violation while accessing address $hex" \ | |
| 54 | "Bounds: \\\[lower = $hex, upper = $hex\\\]"] | |
| 55 | ||
| 56 | set l_fault [multi_line "Program received signal SIGSEGV, Segmentation fault" \ | |
| 57 | "Lower bound violation while accessing address $hex" \ | |
| 58 | "Bounds: \\\[lower = $hex, upper = $hex\\\]"] | |
| 59 | ||
| 60 | for {set i 0} {$i < 15} {incr i} { | |
| 61 | set message "MPX signal segv Upper: ${i}" | |
| 62 | ||
| 63 | if {[gdb_test "continue" "$u_fault.*" $message] != 0} { | |
| 64 | break | |
| 65 | } | |
| 66 | ||
| 67 | gdb_test "where" ".*#0 $hex in upper.*"\ | |
| 68 | "$message: should be in upper" | |
| 69 | } | |
| 70 | ||
| 71 | for {set i 0} {$i < 15} {incr i} { | |
| 72 | set message "MPX signal segv Lower: ${i}" | |
| 73 | ||
| 74 | if {[gdb_test "continue" "$l_fault.*" $message] != 0} { | |
| 75 | break | |
| 76 | } | |
| 77 | ||
| 78 | gdb_test "where" ".*#0 $hex in lower.*"\ | |
| 79 | "$message: should be in lower" | |
| 80 | } |