[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

strict aliasing violation in minisat/minisat.c

From: Michael Orlitzky
Subject: strict aliasing violation in minisat/minisat.c
Date: Fri, 05 Aug 2022 21:09:19 -0400
User-agent: Evolution 3.44.2

I think there's some undefined behavior in minisat/minisat.c that
happens to work out OK in most circumstances but that may cause
problems down the line, especially with link-time optimization. We have
a downstream bug report about the problem here,


and I posted a patch there that hacks the types in minisat.c to make
the warnings/errors go away. Not sure if it's the best fix, but it
provides some evidence that we've diagnosed the right problem.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]