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(
814814 // _Float128
815815 kind = 49 and base = 2 and domain = TRealDomain ( ) and realKind = 49 and extended = false
816816 or
817- // _Float128x
818- kind = 50 and base = 2 and domain = TRealDomain ( ) and realKind = 50 and extended = true
819- or
820817 // _Float16
821818 kind = 52 and base = 2 and domain = TRealDomain ( ) and realKind = 52 and extended = false
822819 or
Original file line number Diff line number Diff line change 1313| file://:0:0:0:0 | _Float64 |
1414| file://:0:0:0:0 | _Float64x |
1515| file://:0:0:0:0 | _Float128 |
16- | file://:0:0:0:0 | _Float128x |
1716| file://:0:0:0:0 | _Imaginary double |
1817| file://:0:0:0:0 | _Imaginary float |
1918| file://:0:0:0:0 | _Imaginary long double |
Original file line number Diff line number Diff line change 3333| file://:0:0:0:0 | _Float64 | 8 |
3434| file://:0:0:0:0 | _Float64x | 16 |
3535| file://:0:0:0:0 | _Float128 | 16 |
36- | file://:0:0:0:0 | _Float128x | 32 |
3736| file://:0:0:0:0 | _Imaginary double | 8 |
3837| file://:0:0:0:0 | _Imaginary float | 4 |
3938| file://:0:0:0:0 | _Imaginary long double | 16 |
Original file line number Diff line number Diff line change 1515| file://:0:0:0:0 | _Float64 | _Float64 |
1616| file://:0:0:0:0 | _Float64x | _Float64x |
1717| file://:0:0:0:0 | _Float128 | _Float128 |
18- | file://:0:0:0:0 | _Float128x | _Float128x |
1918| file://:0:0:0:0 | _Imaginary double | _Imaginary double |
2019| file://:0:0:0:0 | _Imaginary float | _Imaginary float |
2120| file://:0:0:0:0 | _Imaginary long double | _Imaginary long double |
Original file line number Diff line number Diff line change 1414| _Float64 | BinaryFloatingPointType, RealNumberType | | | | |
1515| _Float64x | BinaryFloatingPointType, RealNumberType | | | | |
1616| _Float128 | BinaryFloatingPointType, RealNumberType | | | | |
17- | _Float128x | BinaryFloatingPointType, RealNumberType | | | | |
1817| _Imaginary double | BinaryFloatingPointType, ImaginaryNumberType | | | | |
1918| _Imaginary float | BinaryFloatingPointType, ImaginaryNumberType | | | | |
2019| _Imaginary long double | BinaryFloatingPointType, ImaginaryNumberType | | | | |
You can’t perform that action at this time.
0 commit comments