Revert "Remove redundant array decl SPHINCS+"

This reverts commit 00639575b0.

crypto_sign/sphincs-sha256-128f-robust/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256128FROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256128FROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-128f-simple/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-128s-robust/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256128SROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256128SROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-128s-simple/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256128SSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256128SSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-192f-robust/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256192FROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256192FROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-192f-simple/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256192FSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256192FSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-192s-robust/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256192SROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256192SROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-192s-simple/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256192SSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256192SSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-256f-robust/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256256FROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256256FROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-256f-simple/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256256FSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256256FSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-256s-robust/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256256SROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256256SROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash

crypto_sign/sphincs-sha256-256s-simple/clean/sha256.c

@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256256SSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256256SSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash