Opened 5 months ago
Closed 5 months ago
#70278 closed defect (fixed)
chez-scheme @10.0.0: error: use of unknown builtin '__builtin_add_overflow'
Reported by: | barracuda156 | Owned by: | mohd-akram (Mohamed Akram) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.9.3 |
Keywords: | yosemite, mavericks, mountainlion, lion, haspatch | Cc: | |
Port: | chez-scheme |
Description
There are no logs anymore, but I open the issue since I need this port for idris2
.
It builds and works on my 10.6 ppc, so should be fixable on x86 for sure.
Change History (6)
comment:1 Changed 5 months ago by ryandesign (Ryan Carsten Schmidt)
comment:2 follow-up: 4 Changed 5 months ago by ryandesign (Ryan Carsten Schmidt)
In #60698 we worked around the problem by blacklisting {clang < 800}
. It would be better if chez-scheme would only use __builtin_add_overflow
if the compiler supports it. At present, they use it if USE_OVERFLOW_INTRINSICS
is defined, and they define it for gcc 5 or greater or any version of clang, which is clearly wrong. I filed a bug report with them here: https://github.com/cisco/ChezScheme/issues/845
comment:3 Changed 5 months ago by ryandesign (Ryan Carsten Schmidt)
Keywords: | snowleopard removed |
---|---|
Summary: | chez-scheme fails on 10.10 and earlier → chez-scheme @10.0.0: error: use of unknown builtin '__builtin_add_overflow' |
The error on Snow Leopard is different; see #70280.
comment:4 Changed 5 months ago by barracuda156
Replying to ryandesign:
In #60698 we worked around the problem by blacklisting
{clang < 800}
. It would be better if chez-scheme would only use__builtin_add_overflow
if the compiler supports it. At present, they use it ifUSE_OVERFLOW_INTRINSICS
is defined, and they define it for gcc 5 or greater or any version of clang, which is clearly wrong. I filed a bug report with them here: https://github.com/cisco/ChezScheme/issues/845
Thank you, Ryan!
comment:5 Changed 5 months ago by ryandesign (Ryan Carsten Schmidt)
Keywords: | haspatch added |
---|
comment:6 Changed 5 months ago by ryandesign (Ryan Carsten Schmidt)
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
I reran the buildbot builds and the error is: