diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-06 09:49:23 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-06 09:49:23 +0000 |
| commit | 27286d2be5a66f309b79a7b0b460b0a35470b499 (patch) | |
| tree | cb0c936e428ab60f540d6d67d357203a7821d210 /gcc/ada/impunit.adb | |
| parent | d4f55b2a19778152929495a3eb02f6b295c5f5cd (diff) | |
| download | gcc-27286d2be5a66f309b79a7b0b460b0a35470b499.tar.gz | |
2012-11-06 Robert Dewar <dewar@adacore.com>
* exp_prag.adb, impunit.adb, exp_ch9.adb, par-ch4.adb,
s-tarest.adb: Minor reformatting.
2012-11-06 Tristan Gingold <gingold@adacore.com>
* s-tposen.ads: Minor comment update.
2012-11-06 Arnaud Charlet <charlet@adacore.com>
* sysdep.c: Rename sig* wrappers to use unique names.
2012-11-06 Yannick Moy <moy@adacore.com>
* exp_dbug.adb (Qualify_Entity_Name): Mark entity as having a qualified
name after being treated, in formal verification mode.
2012-11-06 Fedor Rybin <frybin@adacore.com>
* gnat_ugn.texi: Updating gnattest section to reflect changes
in default behaviour of the tool.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193215 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/impunit.adb')
| -rw-r--r-- | gcc/ada/impunit.adb | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/gcc/ada/impunit.adb b/gcc/ada/impunit.adb index ad4902a3ab6..efeb8960a4e 100644 --- a/gcc/ada/impunit.adb +++ b/gcc/ada/impunit.adb @@ -663,11 +663,14 @@ package body Impunit is return Not_Predefined_Unit; end if; - -- Not predefined if file name does not end in .ads or .adb. This can - -- happen when non-standard file names are being used. Calling this - -- function on a .adb file is used in GNATprove to detect when a - -- construct comes from an instance of a generic defined in a predefined - -- unit. + -- To be considered predefined, the file name must end in .ads or .adb. + -- File names with other extensions (coming from the use of non-standard + -- file naming schemes) can never be predefined. + + -- Note that in the context of a compiler, the .adb case will never + -- arise. However it can arise for other tools, e.g. gnatprove uses + -- this routine to detect when a construct comes from an instance of + -- a generic defined in a predefined unit. if Name_Buffer (Name_Len - 3 .. Name_Len) /= ".ads" and then |