z3: Build error using macports-clang-19 on macOS15

[cjones051073 (Chris Jones)]

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.

[Chris Jones <jonesc@…>]

In 909e52571eaea4139100ea3a5de785cc3e3fb594/macports-ports (master):

z3: blacklist macports-clang-19
Closes: #70852