Run gdb.base/sizeof.exp with board having gdb,noinferiorio
Commit Message
In my remote cross testing (x86_64 host and aarch64 target), the test
gdb.base/sizeof.exp is skipped because gdb,noinferiorio is defined in
my gdbserver board file. Tests are skipped because the test checks
the expected value from the program's output, but I don't see why must
do it this way. With my patch applied, we can save the result in variable
in the program, and check the variable then. Then, the test doesn't rely
on inferiorio. However, in check_valueof, the value is still checked by
printing from the program, because I don't know why do we test in this
way, so I leave them there. With boards having gdb,noinferiorio, these
check_valueof tests are unsupported. The rest of tests can be run
unconditionally.
gdb/testsuite:
2015-12-01 Yao Qi <yao.qi@linaro.org>
* gdb.base/sizeof.c (main): New variable 'size'. Remove printf.
Assign return value to size.
* gdb.base/sizeof.exp: Remove the checking to gdb,noinferiorio
at the beginning.
(check_sizeof): Check the result by printing variable 'size'.
(check_valueof): Do the test if gdb,noinferiorio doesn't exist,
otherwise mark the test unsupported.
---
gdb/testsuite/gdb.base/sizeof.c | 24 ++++++++++++------------
gdb/testsuite/gdb.base/sizeof.exp | 28 +++++++++++-----------------
2 files changed, 23 insertions(+), 29 deletions(-)
Comments
On 12/01/2015 01:43 PM, Yao Qi wrote:
> In my remote cross testing (x86_64 host and aarch64 target), the test
> gdb.base/sizeof.exp is skipped because gdb,noinferiorio is defined in
> my gdbserver board file. Tests are skipped because the test checks
> the expected value from the program's output, but I don't see why must
> do it this way. With my patch applied, we can save the result in variable
> in the program, and check the variable then. Then, the test doesn't rely
> on inferiorio. However, in check_valueof, the value is still checked by
> printing from the program, because I don't know why do we test in this
> way, so I leave them there.
We're checking whether gdb [1] and the compiler agree on the signness of "char":
These casts are evaluated by gdb:
set signof_char [get_integer_valueof "(int) (char) -1" -1]
While these are evaluated by the compiler:
printf ("valueof ((int) (char) -1) == %d\n", (int) (char) -1);
If char is unsigned, that prints 0xff; if char is signed, it prints -1.
I think we can replace that like you did for sizeof.
value = (int) (char) -1;
etc., and then check "p value = ${val}", just like you did for
the sizeof checks.
[1] - This is gdbarch_char_signed.
Thanks,
Pedro Alves
@@ -100,22 +100,22 @@ fill_structs (void)
int
main ()
{
+ int size;
+
gdb_unbuffer_output ();
fill_structs ();
- printf ("sizeof (char) == %d\n", (int) sizeof (char));
- printf ("sizeof (short) == %d\n", (int) sizeof (short));
- printf ("sizeof (int) == %d\n", (int) sizeof (int));
- printf ("sizeof (long) == %d\n", (int) sizeof (long));
- printf ("sizeof (long long) == %d\n", (int) sizeof (long long));
-
- printf ("sizeof (void *) == %d\n", (int) sizeof (void*));
- printf ("sizeof (void (*)(void)) == %d\n", (int) sizeof (void (*)(void)));
-
- printf ("sizeof (float) == %d\n", (int) sizeof (float));
- printf ("sizeof (double) == %d\n", (int) sizeof (double));
- printf ("sizeof (long double) == %d\n", (int) sizeof (long double));
+ size = (int) sizeof (char);
+ size = (int) sizeof (short);
+ size = (int) sizeof (int);
+ size = (int) sizeof (long);
+ size = (int) sizeof (long long);
+ size = (int) sizeof (void*);
+ size = (int) sizeof (void (*)(void));
+ size = (int) sizeof (float);
+ size = (int) sizeof (double);
+ size = (int) sizeof (long double);
/* Signed char? */
printf ("valueof ('\\377') == %d\n", '\377');
@@ -15,11 +15,6 @@
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
-if [target_info exists gdb,noinferiorio] {
- verbose "Skipping sizeof.exp because of no fileio capabilities."
- continue
-}
-
#
# test running programs
#
@@ -68,12 +63,8 @@ set sizeof_long_double [get_sizeof "long double" 8]
#
proc check_sizeof { type size } {
- global gdb_prompt
-
- set pat [string_to_regexp "sizeof (${type}) == ${size}\r\n"]
- gdb_test_stdio "next" "${pat}" \
- "\[0-9\].*" \
- "check sizeof \"$type\""
+ gdb_test "next" "" ""
+ gdb_test "p size" " = ${size}" "check sizeof \"$type\""
}
check_sizeof "char" ${sizeof_char}
@@ -90,12 +81,15 @@ check_sizeof "double" ${sizeof_double}
check_sizeof "long double" ${sizeof_long_double}
proc check_valueof { exp val } {
- global gdb_prompt
-
- set pat [string_to_regexp "valueof (${exp}) == ${val}\r\n"]
- gdb_test_stdio "next" "${pat}" \
- "\[0-9\].*" \
- "check valueof \"$exp\""
+ if [target_info exists gdb,noinferiorio] {
+ gdb_test "next" "" ""
+ unsupported "check valueof \"$exp\""
+ } else {
+ set pat [string_to_regexp "valueof (${exp}) == ${val}\r\n"]
+ gdb_test_stdio "next" "${pat}" \
+ "\[0-9\].*" \
+ "check valueof \"$exp\""
+ }
}
# Check that GDB and the target agree over the sign of a character.