Gentoo's Bugzilla –
Attachment 843351 Details for
Bug 886597sci-mathematics/prover9-2009.11a fails to compile (CLANG-STRICTER-SYSTEM): select.c:236:44: error: parameter max_constrained was not declared, defaults to int; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int]