Bug 20150604, une séquence de S22 non segmentée sur certaines archis
Évidemment, cela bloque la release... mais c'est rigolo, c'était non testé avant :-)
Les affects sont les même, mais, sur CentOS, on a "too few V inf inf" Un calcul d'e-valeur qui se passe mal ?
Le souci vient de l'index_load, mal calculé.
Au passage, j'ai vérifié qu'il n'y a pas d'autre (1 << k) dans le code. Les seuls autres shifts sont dans tools.h/cpp et ne sont pas dangereux.
et je ne sais pas si c'est bien de le faire, mais le "git push" depuis un slave CI fonctionne très bien :-)