New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

clang-UBSAN warnings #7

Open

4 tasks

dirkschumacher opened this issue Jan 25, 2022 · 0 comments

Owner

dirkschumacher commented Jan 25, 2022

CRAN reports some issues with the included picosat code: https://www.stats.ox.ac.uk/pub/bdr/memtests/clang-UBSAN/rpicosat/tests/testthat.Rout

picosat.c:2820:37: runtime error: applying zero offset to null pointer

rpicosat/src/picosat.c

Line 2820 in 5f938f0

for (p = s->start; p < s->start + s->count; p++)
picosat.c:3432:33: runtime error: applying non-zero offset 24 to null pointer

rpicosat/src/picosat.c

Line 3432 in 5f938f0

return ps->thead == ps->trail + ps->max_var; /* all assigned */
picosat.c:3904:13: runtime error: applying zero offset to null pointer

rpicosat/src/picosat.c

Line 3904 in 5f938f0

l = start + lstk->count;
picosat.c:4712:31: runtime error: applying zero offset to null pointer

rpicosat/src/picosat.c

Line 4712 in 5f938f0

for (s = r; s < lstk->start + lstk->count; s++)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment