Crash in FactArg with Flint

[jodavies]

The following crashes when using flint:

#-

Symbol x1,x2,x3,x4,x5;
CFunction num;

Local test =
   num(18*x2*x4*x5^4 - 24*x2*x4^2*x5^3 + 6*x2*x4^4*x5 - 6*x2*x3*
   x5^4 - 42*x2*x3*x4*x5^3 + 78*x2*x3*x4^2*x5^2 - 24*x2*x3*x4^3*x5 - 6*x2
   *x3*x4^4 + 18*x2*x3^2*x5^3 + 6*x2*x3^2*x4*x5^2 - 48*x2*x3^2*x4^2*x5 + 24
   *x2*x3^2*x4^3 - 12*x2*x3^3*x5^2 + 18*x2*x3^3*x4*x5 - 6*x2*x3^3*x4^2 - 66*
   x2^2*x4*x5^3 - 6*x2^2*x4^2*x5^2 - 42*x2^2*x4^3*x5 + 24*x2^2*x3*x5^3
    + 126*x2^2*x3*x4*x5^2 + 108*x2^2*x3*x4^2*x5 + 24*x2^2*x3*x4^3 - 48*x2^2*
   x3^2*x5^2 - 114*x2^2*x3^2*x4*x5 - 60*x2^2*x3^2*x4^2 + 30*x2^2*x3^3*x5 + 24
   *x2^2*x3^3*x4 + 78*x2^3*x4*x5^2 + 66*x2^3*x4^2*x5 - 36*x2^3*x3*x5^2 -
   108*x2^3*x3*x4*x5 - 36*x2^3*x3*x4^2 + 42*x2^3*x3^2*x5 + 48*x2^3*x3^2*x4 -
   18*x2^3*x3^3 - 30*x2^4*x4*x5 + 24*x2^4*x3*x5 + 24*x2^4*x3*x4 - 12*x2^4*x3^2 -
   6*x2^5*x3 - 12*x1*x2*x4*x5^4 + 16*x1*x2*x4^2*x5^3 - 4*x1*x2*x4^4*x5 +
   4*x1*x2*x3*x5^4 + 28*x1*x2*x3*x4*x5^3 - 52*x1*x2*x3*x4^2*x5^2 + 16*x1*x2*x3
   *x4^3*x5 + 4*x1*x2*x3*x4^4 - 12*x1*x2*x3^2*x5^3 - 4*x1*x2*x3^2*x4*x5^2
    + 32*x1*x2*x3^2*x4^2*x5 - 16*x1*x2*x3^2*x4^3 + 8*x1*x2*x3^3*x5^2 - 12*x1*x2
   *x3^3*x4*x5 + 4*x1*x2*x3^3*x4^2 + 44*x1*x2^2*x4*x5^3 + 4*x1*x2^2*x4^2*
   x5^2 + 28*x1*x2^2*x4^3*x5 - 16*x1*x2^2*x3*x5^3 - 84*x1*x2^2*x3*x4*x5^2
    - 72*x1*x2^2*x3*x4^2*x5 - 16*x1*x2^2*x3*x4^3 + 32*x1*x2^2*x3^2*x5^2 + 76*
   x1*x2^2*x3^2*x4*x5 + 40*x1*x2^2*x3^2*x4^2 - 20*x1*x2^2*x3^3*x5 - 16*x1*x2^2*
   x3^3*x4 - 52*x1*x2^3*x4*x5^2 - 44*x1*x2^3*x4^2*x5 + 24*x1*x2^3*x3*x5^2
    + 72*x1*x2^3*x3*x4*x5 + 24*x1*x2^3*x3*x4^2 - 28*x1*x2^3*x3^2*x5 - 32*x1*
   x2^3*x3^2*x4 + 12*x1*x2^3*x3^3 + 20*x1*x2^4*x4*x5 - 16*x1*x2^4*x3*x5 - 16*x1
   *x2^4*x3*x4 + 8*x1*x2^4*x3^2 + 4*x1*x2^5*x3)
   ;
.sort

FactArg num;

Print +s;
.end

This crash was reported in flintlib/flint#1998 and then fixed in flintlib/flint#2000 , which implies version 3.2.0. I am not sure we can work around this, but need to strongly recommend that people build FORM against Flint >= 3.2.0...