Planet SBCL Archives - March, 2025

< February, 2025

March, 2025

March, 2025

1st

[2100647] The value #\U9D687 is not of type REAL - Launchpad Bugs
%test-headers: jump to the right place when omitting widetag checks. - SBCL Commits
github actions: restore ppc64le - SBCL Commits
cast-externally-checkable-p: consider multiple-valued lvars. - SBCL Commits
x86-64: Compute load-symbol's offset in the expander - SBCL Commits
Cast NIL_SYMBOL_SLOTS to lispobj* in the macro - SBCL Commits

2nd

[2100706] chdir fails on Windows with non-latin characters in path - Launchpad Bugs
Make array type differences canonical. - SBCL Commits
Do without needle-in-a-haystack search when looking at cold-sbcl.map - SBCL Commits
Note the DEFMETHODs which genesis won't install - SBCL Commits
[2100708] Incorrect result from SUBTYPEP - Launchpad Bugs
Use preexisting type - SBCL Commits
Export an sb-impl: symbol - SBCL Commits
Better subtypep on specialized arrays types. - SBCL Commits
array-type-force-specialized: don't create new types. - SBCL Commits
[2100722] Another subtypep problem - Launchpad Bugs
Fix massively wrong tune_asm_routines_for_microarch - SBCL Commits
Intersect two negated numeric types. - SBCL Commits

3rd

[2100728] Another subtypep inconsistency - Launchpad Bugs
array :complex-intersection2: better no-op detection. - SBCL Commits
array :complex-intersection2: use the expressed type. - SBCL Commits
[2100779] Subtypep inconsistency - Launchpad Bugs
Use upgraded element types when uniting array types. - SBCL Commits
[2100784] Subtype inconsistency - Launchpad Bugs
Delete functiom that drops out in tree-shaking - SBCL Commits
Intersect two negated array types with differing simplicity. - SBCL Commits
[2100812] Subtypep inconsistency - Launchpad Bugs
Handle array type unions with negated array types. - SBCL Commits

4th

[2100817] Control stack exhausted in type union - Launchpad Bugs
Correct array :complex-union2. - SBCL Commits
[2100825] Subtypep inconsistency - Launchpad Bugs
[2100826] Mutual tail calls won't be optimized if type declarations exist - Launchpad Bugs
Handle union of negated array types. - SBCL Commits
[2100885] Subtypep inconsistency - Launchpad Bugs
Don't extend local declarations to &key arguments. - SBCL Commits
Trust local ftype declarations with safety 0. - SBCL Commits
x86-64: Emit denser code for LIST, LIST* - SBCL Commits
Restore prezeroed heap treatment in init-list - SBCL Commits

5th

Remove a special case in intersection :simple-union2 - SBCL Commits
x86-64: Perform exactly one store instruction for (cons nil nil) - SBCL Commits
x86-64: Improve list-ctor-push-elt - SBCL Commits
Make two minor simplifications - SBCL Commits

6th

Simplify the make-value-cell vop - SBCL Commits
Use immediate-tn-repr in more places - SBCL Commits
[2101073] The value #<SB-KERNEL:NAMED-TYPE NIL> is not of type SB-KERNEL:NUMERIC-UNION-TYPE - Launchpad Bugs
truncate-derive-type-quot: properly use *conservative-quotient-bound*. - SBCL Commits
Include tests. - SBCL Commits

7th

