[Ada] Aspect Import with a value of False

[Arnaud Charlet <charlet at adacore dot com>]

In Ada 2012, boolean aspects are True by default, but can specify explicitly
a value of False. In the case of an Import aspect, this indicates that the
corresponding entity must have a completion in Ada, and not in the language
specified in a Convention aspect.

Compiling main.adb must yield:

    main.adb:4:04: missing body for "Get_Length"

---
with Interfaces.C; with Ada.Text_IO;
procedure Main is
   
   function Get_Length return Interfaces.C.size_t with
      Convention    => C,
      Import        => False,
      External_Name => "getLength";

begin
   Ada.Text_IO.Put_Line(Get_Length'Img);
end Main;

Tested on x86_64-pc-linux-gnu, committed on trunk

2014-08-04  Ed Schonberg  <schonberg@adacore.com>

	* sem_prag.adb (Process_Import_Or_Interface): Handle properly
	an aspect Import that specifies a False value.

Attachment: difs
Description: Text document