> > This patch reduce reservation of model do not more than 10 cycles. The > > memory of genautomata down to 1GB. > > How bad is the memory consumption before this change? >
almost 2.4GB. see bugzilla comment #4. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77510#c4
