Merge branch 'garese/kill-358-light' into 'master'

Adapt expr func aspect test for light runtimes

Closes #364

See merge request eng/das/cov/gnatcoverage!718

Closes #364

Author: Viviane Garese

testsuite/tests/instr-cov/358-exprf-aspects/src/aspect.adb

@@ -0,0 +1,11 @@
+pragma Ada_2012;
+
+package Aspect is
+
+   function Foo return Integer is (42)                     -- # expr
+     with Convention => Stdcall;
+
+   type Foo_Type is access
+      function return Integer with Convention => Stdcall;
+
+end Aspect;

testsuite/tests/instr-cov/358-exprf-aspects/src/aspect.ads

@@ -0,0 +1,8 @@
+with Aspect; use Aspect;
+
+procedure Foo is
+
+   Dummy : Foo_Type := Foo'Access; -- # d
+begin
+   null;
+end;

testsuite/tests/instr-cov/358-exprf-aspects/src/foo.adb

@@ -1,15 +1,15 @@
-with Aspect;
+with Foo;
 
 --  Check that when instrumenting an expression function with aspects, these
 --  aspects are also correctly attached to both the new intermediary function
 --  and to the augmented expression function.
 
 procedure Test_Aspect is
 begin
-   Aspect;
+   Foo;
 end Test_Aspect;
 
---# aspect.adb
+--# aspect.ads
 -- /expr/  l- ## s-
--- /type/  l+ ## 0
--- /dummy/ l+ ## 0
+--# foo.adb
+-- /d/ l+ ## 0