[RFA/testsuite/ada] Add null_record testcase

[RFA/testsuite/ada] Add null_record testcase

[Joel Brobecker]

[-- Attachment #1: Type: text/plain, Size: 544 bytes --]

This is our first testcase involving an Ada program!

This testcase demonstrate a problem with our dwarf-2 reader, described
in http://sources.redhat.com/ml/gdb-patches/2004-02/msg00533.html.
This test currently fails, and then passes once the suggested patch
is applied.

2004-03-29  J. Brobecker  <brobecker@gnat.com>

        * gdb.ada (bar.ads, bar.adb, null_record.adb): New files.
        * gdb.ada (null_record.exp): New testcase.

Tested on x86-linux (using an Ada-aware version of GDB based on GDB 6.0).
Ok to apply?

Thanks,
-- 
Joel

[-- Attachment #2: bar.ads --]
[-- Type: text/plain, Size: 83 bytes --]


package Bar is

   type Empty is null record;

   procedure Do_Nothing;

end Bar;

[-- Attachment #3: bar.adb --]
[-- Type: text/plain, Size: 98 bytes --]

package body Bar is

   procedure Do_Nothing is
   begin
      null;
   end Do_Nothing;

end Bar;

[-- Attachment #4: null_record.adb --]
[-- Type: text/plain, Size: 84 bytes --]

with Bar; use Bar;

procedure Null_Record is
begin
   Do_Nothing;
end Null_Record;


[-- Attachment #5: null_record.exp --]
[-- Type: text/plain, Size: 537 bytes --]

if $tracelevel then {
    strace $tracelevel
}

load_lib "ada.exp"

set testfile "null_record"
set srcfile ${testfile}.adb
set binfile ${objdir}/${subdir}/${testfile}

if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug ]] != "" } {
  return -1
}

gdb_exit
gdb_start
gdb_reinitialize_dir $srcdir/$subdir
gdb_load ${binfile}

gdb_test "begin" \
         "Breakpoint \[0-9\]+ at .*null_record.adb.*" \
         "begin"

gdb_test "ptype empty" \
         "type = record null; end record" \
         "ptype on null record"

Re: [RFA/testsuite/ada] Add null_record testcase

[Andrew Cagney]

> 2004-03-29  J. Brobecker  <brobecker@gnat.com>
> 
>         * gdb.ada (bar.ads, bar.adb, null_record.adb): New files.
>         * gdb.ada (null_record.exp): New testcase.
> 

Ok.

(BTW, Is there a GNU/Ada coding standard?)

Andrew

Re: [RFA/testsuite/ada] Add null_record testcase

[Joel Brobecker]

> >2004-03-29  J. Brobecker  <brobecker@gnat.com>
> >
> >        * gdb.ada (bar.ads, bar.adb, null_record.adb): New files.
> >        * gdb.ada (null_record.exp): New testcase.
> >
> 
> Ok.

Thank you, checked in.

-- 
Joel

Re: [RFA/testsuite/ada] Add null_record testcase

[Joel Brobecker]

> (BTW, Is there a GNU/Ada coding standard?)

I am not sure about an Ada coding standard specific for GNU, I will
ask around. I know there is a manual that makes some recommendations
in terms of coding standars: Ada Quality and Style.

I am reluctant to provide a link from adahome.com as I've heard
that the site is no longer maintained, but that's the only place
where I could find it:

    http://www.adahome.com/Resources/refs/aqs.html

<<
Ada Quality and Style: Guidelines for Professional Programmers" (AQS)
intended for Ada 83 programmers, was published by the Software
Productivity Consortium (Van Nostrand Reinhold, ISBN 0-442-23805-3),
and has been revised for Ada 95 (new version released in October 1995).

The AQS has plenty of good ideas, recommendations, and rationales for
coding styles, but note that it is quite detailed and thorough (in case
you were thinking of using it as a reference for code inspections/auditing).
Finally, one doesn't have to adopt or agree with every guideline in it.
>>

-- 
Joel

Re: [RFA/testsuite/ada] Add null_record testcase

[Joel Brobecker]

> I am not sure about an Ada coding standard specific for GNU, I will
> ask around.

I have been told that there is a guide in gcc/ada that describes the
coding standard for GNAT. I think this is the closest we have to
a GNU/Ada coding standards.

-- 
Joel