[Bug 281512] math/z3: fix build with clang 19
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 15 Sep 2024 07:15:22 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=281512 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: /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=(ref & v) { m_matrix.set(m_row, m_col, v.m_matrix.get(v.m_row, v.m_col)); return *this; } | ^~~ | set /wrkdirs/usr/ports/math/z3/work/z3-z3-4.13.0/src/math/lp/static_matrix.h:164: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. -- You are receiving this mail because: You are the assignee for the bug.