diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 10:18:13 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 10:18:13 +0200 |
| commit | 9534ab171e71fa56c4b384c5984d0d457f2eb55d (patch) | |
| tree | d0172f181b3e0387bab1071971a969a1d5197954 /gcc/ada/adaint.c | |
| parent | 5c0e97dd35b7d16366bbae34539edff776f0b43c (diff) | |
| download | gcc-9534ab171e71fa56c4b384c5984d0d457f2eb55d.zip gcc-9534ab171e71fa56c4b384c5984d0d457f2eb55d.tar.gz gcc-9534ab171e71fa56c4b384c5984d0d457f2eb55d.tar.bz2 | |
[multiple changes]
2011-08-04 Yannick Moy <moy@adacore.com>
* einfo.adb, einfo.ads (Formal_Proof_On): new flag set on subprogram
entities whose body contains an Annotate pragma which forces formal
proof on this body.
* sem_ch11.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb,
sem_ch6.adb, sem_ch9.adb, sem_res.adb: Adapt call to
Mark_Non_ALFA_Subprogram to pass in a message and node.
* sem_prag.adb (Analyze_Pragma): add treatment of pragma Annotate
(Forma_Proof, On) which sets the flag Formal_Proof_On in the
surrounding subprogram.
* sem_util.adb, sem_util.ads (Mark_Non_ALFA_Subprogram,
Mark_Non_ALFA_Subprogram_Unconditional): if the subprogram being marked
as not in ALFA is annotated with Formal_Proof being On, then an error
is issued based on the additional parameters for message and node.
* snames.ads-tmpl (Name_Formal_Proof): new name for annotation.
* gcc-interface/Make-lang.in: Update dependencies.
2011-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Do not generate
Finalize_Address when CodePeer is enabled.
2011-08-04 Pascal Obry <obry@adacore.com>
* adaint.c (__gnat_tmp_name): Use _tempnam() instead of tempnam() as
the latter returns a pointer to a static buffer which is deallocated
at the end of the routine.
From-SVN: r177328
Diffstat (limited to 'gcc/ada/adaint.c')
| -rw-r--r-- | gcc/ada/adaint.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c index 3d4c50a..b0fd8c5 100644 --- a/gcc/ada/adaint.c +++ b/gcc/ada/adaint.c @@ -1183,7 +1183,7 @@ __gnat_tmp_name (char *tmp_filename) directory specified by P_tmpdir in stdio.h if c:\temp does not exist. The filename will be created with the prefix "gnat-". */ - pname = (char *) tempnam ("c:\\temp", "gnat-"); + pname = (char *) _tempnam ("c:\\temp", "gnat-"); /* if pname is NULL, the file was not created properly, the disk is full or there is no more free temporary files */ |