Segfault on loading large core file on M1 mac
Bug #1939472 reported by
Mayank Manjrekar
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| SBCL |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
On my M1 Mac, SBCL (version 2.1.2 and above) segfaults immediately on loading a large core file with a "Read: Bad address" error.
This was observed when loading core file generated by ACL2, which is about 200MB. To reproduce the error, follow steps steps 1-3 on https:/
The attached patch fixes the issue on my machine. The error was caused by an invalid read of a large file into a buffer of small size.
Revision history for this message
| Mayank Manjrekar (mankmonjre) wrote | #1 |
| description: | updated |
| Changed in sbcl: | |
| status: | New → Fix Committed |
| Changed in sbcl: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
