[MacPorts] #70852: z3: Build error using macports-clang-19 on macOS15

[MacPorts]

#70852: z3: Build error using macports-clang-19 on macOS15
--------------------------+--------------------
 Reporter:  cjones051073  |      Owner:  (none)
     Type:  defect        |     Status:  new
 Priority:  Normal        |  Milestone:
Component:  ports         |    Version:
 Keywords:                |       Port:  z3
--------------------------+--------------------
 macports-clang-19 is by default picked as compiler on macOS15, and build
 fails using this

 {{{
 FAILED: src/sat/smt/CMakeFiles/sat_smt.dir/arith_sls.cpp.o
 /opt/local/bin/ccache /opt/local/bin/clang++-mp-19 -D_EXTERNAL_RELEASE
 -D_MP_INTERNAL
 -I/opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/build/src
 -I/opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src
 -pipe -O3 -mllvm -polly -mllvm -polly-position=before-vectorizer -mllvm
 -polly-vectorizer=stripmine -DNDEBUG -I/opt/local/include -stdlib=libc++
 -isysroot/Library/Developer/CommandLineTools/SDKs/MacOSX15.sdk -Werror=odr
 -Werror=return-type  -Werror=delete-non-virtual-dtor  -Werror=overloaded-
 virtual  -Werror=non-virtual-dtor  -Werror=null-dereference  -fcolor-
 diagnostics -O3 -DNDEBUG -std=gnu++17 -flto=thin -arch arm64 -isysroot
 /Library/Developer/CommandLineTools/SDKs/MacOSX15.sdk -mmacosx-version-
 min=15.0 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -Wall -MD
 -MT src/sat/smt/CMakeFiles/sat_smt.dir/arith_sls.cpp.o -MF
 src/sat/smt/CMakeFiles/sat_smt.dir/arith_sls.cpp.o.d -o
 src/sat/smt/CMakeFiles/sat_smt.dir/arith_sls.cpp.o -c
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/sat/smt/arith_sls.cpp
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/sat/smt/arith_sls.cpp:18:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/sat/smt/arith_solver.h:24:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/lar_solver.h:29:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/bound_analyzer_on_row.h:25:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/implied_bound.h:22:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/lar_constraints.h:19:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/column.h:20:
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/column_info.h:50:58:
 error: no member named 'm_low_bound' in 'column_info<T>'; did you mean
 'm_lower_bound'?
    50 |             (!m_lower_bound_is_set || m_lower_bound ==
 c.m_low_bound) &&
       |
 ^~~~~~~~~~~
       |
 m_lower_bound
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/column_info.h:37:17:
 note: 'm_lower_bound' declared here
    37 |     T           m_lower_bound;
       |                 ^
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/sat/smt/arith_sls.cpp:18:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/sat/smt/arith_solver.h:24:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/lar_solver.h:29:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/bound_analyzer_on_row.h:25:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/implied_bound.h:22:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/lar_constraints.h:21:
 In file included from
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/z3/work/z3-z3-4.13.0/src/math/lp/column_namer.h:22:
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/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
 /opt/local/var/macports/build/_Users_chris_Projects_MacPorts_ports_math_z3/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);
       |          ^
 2 errors generated.

 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/70852>
MacPorts <https://www.macports.org/>
Ports system for macOS