Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 886597 - sci-mathematics/prover9-2009.11a-r1 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]
Summary: sci-mathematics/prover9-2009.11a-r1 fails to compile (CLANG-STRICTER-SYSTEM):...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard: ~arch only
Keywords:
Depends on:
Blocks: c99-porting
  Show dependency tree
 
Reported: 2022-12-18 10:10 UTC by Agostino Sarubbo
Modified: 2024-10-22 13:28 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
build.log (build.log,118.25 KB, text/plain)
2022-12-18 10:10 UTC, Agostino Sarubbo 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2022-12-18 10:10:40 UTC 
https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/prover9-2009.11a fails to compile (CLANG-STRICTER-SYSTEM).
Discovered on: amd64 (internal ref: clang-stricter_tinderbox)

NOTE:
(CLANG-STRICTER-SYSTEM) in the summary means that the bug was found on a machine that runs clang with stricter mode

This machine uses clang with CFLAGS/CXXFLAGS=-Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types

See also:
https://archives.gentoo.org/gentoo-dev/message/dd9f2d3082b8b6f8dfbccb0639e6e240
https://wiki.gentoo.org/wiki/Modern_C_porting
Comment 1 Agostino Sarubbo gentoo-dev 2022-12-18 10:10:42 UTC 
Created attachment 843351 [details]
build.log

build log and emerge --info
Comment 2 Agostino Sarubbo gentoo-dev 2024-08-04 17:56:36 UTC 
tinderbox_musl has reproduced this issue with version 2009.11a-r1 - Updating summary.