fix bug in maude involving integer overflow

maude-lang / Maude

Language based on Rewriting Logic

GNU General Public License v2.0

78 stars 10 forks source link

fix bug in maude involving integer overflow #12

Closed dwightguth closed 1 year ago

dwightguth commented 1 year ago

This PR fixes a bug that can occur if more than 32767 slots are used by a single symbol. If this happens, the index in the field slotIndex in freeTerm.hh overflows and wraps around to -32768, leading to a crash.