File tree Expand file tree Collapse file tree 5 files changed +0
-7
lines changed
templates/type_instantiations Expand file tree Collapse file tree 5 files changed +0
-7
lines changed Original file line number Diff line number Diff line change @@ -814,9 +814,6 @@ private predicate floatingPointTypeMapping(
814
814
// _Float128
815
815
kind = 49 and base = 2 and domain = TRealDomain ( ) and realKind = 49 and extended = false
816
816
or
817
- // _Float128x
818
- kind = 50 and base = 2 and domain = TRealDomain ( ) and realKind = 50 and extended = true
819
- or
820
817
// _Float16
821
818
kind = 52 and base = 2 and domain = TRealDomain ( ) and realKind = 52 and extended = false
822
819
or
Original file line number Diff line number Diff line change 13
13
| file://:0:0:0:0 | _Float64 |
14
14
| file://:0:0:0:0 | _Float64x |
15
15
| file://:0:0:0:0 | _Float128 |
16
- | file://:0:0:0:0 | _Float128x |
17
16
| file://:0:0:0:0 | _Imaginary double |
18
17
| file://:0:0:0:0 | _Imaginary float |
19
18
| file://:0:0:0:0 | _Imaginary long double |
Original file line number Diff line number Diff line change 33
33
| file://:0:0:0:0 | _Float64 | 8 |
34
34
| file://:0:0:0:0 | _Float64x | 16 |
35
35
| file://:0:0:0:0 | _Float128 | 16 |
36
- | file://:0:0:0:0 | _Float128x | 32 |
37
36
| file://:0:0:0:0 | _Imaginary double | 8 |
38
37
| file://:0:0:0:0 | _Imaginary float | 4 |
39
38
| file://:0:0:0:0 | _Imaginary long double | 16 |
Original file line number Diff line number Diff line change 15
15
| file://:0:0:0:0 | _Float64 | _Float64 |
16
16
| file://:0:0:0:0 | _Float64x | _Float64x |
17
17
| file://:0:0:0:0 | _Float128 | _Float128 |
18
- | file://:0:0:0:0 | _Float128x | _Float128x |
19
18
| file://:0:0:0:0 | _Imaginary double | _Imaginary double |
20
19
| file://:0:0:0:0 | _Imaginary float | _Imaginary float |
21
20
| file://:0:0:0:0 | _Imaginary long double | _Imaginary long double |
Original file line number Diff line number Diff line change 14
14
| _Float64 | BinaryFloatingPointType, RealNumberType | | | | |
15
15
| _Float64x | BinaryFloatingPointType, RealNumberType | | | | |
16
16
| _Float128 | BinaryFloatingPointType, RealNumberType | | | | |
17
- | _Float128x | BinaryFloatingPointType, RealNumberType | | | | |
18
17
| _Imaginary double | BinaryFloatingPointType, ImaginaryNumberType | | | | |
19
18
| _Imaginary float | BinaryFloatingPointType, ImaginaryNumberType | | | | |
20
19
| _Imaginary long double | BinaryFloatingPointType, ImaginaryNumberType | | | | |
You can’t perform that action at this time.
0 commit comments