testsuite/gna/issue2215/e.vhdl


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

entity e is end;

architecture a of e is
begin
    process
        variable v : real;

        subtype t is real range 2.0 to 2.0;
        variable v1 : t;

        variable v2 : t := 2.0;

        constant c1 : t := 2.0;
    begin
        report "exp: -1.7976931348623157e308, act: " & real'image(v);                   
        report "exp: ???,                     act: " & real'image(v * 1000.0);          
        assert v = real'left severity failure;         -- Should not trigger. Does not trigger
                                                
        report "exp: 2.0,                     act: " & real'image(v1);                  
        report "exp: 1.002e3,                 act: " & real'image(v1 + 1000.0);         
        assert v1 = t'left severity failure;           -- Should not trigger. Does not trigger

        report "exp: 2.0,                     act: " & real'image(v2);                  
        report "exp: 1.002e3,                 act: " & real'image(v2 + 1000.0);         
        assert v2 = t'left severity failure;           -- Should not trigger. Does not trigger

        report "exp: 2.0,                     act: " & real'image(c1);                  
        report "exp: 1.002e3,                 act: " & real'image(c1 + 1000.0);         
        assert c1 = t'left severity failure;           -- Should not trigger. Does not trigger

        std.env.finish;                                                                                       
    end process;
end;