[2101143] sb-bsd-sockets timeout not working - Launchpad Bugs
Factor out the :unused-if for MOVE and MOVE-ARG - SBCL Commits
Better classoid type intersections. - SBCL Commits
Repurpose gc card base reg as null-tn - SBCL Commits
[2101170] Subtypep inconsistency - Launchpad Bugs
x86-64: Remove some +/- immobile and +/- thread conditionals - SBCL Commits
Treat named types as classoids for type intersections. - SBCL Commits
[2101183] Subtypep inconsistency - Launchpad Bugs
Remove vestiges of dynamic extent value cells. - SBCL Commits
Resurrect breakpoint commands and breakpoint based stepping. - SBCL Commits
x86: Fix SINGLE-VALUE-RETURN-BYTE-OFFSET. - SBCL Commits
Add step* command documentation. - SBCL Commits
Canonical intersection of CONS. - SBCL Commits
Use existing manifest constants - SBCL Commits
[2101189] Subtypep inconsistency - Launchpad Bugs
Make a test less brittle - SBCL Commits
[2101192] Control stack exhaustion in type simplification - Launchpad Bugs
Better union of intersections with negated types. - SBCL Commits

8th

Fix semi-buggy SPLAT vops - SBCL Commits
Match dimensions in array :complex-union2. - SBCL Commits
[2101215] Subtypep Inconsistency - Launchpad Bugs
More canonical complex array type negation. - SBCL Commits
[2101399] Subtypep inconsistency - Launchpad Bugs
Classoid with non-classoid type intersections. - SBCL Commits

9th

Add breakpoint/step* command regression tests. - SBCL Commits
x86: Note call/return locations around :raw assembly routines. - SBCL Commits
Print to *debug-io* in breakpoint command code. - SBCL Commits
Split gc_allocate_ptes into two pieces - SBCL Commits
[2101589] Subtypep inconsistency - Launchpad Bugs
arm64: Add breakpoint support. - SBCL Commits
Unify some debugging support for non-lra platforms. - SBCL Commits
Handle union of negated numeric types. - SBCL Commits
Check for cycles before calling add-direct-subclasses. - SBCL Commits
[2101791] Subtypep not terminating - Launchpad Bugs
Fix editcore after rev 2ed36779 - SBCL Commits
Add a restart for an unmatched ). - SBCL Commits
Fix compute-calling-frame on arm64. - SBCL Commits
Disable :breakpoint-and-step on freebsd. - SBCL Commits
Redo a small optimization that linkage-space removed - SBCL Commits
Fix editcore some more - SBCL Commits
[2101803] Subtypep inconsistency (NIL array) - Launchpad Bugs
Correctly create intersections for T arrays. - SBCL Commits

10th

Rebuild xperfecthash files from scratch - SBCL Commits
[2101880] Subtypep inconsistency - Launchpad Bugs
[2101908] run-program test failure - Launchpad Bugs
Adjust the test input manifest checker - SBCL Commits
Ignore SIGCHLD in ldb service thread - SBCL Commits

11th

Better intersection of classes with atoms. - SBCL Commits
[2101929] Not a bug, but example of type pair that subtype doesn't succeed on but does on the contrapositive - Launchpad Bugs
[2101932] Type simplification of an empty type did not terminate - Launchpad Bugs
arm64: Flush the correct instruction address. - SBCL Commits
arm64: More robustly implement after-breakpoints. - SBCL Commits
Add more documentation related to tracing encapsulation. - SBCL Commits
arm64: Implement fun-end-breakpoints. - SBCL Commits
[2102018] sbcl/contrib/sb-simd/examples /benchmarks.lisp Some functions are undefined - Launchpad Bugs
riscv: Fix code object from context. - SBCL Commits
Hide unaligned dx conses from the debugger. - SBCL Commits
Fix fencepost bug - SBCL Commits

12th

Do not cons in floor1/ceiling1 on ratios. - SBCL Commits
x86-64: Add function to emit GC card marking instructions - SBCL Commits
Use the right number of arguments for external frames in the debugger. - SBCL Commits
Don't transform (elt nil n) to nth. - SBCL Commits
Check types for multiple &optionals once. - SBCL Commits
Check for overflow when stack allocating large objects on non-x86. - SBCL Commits
x86: Report size of stack-overflowing allocated objects correctly. - SBCL Commits
x86: Extract out stack overflow checking. - SBCL Commits
riscv: Fix trap handling. - SBCL Commits
Use manual start/size values in gc-space-setup is a more clear way - SBCL Commits

