[Ada] New routine to access file on command line
authorJohannes Kanig <kanig@adacore.com>
Wed, 3 Jul 2019 08:16:15 +0000 (08:16 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 3 Jul 2019 08:16:15 +0000 (08:16 +0000)
commit10aea826dae5e3bc306dc74b4aea9df830a3c96c
treea0561d5b7b16fc1bba8a5edd751da968042983f8
parent5460389b1fde0393afeaab5ce338ebe72a517cae
[Ada] New routine to access file on command line

This patch adds a new routine to query the first file argument of the
commandline without moving to the next file. This is needed in SPARK.

There is no impact on compilation.

2019-07-03  Johannes Kanig  <kanig@adacore.com>

gcc/ada/

* osint.ads, osint.adb (Get_First_Main_File_Name): New routine
to access the first file provided on the command line.

From-SVN: r272984
gcc/ada/ChangeLog
gcc/ada/osint.adb
gcc/ada/osint.ads