From f9e182823dec22a74e570bd4257bf7d1ef2e3dfd Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Thu, 4 Jan 2007 10:59:03 +0000 Subject: [PATCH] Make this testcase a bit more realistic. The current code is too simplistic, and allows the compiler to optimize out some of the entities we need for this testcase. * gdb.ada/null_record/bar.ads (Void_Star): New type. (Do_Nothing): Add extra parameter. * gdb.ada/null_record/bar.adb (Do_Nothing): Likewise. * gdb.ada/null_record/null_record.adb: Fake use of type Empty by using a variable of type Void_Star. --- gdb/testsuite/ChangeLog | 11 +++++++++++ gdb/testsuite/gdb.ada/null_record/bar.adb | 4 ++-- gdb/testsuite/gdb.ada/null_record/bar.ads | 5 +++-- gdb/testsuite/gdb.ada/null_record/null_record.adb | 3 ++- 4 files changed, 18 insertions(+), 5 deletions(-) diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index f0439938f6b..9b4fe7e7571 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,14 @@ +2006-01-04 Joel Brobecker + + Make this testcase a bit more realistic. The current code + is too simplistic, and allows the compiler to optimize out + some of the entities we need for this testcase. + * gdb.ada/null_record/bar.ads (Void_Star): New type. + (Do_Nothing): Add extra parameter. + * gdb.ada/null_record/bar.adb (Do_Nothing): Likewise. + * gdb.ada/null_record/null_record.adb: Fake use of type Empty + by using a variable of type Void_Star. + 2006-01-04 Joel Brobecker * gdb.ada/catch_ex/foo.adb: New file. diff --git a/gdb/testsuite/gdb.ada/null_record/bar.adb b/gdb/testsuite/gdb.ada/null_record/bar.adb index 9c751399cb1..b29f8fc02a1 100644 --- a/gdb/testsuite/gdb.ada/null_record/bar.adb +++ b/gdb/testsuite/gdb.ada/null_record/bar.adb @@ -1,4 +1,4 @@ --- Copyright 2004 Free Software Foundation, Inc. +-- Copyright 2004, 2007 Free Software Foundation, Inc. -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by @@ -16,7 +16,7 @@ package body Bar is - procedure Do_Nothing is + procedure Do_Nothing (E : Void_Star) is begin null; end Do_Nothing; diff --git a/gdb/testsuite/gdb.ada/null_record/bar.ads b/gdb/testsuite/gdb.ada/null_record/bar.ads index c3ca11b06d3..ffdd554f7fd 100644 --- a/gdb/testsuite/gdb.ada/null_record/bar.ads +++ b/gdb/testsuite/gdb.ada/null_record/bar.ads @@ -1,4 +1,4 @@ --- Copyright 2004 Free Software Foundation, Inc. +-- Copyright 2004, 2007 Free Software Foundation, Inc. -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by @@ -17,7 +17,8 @@ package Bar is type Empty is null record; + type Void_Star is access all Empty; - procedure Do_Nothing; + procedure Do_Nothing (E : Void_Star); end Bar; diff --git a/gdb/testsuite/gdb.ada/null_record/null_record.adb b/gdb/testsuite/gdb.ada/null_record/null_record.adb index 260b3d66097..28846dbc854 100644 --- a/gdb/testsuite/gdb.ada/null_record/null_record.adb +++ b/gdb/testsuite/gdb.ada/null_record/null_record.adb @@ -17,7 +17,8 @@ with Bar; use Bar; procedure Null_Record is + E : Void_Star := new Empty; begin - Do_Nothing; + Do_Nothing (E); end Null_Record; -- 2.30.2