search

vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
982 stars 118 forks source link

Infinite loop in TermRenumber #484

Open jodavies opened 4 months ago

jodavies commented 4 months ago

One of our save files causes an infinite loop in TermRenumber. It seems that term[0] and term[1] are 0, so *term does not match any of the cases, and t is set to term here: https://github.com/vermaseren/form/blob/b1f9041b7bb6f5dd4a149c87e70922ad9914b291/sources/store.c#L2502 Then term is set back to t again here: https://github.com/vermaseren/form/blob/b1f9041b7bb6f5dd4a149c87e70922ad9914b291/sources/store.c#L2559 and around we go again.

The save file is 100MB, so probably it is not to useful to attach it here...

Presumably the bug is in the saving rather than the loading. Possibly related to #420 ?