diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-05-27 09:03:51 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-05-27 09:03:51 +0200 |
| commit | 7c934801f88c640970ad41b5ddd39f4e39609f28 (patch) | |
| tree | 76a065db76fbcbdec818b8b6cc8b108ac1c9eb49 /src/nissy.c | |
| parent | 243a852d31483d10983c50978d1d4471efd0e553 (diff) | |
| download | nissy-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/nissy.c')
| -rw-r--r-- | src/nissy.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/nissy.c b/src/nissy.c index aaa5c2a..3190e55 100644 --- a/src/nissy.c +++ b/src/nissy.c | |||
| @@ -215,7 +215,7 @@ long long | |||
| 215 | nissy_gendata( | 215 | nissy_gendata( |
| 216 | const char *solver, | 216 | const char *solver, |
| 217 | unsigned long long data_size, | 217 | unsigned long long data_size, |
| 218 | unsigned char data[data_size] | 218 | unsigned char *data |
| 219 | ) | 219 | ) |
| 220 | { | 220 | { |
| 221 | return nissy_gendata_unsafe(solver, data_size, data); | 221 | return nissy_gendata_unsafe(solver, data_size, data); |
| @@ -253,7 +253,7 @@ long long | |||
| 253 | nissy_checkdata( | 253 | nissy_checkdata( |
| 254 | const char *solver, | 254 | const char *solver, |
| 255 | unsigned long long data_size, | 255 | unsigned long long data_size, |
| 256 | const unsigned char data[data_size] | 256 | const unsigned char *data |
| 257 | ) | 257 | ) |
| 258 | { | 258 | { |
| 259 | solver_dispatch_t *dispatch; | 259 | solver_dispatch_t *dispatch; |
| @@ -278,9 +278,9 @@ nissy_solve( | |||
| 278 | unsigned optimal, | 278 | unsigned optimal, |
| 279 | unsigned threads, | 279 | unsigned threads, |
| 280 | unsigned long long data_size, | 280 | unsigned long long data_size, |
| 281 | const unsigned char data[data_size], | 281 | const unsigned char *data, |
| 282 | unsigned sols_size, | 282 | unsigned sols_size, |
| 283 | char sols[sols_size], | 283 | char *sols, |
| 284 | long long stats[static NISSY_SIZE_SOLVE_STATS], | 284 | long long stats[static NISSY_SIZE_SOLVE_STATS], |
| 285 | int (*poll_status)(void *), | 285 | int (*poll_status)(void *), |
| 286 | void *poll_status_data | 286 | void *poll_status_data |