13th

Remove an obsolete constraint on dynamic-space address - SBCL Commits
Fix a test that will fail if address of T is above 2Gb - SBCL Commits
checked-compile-and-assert: don't do 500 compilations for :safe. - SBCL Commits
build-all-cores - SBCL Commits
Define NIL_SYMBOL_SLOTS_END in C, not via genesis - SBCL Commits
Put STATIC-{FUN,FDEFN}-OFFSET together under the same #-linkage-space guard - SBCL Commits
[2102206] Miscompiled branch with IGNORE-ERRORS - Launchpad Bugs
Remove debug-var-valid-value. - SBCL Commits
Speed up call-next-method. - SBCL Commits
Pass the right arguments to no-call-next-method - SBCL Commits
Don't use &rest args for call-next-method without optionals. - SBCL Commits
Don't ignore casts in next-node. - SBCL Commits

14th

[2102644] Bad type in CHECK-TYPE causes compile time error - Launchpad Bugs
Catch bad types in the* - SBCL Commits
[2102653] Bad type in TYPEP in IF causes a compile time error - Launchpad Bugs
Don't crash in constraints on bad typep types. - SBCL Commits
Accept :FS segment prefix - SBCL Commits
process-no-debug-decl: style-warn instead of warn. - SBCL Commits
Don't grab the world lock for change-class on standard-object. - SBCL Commits
Improve some stuff for examining arena memory - SBCL Commits
Pass -arch arm64 on darwin-arm64 - SBCL Commits
[2102684] failed AVER: (NOT (EQ TYPE2 *WILD-TYPE*)) - Launchpad Bugs
Add a thing to compute wasted TLS slots - SBCL Commits

15th

Don't create array types with unknown element type intersections. - SBCL Commits
Make some vop emitters friendlier to keeping NIL in a register - SBCL Commits
arm64: implement sap cas with the cas instructions. - SBCL Commits
build-all-cores - SBCL Commits
Change many uses of NIL-VALUE to a NULL-TN symbol macro - SBCL Commits
Reenable a DX assertion. - SBCL Commits
[2102714] Progressively slowing compilation of forms with undefined types - Launchpad Bugs
[2102715] The value "a" is not of type (OR SB-C:TN SB-X86-64-ASM::REG SB-X86-64-ASM::EA SB-C:FIXUP NULL) when binding SB-X86-64-ASM::THING - Launchpad Bugs
[2102717] The value NIL is not of type SB-C::CTRAN - Launchpad Bugs
note-block-deletion: check for unlinked nodes. - SBCL Commits
Disable :stack-allocated-vector-checks-overflow test. - SBCL Commits
Don't add unknown type constraints from typep. - SBCL Commits
Fix an absuse of truly-the - SBCL Commits
Fix stack overflow checks on x86oids. - SBCL Commits
[2102759] Low bound is not * or a double-float or list of one double-float: 0.0 - Launchpad Bugs
x86-64: Remove zero-fill of low static-space addresses on save - SBCL Commits
constrain-float-type: coerce to double. - SBCL Commits

16th

Declaim ftype of STATIC-SYMBOL-P - SBCL Commits
Restore thread-safety in parse-compiled-debug-blocks. - SBCL Commits
stack: Use lexical scoping to extend stack object lifetimes. - SBCL Commits
[2103368] The value NIL is not of type SB-KERNEL:CTYPE when binding TYPE - Launchpad Bugs
Allow fun-info-externally-checkable-type to return NIL. - SBCL Commits

17th

Remove test's belief that NIL fits in a :DWORD - SBCL Commits
Add a restart to disable fp exceptions. - SBCL Commits
Fix a potential out-of-bounds array access - SBCL Commits

18th

