aboutsummaryrefslogtreecommitdiff
path: root/src/nissy.c
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-03-25 18:35:47 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2025-03-25 18:35:47 +0100
commit56048d13b73ec6e6a9c59d62e82f41e69a3994bd (patch)
tree49fc5d50e739a399897425756c08a73ba5924ddb /src/nissy.c
parent0f4931c8de298b0f97aba1757c9538f48adb30c6 (diff)
downloadnissy-core-56048d13b73ec6e6a9c59d62e82f41e69a3994bd.tar.gz
nissy-core-56048d13b73ec6e6a9c59d62e82f41e69a3994bd.zip
More safety with pointers using VLA function parameters
Diffstat (limited to '')
-rw-r--r--src/nissy.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/nissy.c b/src/nissy.c
index 431362d..e8a6550 100644
--- a/src/nissy.c
+++ b/src/nissy.c
@@ -14,7 +14,7 @@
14 14
15long long parse_h48_solver( 15long long parse_h48_solver(
16 const char *, uint8_t [static 1], uint8_t [static 1]); 16 const char *, uint8_t [static 1], uint8_t [static 1]);
17STATIC bool checkdata(const char *, const tableinfo_t *); 17STATIC bool checkdata(const char *, const tableinfo_t [static 1]);
18STATIC bool distribution_equal(const uint64_t [static INFO_DISTRIBUTION_LEN], 18STATIC bool distribution_equal(const uint64_t [static INFO_DISTRIBUTION_LEN],
19 const uint64_t [static INFO_DISTRIBUTION_LEN], uint8_t); 19 const uint64_t [static INFO_DISTRIBUTION_LEN], uint8_t);
20STATIC long long write_result(cube_t, char [static NISSY_SIZE_B32]); 20STATIC long long write_result(cube_t, char [static NISSY_SIZE_B32]);
@@ -66,11 +66,11 @@ parse_h48_solver_error:
66} 66}
67 67
68STATIC bool 68STATIC bool
69checkdata(const char *buf, const tableinfo_t *info) 69checkdata(const char *buf, const tableinfo_t info[static 1])
70{ 70{
71 uint64_t distr[INFO_DISTRIBUTION_LEN]; 71 uint64_t distr[INFO_DISTRIBUTION_LEN];
72 72
73 if (info == NULL || my_strnlen(info->solver, INFO_SOLVER_STRLEN) 73 if (my_strnlen(info->solver, INFO_SOLVER_STRLEN)
74 == INFO_SOLVER_STRLEN) { 74 == INFO_SOLVER_STRLEN) {
75 LOG("checkdata: error reading table info\n"); 75 LOG("checkdata: error reading table info\n");
76 return false; 76 return false;

Generated with cgit - Back to sebastiano.tronto.net