forked from cil-project/cil
-
Notifications
You must be signed in to change notification settings - Fork 21
Milestone
Description
In the latest MacOS CI jobs, the following tests fail due _Float16:
-
testrun/math1 -
testrun/nan-global -
testrunc99/c99-complex -
testrunc99/c99-float-pragma -
testrunc99/c99-tgmath -
testrunc99/c99-tgmath2
The errors are of the form
Starting test 439/455 on Mon Sep 1 12:14:38 2025: testrunc99/c99-tgmath
/Library/Developer/CommandLineTools/SDKs/MacOSX15.sdk/usr/include/math.h[619:8-16] : syntax error
Parsing errorFatal error: exception GoblintCil__Frontc.ParseError("Parse error")
make: *** [testrunc99/c99-tgmath] Error 2
where the problematic header is the following: https://github.com/alexey-lysiuk/macos-sdk/blob/e96f557d53a0282abc7c93a76a802605b20e4282/MacOSX15.5.sdk/usr/include/math.h#L618-L631.