public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/18692] New: Ada should have a dg testsuite
@ 2004-11-27 19:33 phython at gcc dot gnu dot org
2004-11-27 19:34 ` [Bug ada/18692] " pinskia at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 13+ messages in thread
From: phython at gcc dot gnu dot org @ 2004-11-27 19:33 UTC (permalink / raw)
To: gcc-bugs
The only public testsuite for gnat is acats which unfortunatly doesn't use the
normal GCC testsuite harness so it is harder to add tests too and doesn't have a
timeout right now.
An initial patch is at http://gcc.gnu.org/ml/gcc-patches/2004-11/msg01862.html,
unfortunatly a change to libgloss.exp is required and find_gnatmake in the
current dejagnu cvs will probably need to be changed after
http://gcc.gnu.org/ml/gcc-patches/2004-11/msg02393.html goes in.
--
Summary: Ada should have a dg testsuite
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: phython at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
2004-11-27 19:33 [Bug ada/18692] New: Ada should have a dg testsuite phython at gcc dot gnu dot org
@ 2004-11-27 19:34 ` pinskia at gcc dot gnu dot org
2004-11-27 20:53 ` phython at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-27 19:34 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-27 19:34 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-11-27 19:34:36
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
2004-11-27 19:33 [Bug ada/18692] New: Ada should have a dg testsuite phython at gcc dot gnu dot org
2004-11-27 19:34 ` [Bug ada/18692] " pinskia at gcc dot gnu dot org
@ 2004-11-27 20:53 ` phython at gcc dot gnu dot org
2004-11-28 16:14 ` phython at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 13+ messages in thread
From: phython at gcc dot gnu dot org @ 2004-11-27 20:53 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From phython at gcc dot gnu dot org 2004-11-27 20:53 -------
The following is a list of gcc bugs with ada testcases that are not in any
testsuite.
10899
12450
The following are bugs that should have test cases, but the test case in the
bug may not be the best way to test the bug.
13620
Another source of testcases that may not be correlated to bugs in bugzilla is
the Debian bug reports for gnat 3.1[45] at
http://bugs.debian.org/gnat
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
2004-11-27 19:33 [Bug ada/18692] New: Ada should have a dg testsuite phython at gcc dot gnu dot org
2004-11-27 19:34 ` [Bug ada/18692] " pinskia at gcc dot gnu dot org
2004-11-27 20:53 ` phython at gcc dot gnu dot org
@ 2004-11-28 16:14 ` phython at gcc dot gnu dot org
2005-06-18 23:58 ` pinskia at gcc dot gnu dot org
2005-07-05 13:55 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 13+ messages in thread
From: phython at gcc dot gnu dot org @ 2004-11-28 16:14 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From phython at gcc dot gnu dot org 2004-11-28 16:14 -------
I've gone through the Debian BTS bugs and tried to pull the testcases from the
bugs marked fixed-upstream.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
2004-11-27 19:33 [Bug ada/18692] New: Ada should have a dg testsuite phython at gcc dot gnu dot org
` (2 preceding siblings ...)
2004-11-28 16:14 ` phython at gcc dot gnu dot org
@ 2005-06-18 23:58 ` pinskia at gcc dot gnu dot org
2005-07-05 13:55 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-18 23:58 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-18 23:58 -------
I think in the next couple of weeks I am going to work on this.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
2004-11-27 19:33 [Bug ada/18692] New: Ada should have a dg testsuite phython at gcc dot gnu dot org
` (3 preceding siblings ...)
2005-06-18 23:58 ` pinskia at gcc dot gnu dot org
@ 2005-07-05 13:55 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-05 13:55 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-05 13:55 -------
Mine.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |pinskia at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
[not found] <bug-18692-7737@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2006-06-20 6:24 ` ebotcazou at gcc dot gnu dot org
@ 2006-06-20 7:48 ` ebotcazou at gcc dot gnu dot org
6 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-06-20 7:48 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from ebotcazou at gcc dot gnu dot org 2006-06-20 06:24 -------
The harness has been installed on mainline.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|ebotcazou at gcc dot gnu dot|
|org |
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.2.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
[not found] <bug-18692-7737@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2006-06-20 6:13 ` ebotcazou at gcc dot gnu dot org
@ 2006-06-20 6:24 ` ebotcazou at gcc dot gnu dot org
2006-06-20 7:48 ` ebotcazou at gcc dot gnu dot org
6 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-06-20 6:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from ebotcazou at gcc dot gnu dot org 2006-06-20 06:20 -------
Subject: Bug 18692
Author: ebotcazou
Date: Tue Jun 20 06:20:37 2006
New Revision: 114805
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114805
Log:
PR ada/18692
* lib/gnat.exp: New file.
* lib/gnat-dg.exp: Likewise.
* gnat.dg: New directory.
* gnat.dg/dg.exp: New driver.
* gnat.dg/specs: New directory.
* gnat.dg/specs/specs.exp: New driver.
* gnat.dg/style: New directory.
* gnat.dg/style/style.exp: New driver.
Added:
trunk/gcc/testsuite/gnat.dg/
trunk/gcc/testsuite/gnat.dg/dg.exp
trunk/gcc/testsuite/gnat.dg/specs/
trunk/gcc/testsuite/gnat.dg/specs/specs.exp
trunk/gcc/testsuite/gnat.dg/style/
trunk/gcc/testsuite/gnat.dg/style/style.exp
trunk/gcc/testsuite/lib/gnat-dg.exp
trunk/gcc/testsuite/lib/gnat.exp
Modified:
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
[not found] <bug-18692-7737@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2006-03-19 5:55 ` pinskia at gcc dot gnu dot org
@ 2006-06-20 6:13 ` ebotcazou at gcc dot gnu dot org
2006-06-20 6:24 ` ebotcazou at gcc dot gnu dot org
2006-06-20 7:48 ` ebotcazou at gcc dot gnu dot org
6 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-06-20 6:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from ebotcazou at gcc dot gnu dot org 2006-06-20 06:06 -------
Subject: Bug 18692
Author: ebotcazou
Date: Tue Jun 20 06:06:50 2006
New Revision: 114804
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114804
Log:
PR ada/18692
* Make-lang.in: Add check-gnat to lang_checks. Rename existing
check-gnat into check-acats.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/Make-lang.in
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
[not found] <bug-18692-7737@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2006-03-11 17:57 ` ebotcazou at gcc dot gnu dot org
@ 2006-03-19 5:55 ` pinskia at gcc dot gnu dot org
2006-06-20 6:13 ` ebotcazou at gcc dot gnu dot org
` (2 subsequent siblings)
6 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-03-19 5:55 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from pinskia at gcc dot gnu dot org 2006-03-19 05:55 -------
PR 15305 is another testcase which should go in which now passes.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
[not found] <bug-18692-7737@http.gcc.gnu.org/bugzilla/>
2005-10-04 19:28 ` pinskia at gcc dot gnu dot org
2005-10-04 19:29 ` pinskia at gcc dot gnu dot org
@ 2006-03-11 17:57 ` ebotcazou at gcc dot gnu dot org
2006-03-19 5:55 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
6 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-03-11 17:57 UTC (permalink / raw)
To: gcc-bugs
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |ebotcazou at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2006-03-11 15:20:19 |2006-03-11 17:56:58
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
[not found] <bug-18692-7737@http.gcc.gnu.org/bugzilla/>
2005-10-04 19:28 ` pinskia at gcc dot gnu dot org
@ 2005-10-04 19:29 ` pinskia at gcc dot gnu dot org
2006-03-11 17:57 ` ebotcazou at gcc dot gnu dot org
` (4 subsequent siblings)
6 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-10-04 19:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from pinskia at gcc dot gnu dot org 2005-10-04 19:29 -------
(In reply to comment #10)
> I stoped working on this a while back.
Well right after powerpc-darwin stoped bootstrapping Ada.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/18692] Ada should have a dg testsuite
[not found] <bug-18692-7737@http.gcc.gnu.org/bugzilla/>
@ 2005-10-04 19:28 ` pinskia at gcc dot gnu dot org
2005-10-04 19:29 ` pinskia at gcc dot gnu dot org
` (5 subsequent siblings)
6 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-10-04 19:28 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from pinskia at gcc dot gnu dot org 2005-10-04 19:28 -------
I stoped working on this a while back.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|pinskia at gcc dot gnu dot |unassigned at gcc dot gnu
|org |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18692
^ permalink raw reply [flat|nested] 13+ messages in thread
end of thread, other threads:[~2006-06-20 6:24 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-11-27 19:33 [Bug ada/18692] New: Ada should have a dg testsuite phython at gcc dot gnu dot org
2004-11-27 19:34 ` [Bug ada/18692] " pinskia at gcc dot gnu dot org
2004-11-27 20:53 ` phython at gcc dot gnu dot org
2004-11-28 16:14 ` phython at gcc dot gnu dot org
2005-06-18 23:58 ` pinskia at gcc dot gnu dot org
2005-07-05 13:55 ` pinskia at gcc dot gnu dot org
[not found] <bug-18692-7737@http.gcc.gnu.org/bugzilla/>
2005-10-04 19:28 ` pinskia at gcc dot gnu dot org
2005-10-04 19:29 ` pinskia at gcc dot gnu dot org
2006-03-11 17:57 ` ebotcazou at gcc dot gnu dot org
2006-03-19 5:55 ` pinskia at gcc dot gnu dot org
2006-06-20 6:13 ` ebotcazou at gcc dot gnu dot org
2006-06-20 6:24 ` ebotcazou at gcc dot gnu dot org
2006-06-20 7:48 ` ebotcazou at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).