lang/gnat15: remove -Werror
Compilation fails on arm64 because
enable-execute-stack.c:33:13: error: 'check_enabling' declared 'static' but never defined [-Werror=unused-function]
33 | static void check_enabling (void) __attribute__ ((unused));
| ^~~~~~~~~~~~~~
cc1: all warnings being treated as errors
PR: 292708
Reported by: pkg-fallout
[SmallPtrSet] Optimize Grow and inline FindBucketFor. NFC (#206304)
During rehashing every key is known absent, so skip the equal-key
comparison.
DenseMap got a similar optimization in #200595
FindBucketFor is then only used by insert_imp_big; inline its probe loop
there. The loop takes 7 inst instead of 9 in the clang-generated
assembly after removing the two `LLVM_LIKELY`.
Mk/Uses/ada.mk: Update comment
Update comment:
* Following the addition of the Ada tool-chain GNAT-15, update the
comment explaining the version args in ada.mk
PR: 296347
[LV] Add test with pointer based on SRem expression (NFC). (#206344)
Add a test with loads and stores with pointers based on a signed
remainder (srem) of a non-negative induction variable, mirroring the
existing urem test.
[SLP][NFC] Avoid undef usage in odd_store.ll (#206333)
Replace `ret i32 undef` with void return type to avoid CI undef
deprecator failures.
For this PR: https://github.com/llvm/llvm-project/pull/206259
ledger: update to 3.4.1.
Based on wip/ledger by atomicules with some fixes.
3.4.1
Fix version number in binary
Assets 2
Source code (zip)
Oct 26, 2025
Source code (tar.gz)
Oct 26, 2025
1 person reacted
3.4.0
Oct 22, 2025
@jwiegley jwiegley
[72 lines not shown]
Import math/cadical from wip, update to 3.0.0, add TEST_TARGET.
The goal of the development of CaDiCaL was to obtain a CDCL solver,
which is easy to understand and change, while at the same time not
being much slower than other state-of-the-art CDCL solvers.