Derive types for CAR/CDR on union types. - SBCL Commits
Fix a test. - SBCL Commits
Change * to something that looks less like C deref - SBCL Commits
Derive the type of POP on constant lists. - SBCL Commits
Make check-ds-list foldable. - SBCL Commits

19th

Make cons-var-car-type less precise. - SBCL Commits
Deal with sb-fasl::*asm-routine-vector* more sanely - SBCL Commits
Add a restart to disable all FP traps. - SBCL Commits
[2103573] failed AVER: (NOT (EQ TYPE2 *WILD-TYPE*)) - Launchpad Bugs
cons-var-car-type: ignore eql-types. - SBCL Commits
x86-64: more compact (eql number number) - SBCL Commits
Fix elftool - SBCL Commits
Finish #+sw-int-avoidance patch less ambitiously - SBCL Commits
x86-64/%test-headers: fix lowtag-only test. - SBCL Commits

20th

Fix node-conservative-type on casts. - SBCL Commits
Get SBCL to self-compile with *stack-allocate-dynamic-extent* NIL - SBCL Commits
Don't use unaligned-dx-cons with stack allocation disabled. - SBCL Commits
[2103726] SBCL's compiler ignores types of values of optional arguments - Launchpad Bugs
Define var sooner for genheaders test - SBCL Commits
maybe-weaken-check: weaken fun-types with zero safety. - SBCL Commits

22nd

Revert "stack: Use lexical scoping to extend stack object lifetimes." - SBCL Commits
Fix #+(and arm64 immobile-space) - SBCL Commits
xperfecthash regeneration - SBCL Commits

23rd

Fix missing error check and missing optimization - SBCL Commits

24th

Update stale line due to #+linkage-space feature - SBCL Commits
[2104048] Uncaught error in compile of CHECK-TYPE form with VALUES type - Launchpad Bugs
Compile check-type with a bad type. - SBCL Commits
[2104063] Incorrect conversion to sb-alien:boolean in return of alien routine on x86_64-pc-linux-gnu - Launchpad Bugs

25th

[2104089] Error when key argument appears in invalid CHECK-TYPE - Launchpad Bugs

28th

[2104923] sb-introspect:deftype-lambda-list returns :unknown - Launchpad Bugs
Draft NEWS for sbcl-2.5.3 - SBCL Commits
Typos. - SBCL Commits

30th

One more bug fix note - SBCL Commits
2.5.3: will be tagged as "sbcl-2.5.3" - SBCL Commits
Don't use &more in PCL. - SBCL Commits
Better ceiling for unsigned fixnums. - SBCL Commits
Better ash type derivation. - SBCL Commits
Add %rest-list. - SBCL Commits
Better size calculation for vectors. - SBCL Commits
Better type for allocate-vector. - SBCL Commits
rest-var-more-context-ok: check for nested dx lambdas. - SBCL Commits
Add %make-simple-array. - SBCL Commits
Speed up %vector-widetag-and-n-bits-shift. - SBCL Commits
Don't check for real in (float x) before calling %single-float - SBCL Commits
coerce-for-bound: handle (#.INFINITY) - SBCL Commits
Fix %single-float/double-float type derivation on infinities. - SBCL Commits
rest-var-more-context-ok: better dx detection. - SBCL Commits
Remove random symbol. - SBCL Commits
Reduce the use of non-top-level defun. - SBCL Commits
Fix a test. - SBCL Commits

31st

Don't align branch targets with space > 1. - SBCL Commits
[2105466] Incorrect type error in CEILING - Launchpad Bugs
[2105485] SBCL does not build on Windows with UCRT anymore - Launchpad Bugs
Fix CEILING transform. - SBCL Commits
Safer use of K32EnumProcessModules. - SBCL Commits
Use UCS-2 in cold-init on a win32 console. - SBCL Commits
Fix x86 build. - SBCL Commits
Fix nested escape analysis for rest-to-more conversion. - SBCL Commits