← Back to branch summary

~ubuntu-branches/ubuntu/jaunty/adacontrol/jaunty

« back to all changes in this revision

Viewing changes to test/t_uncheckable-usage.adb

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2008-04-27 15:25:59 UTC
  • mfrom: (1.1.3 upstream)
  • Revision ID: james.westby@ubuntu.com-20080427152559-qrlic533a1x02flu
Tags: 1.8r8-1

* New upstream version.
* debian/adacontrol.gpr: delete; use upstream's project file instead.
* patches/build.patch: patch upstream's project file to change Object_Dir
  and Exec_Dir.
* Build-depend on asis 2007 and gnat-4.3.
* Add support for mips, mipsel and ppc64.
* Build and provide ptree.
* ptree.1: new.
* adactl.1: update; new options and rules are available.

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/t_uncheckable-usage.adb
 
1
with System; use System;
 
2
separate (T_Uncheckable)
 
3
procedure Usage is
 
4
 
 
5
   V : aliased Integer;                 -- Usage
 
6
   C : aliased constant Integer := 1;   -- Usage
 
7
 
 
8
   type Acc is access constant Integer;
 
9
   Ptr  : Acc;                           -- Usage
 
10
   Elem : Integer renames Ptr.all;
 
11
 
 
12
   generic
 
13
      X : in Integer;
 
14
   procedure Gen;
 
15
   procedure Gen is
 
16
   begin
 
17
     null;-- V := X;
 
18
   end Gen;
 
19
 
 
20
   procedure Inst is new Gen (Elem);    -- Uncheckable
 
21
begin
 
22
   V := Elem;                           -- Uncheckable
 
23
 
 
24
   Ptr := V'Access;                     -- Uncheckable
 
25
   Ptr := C'Unchecked_Access;           -- Uncheckable
 
26
   if V'Address = Null_Address then     -- Uncheckable
 
27
      null;
 
28
   end if;
 
29
end Usage;