Skip to content

transpile: Fix f128.c snapshot test#1727

Open
Rua wants to merge 1 commit intoimmunant:masterfrom
Rua:f128-test-fix
Open

transpile: Fix f128.c snapshot test#1727
Rua wants to merge 1 commit intoimmunant:masterfrom
Rua:f128-test-fix

Conversation

@Rua
Copy link
Copy Markdown
Contributor

@Rua Rua commented Apr 3, 2026

It seems that the way snapshot tests work has changed, and so this test was never actually being run? That would explain why there were no errors from it. Now that it's actually working, it needed to be split because MacOS apparently doesn't support __float128 at all.

@Rua Rua force-pushed the f128-test-fix branch from c9c6c00 to 32db6b1 Compare April 3, 2026 10:00
@Rua Rua force-pushed the f128-test-fix branch 6 times, most recently from 5c8ff2a to 425775a Compare April 3, 2026 11:06
@Rua
Copy link
Copy Markdown
Contributor Author

Rua commented Apr 3, 2026

It seems that Clang 15 doesn't support __float128 either? How does c2rust deal with that situation in tests?

Copy link
Copy Markdown
Contributor

@kkysen kkysen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This isn't really splitting f128.c as it is actually testing it, right? A #[test] for f128.c was missing before, right?

@Rua
Copy link
Copy Markdown
Contributor Author

Rua commented Apr 3, 2026

It's splitting it by OS, but yes.

@Rua Rua force-pushed the f128-test-fix branch from 425775a to 27c9fb7 Compare April 4, 2026 15:45
@Rua Rua changed the title transpile: Split f128.c snapshot test transpile: Fix f128.c snapshot test Apr 4, 2026
@Rua
Copy link
Copy Markdown
Contributor Author

Rua commented Apr 4, 2026

This now depends on #1730, which allows the Clang 15 test to pass.

@Rua Rua force-pushed the f128-test-fix branch from 27c9fb7 to 376ff8d Compare April 4, 2026 15:56
@Rua Rua force-pushed the f128-test-fix branch from 376ff8d to de6d747 Compare April 9, 2026 21:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants