[Maxima-bugs] [maxima:bugs] #4619 limit(inf = inf) causes stack overflow

[Robert D. <rob...@us...>]

OK by me to make the changes suggested. I don't work on the limit code too much but the proposed changes make sense to me.


---

**[bugs:#4619] limit(inf = inf) causes stack overflow**

**Status:** open
**Group:** None
**Labels:** limit 
**Created:** Thu Oct 09, 2025 06:22 PM UTC by Robert Dodier
**Last Updated:** Fri Oct 10, 2025 10:16 AM UTC
**Owner:** nobody


Looking at bug report #4603, looks like it is triggered by a bug in `limit`. Here is the simplest case I found:
```
(%i1) limit(inf=inf);
INFO: Binding stack guard page unprotected
Binding stack guard page temporarily disabled: proceed with caution

debugger invoked on a SB-KERNEL::BINDING-STACK-EXHAUSTED in thread
#<THREAD tid=4380 "main thread" RUNNING {1001760003}>:
  Binding stack exhausted.
```
This other example also causes a stack overflow: `limit(minf = minf)`.

Bug #4603 is triggered by `limit(foo - inf = -inf)`, where `foo` is a gensym (and the bug is also triggered when `foo` is just `foo`).

Looks like the stack overflow originates in INFSIMP2. I didn't investigate beyond that.

When this bug gets fixed, we should go back to #4603 and verify that bug is also fixed.


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.