Commit | Line | Data |
---|---|---|
42a4f53d | 1 | # Copyright 2018-2019 Free Software Foundation, Inc. |
42dc7699 TV |
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 | # Check whether we can determine the size of an optimized-out vla. | |
17 | ||
18 | standard_testfile | |
19 | ||
e5bbcd0f AB |
20 | # The EXE_SUFFIX is a string appended to the name of the test binary |
21 | # to make it unique per variation. | |
22 | # The OPTIONS is a two item list, the first item is a list of compiler | |
23 | # flags used for building the test binary, and the second item is a | |
24 | # pattern which matches some expected output within this proc. | |
25 | proc vla_optimized_out {exe_suffix options} { | |
26 | global testfile srcfile | |
27 | ||
28 | lassign $options compile_flags sizeof_result | |
29 | ||
30 | if { [prepare_for_testing "failed to prepare" "$testfile-$exe_suffix" $srcfile \ | |
31 | $compile_flags] } { | |
32 | return -1 | |
33 | } | |
42dc7699 | 34 | |
42dc7699 TV |
35 | if ![runto f1] { |
36 | fail "can't run to f1" | |
37 | return | |
38 | } | |
39 | ||
40 | gdb_test "p a" \ | |
e5bbcd0f | 41 | " = <optimized out>" \ |
42dc7699 TV |
42 | "printed optimized out vla" |
43 | ||
44 | gdb_test "p sizeof (a)" \ | |
e5bbcd0f | 45 | " = $sizeof_result" \ |
42dc7699 | 46 | "printed size of optimized out vla" |
5ff2bbae AB |
47 | |
48 | # At lower optimisation levels, the upper bound of the array is | |
49 | # still defined, it's just the loctaion that tells GDB the array | |
50 | # is optimised out. In that case, when we access an element that | |
51 | # is within the bounds of the array an answer of '<optimized out>' | |
52 | # is reasonable. | |
53 | # | |
54 | # At higher optimisation levels, the array bounds themselves have | |
55 | # been removed. As such GDB can't be expected to know if the | |
56 | # array contains _any_ elements at all. It seems reasonable in | |
57 | # that case to reply with 'no such vector element'. | |
58 | gdb_test "p a\[0\]" \ | |
59 | "(= <optimized out>|no such vector element)" \ | |
60 | "print out of range element of vla (0)" | |
61 | ||
62 | gdb_test "p a\[6\]" \ | |
63 | "no such vector element" \ | |
64 | "print out of range element of vla (6)" | |
65 | ||
66 | gdb_test "p a\[0xffffffff\]" \ | |
67 | "no such vector element" \ | |
68 | "print out of range element of vla (0xffffffff)" | |
42dc7699 TV |
69 | } |
70 | ||
e5bbcd0f AB |
71 | foreach {test_prefix options} \ |
72 | { "o1" {{debug optimize=-O1 additional_flags=-DNOCLONE} "6"} \ | |
2c6ac8d7 | 73 | "o3" {{debug optimize=-O3} "<optimized out>|6"} \ |
e5bbcd0f AB |
74 | "o3_strict" {{debug optimize=-O3 \ |
75 | additional_flags=-gstrict-dwarf} \ | |
2c6ac8d7 | 76 | "<optimized out>|6"}} { |
e5bbcd0f AB |
77 | with_test_prefix $test_prefix { |
78 | vla_optimized_out $test_prefix $options | |
79 | } | |
80 | } | |
81 |