minisat: fails with clang

Closes #28778.
userspace-rcu 0.8.4

Signed-off-by: Ondřej Surý <ondrej@sury.org>
Knot DNS 1.4.3

Signed-off-by: Ondřej Surý <ondrej@sury.org>

Closes #26812.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>