File tree Expand file tree Collapse file tree 4 files changed +4
-12
lines changed
cpp/ql/test/library-tests/floats/float128 Expand file tree Collapse file tree 4 files changed +4
-12
lines changed Load Diff This file was deleted.
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1
- typedef _Complex float __attribute__ ((mode(TC))) _Complex128; // [COMPILER ERROR AND ERROR-TYPE DUE TO __float128 BEING DISABLED]
2
- typedef float __attribute__ ((mode(TF))) _Float128; // [COMPILER ERROR AND ERROR-TYPE DUE TO __float128 BEING DISABLED]
1
+ typedef _Complex float __attribute__ ((mode(TC))) _Complex128;
2
+ typedef float __attribute__ ((mode(TF))) _Float128;
3
3
4
4
int main () {
5
5
__float128 f = 1 .0f ;
@@ -25,4 +25,3 @@ __float128 id(__float128 q)
25
25
{
26
26
return q;
27
27
}
28
- // semmle-extractor-options: --expect_errors
Original file line number Diff line number Diff line change 1
- | float128.cpp:1:50:1:60 | _Complex128 | file://:0:0:0:0 | <error-type> |
2
- | float128.cpp:2:41:2:49 | _Float128 | file://:0:0:0:0 | <error-type> |
1
+ | float128.cpp:1:50:1:60 | _Complex128 | file://:0:0:0:0 | float __complex__ |
2
+ | float128.cpp:2:41:2:49 | _Float128 | file://:0:0:0:0 | __float128 |
3
3
| float128.cpp:13:29:13:54 | __is_floating_point_helper<T> | float128.cpp:10:8:10:17 | false_type |
4
4
| float128.cpp:14:19:14:51 | __is_floating_point_helper<float> | float128.cpp:11:8:11:16 | true_type |
5
5
| float128.cpp:15:19:15:52 | __is_floating_point_helper<double> | float128.cpp:11:8:11:16 | true_type |
You can’t perform that action at this time.
0 commit comments