Discussion :

[NoHaZ4rD]

Bonjour à tous.
Voilà lorsque je provoque un débordement arithmétique dans un case, je n'arrive
pas à récupérer l'exception, pourtant si je fais un "out of range" dans un tableau une exception est bien levé.Voici mon programme ci dessous.
Quelqu'un pourrai m'expliquer ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
 
 
with Ada.Text_Io,Ada.Integer_Text_io;
use Ada.Text_Io,Ada.Integer_Text_Io;
 
 
 
 
procedure Hi is
   H:Character;
   I:Integer;
   Tab:array(1..8) of Integer;
begin
   H:='a';
 
   -- si on décommente ça léve bien une exception
   --I:=Integer'Last;
   --I:=I+1;
 
   case H is
      when 'a' =>
         begin
            I:=Integer'Last;
            I:=I+1;
            Put(I);
            --Tab(9):=4; Si on enléve le com ça léve bien une exception
         exception
            when others =>
               Put("Devrait Afficher Ceci, ");
               raise;
         end;
 
 
      when others =>
         begin
            Put("Others");
         end;
 
 
   end case;
 
 
 
exception
   when others =>
      Put("puis ceci ?");
      raise;
 
 
 
end;

[Invité]

Je ne sais pas, j'ai remarqué qu'on avait changé de signe tout de même.
Je suis sur Ada 200x sur Windows, tu devrai essayer de compiler comme il faut pour être au norme 83 pour voir. je vais tester sur Linux.

[NoHaZ4rD]

Pour info je suis sous ubuntu et j'utilise gnatmake.
En éxécutant gnatmake avec ces options:
gnatmake -gnat83 hi.adb
ça ne change rien.

[Invité]

Non, pour moi non plus ça ne change rien.

Il doit y avoir une explication, mais je ne la connais pas.:/

[gabuzo66]

Ceci ressemble à
"I understand Ada is supposed to have range checking for scalar types but I wrote a test program that I expected would generate an exception and did not get one. What happened? "

de la page

http://gcc.gnu.org/wiki/GNAT

Réponse : Ajouter -gnato

[NoHaZ4rD]

merci pour cette réponse , celà fonctionne effectivement mais il faut supprimer le .ali
avant de recompiler sinon ça ne change rien.

[gabuzo66]

Si tu change les options de compilation, ajoute toujours l'option -s à gnatmake:

-s
Recompile if compiler switches have changed since last compilation

http://gcc.gnu.org/onlinedocs/gnat_u...s-for-gnatmake