aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/coord/solve.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-05-27 09:03:51 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-05-27 09:03:51 +0200
commit7c934801f88c640970ad41b5ddd39f4e39609f28 (patch)
tree76a065db76fbcbdec818b8b6cc8b108ac1c9eb49 /src/solvers/coord/solve.h
parent243a852d31483d10983c50978d1d4471efd0e553 (diff)
downloadnissy-core-7c934801f88c640970ad41b5ddd39f4e39609f28.tar.gz
nissy-core-7c934801f88c640970ad41b5ddd39f4e39609f28.zip
Removed VLA notation from function parameters.
I found out that this gives undefined behavior when then size is 0. Better not to have it at all, it is confusing for other developers anyway.
Diffstat (limited to 'src/solvers/coord/solve.h')
-rw-r--r--src/solvers/coord/solve.h19
1 files changed, 9 insertions, 10 deletions
diff --git a/src/solvers/coord/solve.h b/src/solvers/coord/solve.h
index 018aa90..a2f89db 100644
--- a/src/solvers/coord/solve.h
+++ b/src/solvers/coord/solve.h
@@ -13,13 +13,12 @@ typedef struct {
13} dfsarg_solve_coord_t; 13} dfsarg_solve_coord_t;
14 14
15STATIC int64_t solve_coord(oriented_cube_t, coord_t [static 1], uint8_t, 15STATIC int64_t solve_coord(oriented_cube_t, coord_t [static 1], uint8_t,
16 uint8_t, uint8_t, uint8_t, uint64_t, uint8_t, uint8_t, uint64_t n, 16 uint8_t, uint8_t, uint8_t, uint64_t, uint8_t, uint8_t, uint64_t,
17 const unsigned char [n], size_t m, char [m], int (*)(void *), void *); 17 const unsigned char *, size_t, char *, int (*)(void *), void *);
18STATIC long long solve_coord_dispatch(oriented_cube_t, const char *, unsigned, 18STATIC long long solve_coord_dispatch(oriented_cube_t, const char *, unsigned,
19 unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long n, 19 unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long,
20 const unsigned char [n], unsigned m, char [m], 20 const unsigned char *, unsigned, char *,
21 long long [static NISSY_SIZE_SOLVE_STATS], 21 long long [static NISSY_SIZE_SOLVE_STATS], int (*)(void *), void *);
22 int (*)(void *), void *);
23STATIC bool coord_solution_admissible(const dfsarg_solve_coord_t [static 1]); 22STATIC bool coord_solution_admissible(const dfsarg_solve_coord_t [static 1]);
24STATIC bool solve_coord_dfs_stop(const dfsarg_solve_coord_t [static 1]); 23STATIC bool solve_coord_dfs_stop(const dfsarg_solve_coord_t [static 1]);
25STATIC bool coord_continue_onnormal(const dfsarg_solve_coord_t [static 1]); 24STATIC bool coord_continue_onnormal(const dfsarg_solve_coord_t [static 1]);
@@ -210,9 +209,9 @@ solve_coord_dispatch(
210 unsigned optimal, 209 unsigned optimal,
211 unsigned threads, 210 unsigned threads,
212 unsigned long long data_size, 211 unsigned long long data_size,
213 const unsigned char data[data_size], 212 const unsigned char *data,
214 unsigned solutions_size, 213 unsigned solutions_size,
215 char sols[solutions_size], 214 char *sols,
216 long long stats[static NISSY_SIZE_SOLVE_STATS], 215 long long stats[static NISSY_SIZE_SOLVE_STATS],
217 int (*poll_status)(void *), 216 int (*poll_status)(void *),
218 void *poll_status_data 217 void *poll_status_data
@@ -251,9 +250,9 @@ solve_coord(
251 uint8_t optimal, 250 uint8_t optimal,
252 uint8_t threads, 251 uint8_t threads,
253 uint64_t data_size, 252 uint64_t data_size,
254 const unsigned char data[data_size], 253 const unsigned char *data,
255 size_t solutions_size, 254 size_t solutions_size,
256 char sols[solutions_size], 255 char *sols,
257 int (*poll_status)(void *), 256 int (*poll_status)(void *),
258 void *poll_status_data 257 void *poll_status_data
259) 258)

Generated with cgit - Back to sebastiano.tronto.net