gcc-dg.exp (cleanup-ada-spec): New procedure.

* lib/gcc-dg.exp (cleanup-ada-spec): New procedure.
	* lib/scanasm.exp (get_ada_spec_filename): Likewise.
	(scan-ada-spec): Likewise.
	(scan-ada-spec-not): Likewise.
	* gcc.dg/dump-ada-spec-1.c: New test.
	* g++.dg/other/dump-ada-spec-1.C: Likewise.

From-SVN: r192106
This commit is contained in:
Eric Botcazou 2012-10-04 21:34:13 +00:00 committed by Eric Botcazou
parent 6b3aed1375
commit 06c5d264f8
5 changed files with 74 additions and 0 deletions

View File

@ -1,3 +1,12 @@
2012-10-04 Eric Botcazou <ebotcazou@adacore.com>
* lib/gcc-dg.exp (cleanup-ada-spec): New procedure.
* lib/scanasm.exp (get_ada_spec_filename): Likewise.
(scan-ada-spec): Likewise.
(scan-ada-spec-not): Likewise.
* gcc.dg/dump-ada-spec-1.c: New test.
* g++.dg/other/dump-ada-spec-1.C: Likewise.
2012-10-04 Eric Botcazou <ebotcazou@adacore.com>
* gcc.dg/lto/20120723_0.c: Skip on SPARC 32-bit.

View File

@ -0,0 +1,10 @@
/* { dg-do compile } */
/* { dg-options "-fdump-ada-spec" } */
struct S
{
int i;
};
/* { dg-final { scan-ada-spec "type S is record" } } */
/* { dg-final { cleanup-ada-spec } } */

View File

@ -0,0 +1,10 @@
/* { dg-do compile } */
/* { dg-options "-fdump-ada-spec" } */
struct S
{
int i;
};
/* { dg-final { scan-ada-spec "type S is record" } } */
/* { dg-final { cleanup-ada-spec } } */

View File

@ -503,6 +503,19 @@ proc cleanup-stack-usage { } {
}
}
# Remove an Ada spec file for the current test.
proc cleanup-ada-spec { } {
set testcase [testname-for-summary]
remove-build-file "[get_ada_spec_filename $testcase]"
# Clean up files for additional source files.
if [info exists additional_sources] {
foreach srcfile $additional_sources {
remove-build-file "[get_ada_spec_filename $srcfile]"
}
}
}
# Remove all dump files with the provided suffix.
proc cleanup-dump { suffix } {
set testcase [testname-for-summary]

View File

@ -184,6 +184,38 @@ proc scan-stack-usage-not { args } {
dg-scan "scan-file-not" 0 $testcase $output_file $args
}
# Return the filename of the Ada spec corresponding to the argument.
proc get_ada_spec_filename { testcase } {
# The name might include a list of options; extract the file name.
set filename [lindex $testcase 0]
set tailname [file tail $filename]
set extension [string trimleft [file extension $tailname] {.}]
set rootname [regsub -all {\-} [file rootname $tailname] {_}]
return [string tolower "${rootname}_${extension}.ads"]
}
# Look for a pattern in the .ads file produced by the compiler. See
# dg-scan for details.
proc scan-ada-spec { args } {
set testcase [testname-for-summary]
set output_file "[get_ada_spec_filename $testcase]"
dg-scan "scan-file" 1 $testcase $output_file $args
}
# Check that a pattern is not present in the .ads file produced by the
# compiler. See dg-scan for details.
proc scan-ada-spec-not { args } {
set testcase [testname-for-summary]
set output_file "[get_ada_spec_filename $testcase]"
dg-scan "scan-file-not" 0 $testcase $output_file $args
}
# Call pass if pattern is present given number of times, otherwise fail.
proc scan-assembler-times { args } {
if { [llength $args] < 2 } {