Date: Sun, 15 Sep 2024 07:15:22 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 281512] math/z3: fix build with clang 19 Message-ID: <bug-281512-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D281512 Bug ID: 281512 Summary: math/z3: fix build with clang 19 Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Some People Priority: --- Component: Individual Port(s) Assignee: arrowd@FreeBSD.org Reporter: dim@FreeBSD.org Flags: maintainer-feedback?(arrowd@FreeBSD.org) Assignee: arrowd@FreeBSD.org Clang 19 has become more strict about errors in member functions, which results in: =20 /wrkdirs/usr/ports/math/z3/work/z3-z3-4.13.0/src/math/lp/static_matrix.h:82= :72: error: no member named 'get' in 'static_matrix<T, X>'; did you mean 'set'? 82 | ref operator=3D(ref & v) { m_matrix.set(m_row, m_col, v.m_matrix.get(v.m_row, v.m_col)); return *this; } |=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 ^~~ |=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 set =20 /wrkdirs/usr/ports/math/z3/work/z3-z3-4.13.0/src/math/lp/static_matrix.h:16= 4:10: note: 'set' declared here 164 | void set(unsigned row, unsigned col, T const & val); | ^ Upstream fixed this as part of a few other changes for gcc 15 in <https://github.com/Z3Prover/z3/commit/2ce89e5f4>, but it does not apply cleanly to this version, so add a backported patch. --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-281512-7788>