Building on rosemary
(from freebsd)
2025-11-29 21:20.55 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
2025-11-29 21:20.55 ---> using "7afea9128a2830beedf345f0b46af5484579ebada7710165f445c6c5b18563a9" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 2e72379851a4769911b11b7f85be197919fe4b82"))
2025-11-29 21:20.56 ---> using "99fd47a8e9810e580a9c46782c85519e91b775c342bd37698b0342edb50ae992" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-11-29 21:20.56 ---> using "ed08d3d79ca91825b05a2e51635296dbd16988657e3420373914371409f77f09" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.3.0' 'ocaml-base-compiler.5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3.0)
2025-11-29 21:20.57 ---> using "b56902dc27da90e62aba6d812121319566813a84b2d55c37595e556d763bf2d5" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2025-11-29 21:20.57 ---> using "5122f2fde050998e841d465986605b8a6c57754b7b1900e005016cceb5d99f93" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y gappa.1.6.0\
\nopam install -vy gappa.1.6.0\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: gappa.1.6.0 | grep -q 'freebsd'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi \
\n\
\n\
\nexit $res"))
[NOTE] gappa.1.6.0 is not installed.
Nothing to do.
The following actions will be performed:
=== install 6 packages
- install conf-boost 1 [required by gappa]
- install conf-g++ 1.0 [required by gappa]
- install conf-gmp 5 [required by gappa]
- install conf-mpfr 3 [required by gappa]
- install conf-pkg-config 4 [required by conf-mpfr]
- install gappa 1.6.0
The following system packages will first need to be installed:
boost-all gcc gmp mpfr
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run pkg to install them (may need root/sudo access)
2. Display the recommended pkg command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/local/bin/sudo "pkg" "install" "-y" "boost-all" "gcc" "gmp" "mpfr"
- Updating FreeBSD repository catalogue...
- [rosemary] Fetching data.pkg:
- ..
- .
- ..
- ..
- .
- .. done
- Processing entries:
- .
- ..
- ..
- .
- ..
- .
- . done
- FreeBSD repository update completed. 36627 packages processed.
- Updating FreeBSD-kmods repository catalogue...
- [rosemary] Fetching data.pkg: .. done
- Processing entries: .......... done
- FreeBSD-kmods repository update completed. 213 packages processed.
- All repositories are up to date.
- New version of pkg detected; it needs to be installed first.
- The following 1 package(s) will be affected (of 0 checked):
-
- Installed packages to be UPGRADED:
- pkg: 2.3.1 -> 2.4.2 [FreeBSD]
-
- Number of packages to be upgraded: 1
-
- 12 MiB to be downloaded.
- [rosemary] [1/1] Fetching pkg-2.4.2~39ccf8122e.pkg:
- .
- .
- ..
- .
- .
- ..
- .
- . done
- Checking integrity... done (0 conflicting)
- [rosemary] [1/1] Upgrading pkg from 2.3.1 to 2.4.2...
- [rosemary] [1/1] Extracting pkg-2.4.2: .......... done
- Updating FreeBSD repository catalogue...
- FreeBSD repository is up to date.
- Updating FreeBSD-kmods repository catalogue...
- FreeBSD-kmods repository is up to date.
- All repositories are up to date.
- The following 11 package(s) will be affected (of 0 checked):
-
- New packages to be INSTALLED:
- binutils: 2.44,1 [FreeBSD]
- boost-all: 1.88.0 [FreeBSD]
- boost-docs: 1.88.0 [FreeBSD]
- boost-jam: 1.88.0 [FreeBSD]
- boost-libs: 1.88.0_2 [FreeBSD]
- gcc: 13_5 [FreeBSD]
- gcc13: 13.3.0_3 [FreeBSD]
- gmp: 6.3.0 [FreeBSD]
- icu: 76.1,1 [FreeBSD]
- mpc: 1.3.1_1 [FreeBSD]
- mpfr: 4.2.2,1 [FreeBSD]
-
- Number of packages to be installed: 11
-
- The process will require 1 GiB more space.
- 183 MiB to be downloaded.
- [rosemary] [1/11] Fetching icu-76.1,1~35d6085c94.pkg:
- ..
- ......
- .. done
- [rosemary] [2/11] Fetching mpc-1.3.1_1~e84a2f78e1.pkg: ....... done
- [rosemary] [3/11] Fetching gcc-13_5~8a9a66878f.pkg: . done
- [rosemary] [4/11] Fetching boost-all-1.88.0~9a3e3aefe3.pkg: . done
- [rosemary] [5/11] Fetching boost-libs-1.88.0_2~024fd81389.pkg:
- .....
- ..... done
- [rosemary] [6/11] Fetching boost-jam-1.88.0~551bddc759.pkg: .......... done
- [rosemary] [7/11] Fetching boost-docs-1.88.0~51c20b4370.pkg: .
- .
- ..
- ...
- ... done
- [rosemary] [8/11] Fetching gcc13-13.3.0_3~14e32cde04.pkg:
- .
- ..
- ...
- ..
- .. done
- [rosemary] [9/11] Fetching gmp-6.3.0~fec9b9b86b.pkg: ...
- ....... done
- [rosemary] [10/11] Fetching mpfr-4.2.2,1~722540f84e.pkg: .......... done
- [rosemary] [11/11] Fetching binutils-2.44,1~983b56cb3a.pkg: .....
- ..... done
- Checking integrity...
- done (0 conflicting)
- [rosemary] [1/11] Installing binutils-2.44,1...
- [rosemary] [1/11] Extracting binutils-2.44,1:
- .......... done
- [rosemary] [2/11] Installing boost-docs-1.88.0...
- [rosemary] [2/11] Extracting boost-docs-1.88.0: .
- ..
- ..
- ..
- ... done
- [rosemary] [3/11] Installing boost-jam-1.88.0...
- [rosemary] [3/11] Extracting boost-jam-1.88.0: .... done
- [rosemary] [4/11] Installing gmp-6.3.0...
- [rosemary] [4/11] Extracting gmp-6.3.0: .......... done
- [rosemary] [5/11] Installing icu-76.1,1...
- [rosemary] [5/11] Extracting icu-76.1,1: ........
- .. done
- [rosemary] [6/11] Installing boost-libs-1.88.0_2...
- [rosemary] [6/11] Extracting boost-libs-1.88.0_2: ...
- .....
- .. done
- [rosemary] [7/11] Installing boost-all-1.88.0...
- [rosemary] [7/11] Extracting boost-all-1.88.0: ... done
- [rosemary] [8/11] Installing mpfr-4.2.2,1...
- [rosemary] [8/11] Extracting mpfr-4.2.2,1: .......... done
- [rosemary] [9/11] Installing mpc-1.3.1_1...
- [rosemary] [9/11] Extracting mpc-1.3.1_1: ......... done
- [rosemary] [10/11] Installing gcc13-13.3.0_3...
- [rosemary] [10/11] Extracting gcc13-13.3.0_3: .....
- ....
- . done
- [rosemary] [11/11] Installing gcc-13_5...
- [rosemary] [11/11] Extracting gcc-13_5: ... done
- =====
- Message from boost-libs-1.88.0_2:
-
- --
- You have built the Boost library with thread support.
-
- Don't forget to add -pthread to your linker options when
- linking your code.
- =====
- Message from gcc13-13.3.0_3:
-
- --
- To ensure binaries built with this toolchain find appropriate versions
- of the necessary run-time libraries, you may want to link using
-
- -Wl,-rpath=/usr/local/lib/gcc13
-
- For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens
- transparently.
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-mpfr.3 (cached)
Processing 6/18: [gappa.1.6.0: extract]
Processing 7/18: [gappa.1.6.0: extract]
Processing 8/18: [gappa.1.6.0: extract] [conf-g++: g++]
Processing 9/18: [gappa.1.6.0: extract] [conf-g++: g++] [conf-gmp: sh]
Processing 10/18: [gappa.1.6.0: extract] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-boost.1
Processing 11/18: [gappa.1.6.0: extract] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
+ /usr/local/bin/pkg-config "--help" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/conf-pkg-config.4)
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --verbose print additional information
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --solution print dependency graph solution in a simple format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
- --license print the specified module's license to stdout if known
- --exists-cflags add -DHAVE_FOO fragments to cflags for each found module
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
- --env=prefix print output as shell-compatible environmental variables
- --fragment-tree visualize printed CFLAGS/LIBS fragments as a tree
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.4
Processing 11/18: [gappa.1.6.0: extract] [conf-g++: g++] [conf-gmp: sh]
-> installed conf-pkg-config.4
Processing 12/18: [gappa.1.6.0: extract] [conf-g++: g++] [conf-gmp: sh]
+ /bin/sh "-c" "pkg-config --print-errors --exists gmp || cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/conf-gmp.5)
-> compiled conf-gmp.5
Processing 12/18: [gappa.1.6.0: extract] [conf-g++: g++]
-> installed conf-gmp.5
Processing 13/18: [gappa.1.6.0: extract] [conf-g++: g++]
Processing 14/18: [gappa.1.6.0: extract] [conf-g++: g++] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
+ /usr/local/bin/g++ "--version" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/conf-g++.1.0)
- g++ (FreeBSD Ports Collection) 13.3.0
- Copyright (C) 2023 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions. There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-
-> compiled conf-g++.1.0
Processing 14/18: [gappa.1.6.0: extract] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
-> installed conf-g++.1.0
Processing 15/18: [gappa.1.6.0: extract] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
+ /bin/sh "-exc" "pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/conf-mpfr.3)
- + pkg-config --print-errors --exists mpfr
-> compiled conf-mpfr.3
Processing 15/18: [gappa.1.6.0: extract]
-> installed conf-mpfr.3
Processing 16/18: [gappa.1.6.0: extract]
-> retrieved gappa.1.6.0 (cached)
[gappa: patch] applying 0001-Added-configure-for-c-11.patch
Processing 17/18: [gappa: ./configure]
+ /home/opam/.opam/5.3.0/.opam-switch/build/gappa.1.6.0/./configure "--prefix=/home/opam/.opam/5.3.0" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/gappa.1.6.0)
- checking for g++... g++
- checking whether the C++ compiler works... yes
- checking for C++ compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether the compiler supports GNU C++... yes
- checking whether g++ accepts -g... yes
- checking for g++ option to enable C++11 features... none needed
- checking for gcc... gcc
- checking whether the compiler supports GNU C...
- yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... none needed
- checking for flex... flex
- checking for lex output file root... lex.yy
- checking for lex library...
- none needed
- checking whether yytext is a pointer... yes
- checking for bison... no
- checking for byacc... byacc
- checking how to run the C preprocessor... gcc -E
- checking for gcc... gcc
- checking whether the compiler supports GNU C... (cached) yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... (cached) none needed
- checking how to run the C preprocessor...
- gcc -E
- checking how to run the C++ preprocessor... g++ -E
- checking for g++... g++
- checking whether the compiler supports GNU C++... (cached) yes
- checking whether g++ accepts -g... yes
- checking for g++ option to enable C++11 features... (cached) none needed
- checking how to run the C++ preprocessor... g++ -E
- checking for stdio.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for strings.h... yes
- checking for sys/stat.h...
- yes
- checking for sys/types.h... yes
- checking for unistd.h... yes
- checking for gmp.h... yes
- checking for __gmpz_init in -lgmp... yes
- checking for mpfr.h... yes
- checking for mpfr_snprintf in -lmpfr... yes
- checking for boost/numeric/interval.hpp...
- yes
- configure: building remake...
- /usr/local/bin/ld: /tmp//cc9DaBmM.o: in function `main':
- remake.cpp:(.text.startup+0xd20): warning: warning: tempnam() possibly used unsafely; consider using mkstemp()
- configure: creating ./config.status
- config.status: creating stamp-config_h
- config.status: creating Remakefile
- config.status: creating config.h
Processing 17/18: [gappa: ./remake]
+ /home/opam/.opam/5.3.0/.opam-switch/build/gappa.1.6.0/./remake "--jobs=39" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/gappa.1.6.0)
- Building src/arithmetic/fixed.o
- Building src/arithmetic/float.o
- Building src/backends/backend.o
- Building src/backends/coq.o
- Building src/backends/coq_common.o
- Building src/backends/coq_lambda.o
- Building src/backends/holl.o
- Building src/backends/latex.o
- Building src/backends/d2.o
- Building src/numbers/interval.o
- Building src/numbers/io.o
- Building src/numbers/real.o
- Building src/numbers/round.o
- Building src/parser/ast.o
- Building src/parser/lexer.o
- Building src/parser/parser_aux.o
- Building src/parser/parser.o
- Building src/parser/pattern.o
- Building src/parser/ring.o
- Building src/proofs/basic_proof.o
- Building src/proofs/dichotomy.o
- Building src/proofs/proof_graph.o
- Building src/proofs/property.o
- Building src/proofs/rewriting.o
- Building src/proofs/schemes.o
- Building src/proofs/updater.o
- Building src/main.o
- Building src/parameters.o
- Finished src/numbers/real.o
- Finished src/backends/backend.o
- Finished src/parameters.o
- Finished src/backends/coq_lambda.o
- Finished src/numbers/round.o
- Finished src/numbers/io.o
- Finished src/parser/lexer.o
- Finished src/proofs/updater.o
- In file included from /usr/local/lib/gcc13/include/c++/string:51,
- from /usr/local/lib/gcc13/include/c++/bits/locale_classes.h:40,
- from /usr/local/lib/gcc13/include/c++/bits/ios_base.h:41,
- from /usr/local/lib/gcc13/include/c++/ios:44,
- from /usr/local/lib/gcc13/include/c++/ostream:40,
- from /usr/local/lib/gcc13/include/c++/iostream:41,
- from src/parser/parser.ypp:15:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'const ast_real* rnd_normalize(const ast_real&)' at src/parser/parser.ypp:66:20:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/local/lib/gcc13/include/c++/x86_64-portbld-freebsd14.3/bits/c++allocator.h:33,
- from /usr/local/lib/gcc13/include/c++/bits/allocator.h:46,
- from /usr/local/lib/gcc13/include/c++/string:43:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'const ast_real* rnd_normalize(const ast_real&)' at src/parser/parser.ypp:66:20:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- Finished src/backends/coq.o
- Finished src/numbers/interval.o
- In file included from /usr/local/lib/gcc13/include/c++/bits/stl_tree.h:63,
- from /usr/local/lib/gcc13/include/c++/map:62,
- from src/parser/pattern.cpp:12:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'pattern pattern::operator-() const' at src/parser/pattern.cpp:261:45:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/local/lib/gcc13/include/c++/x86_64-portbld-freebsd14.3/bits/c++allocator.h:33,
- from /usr/local/lib/gcc13/include/c++/bits/allocator.h:46,
- from /usr/local/lib/gcc13/include/c++/bits/stl_tree.h:64:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'pattern pattern::operator-() const' at src/parser/pattern.cpp:261:45:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'static pattern pattern::abs(const pattern&)' at src/parser/pattern.cpp:262:49:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'static pattern pattern::abs(const pattern&)' at src/parser/pattern.cpp:262:49:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'static pattern pattern::sqrt(const pattern&)' at src/parser/pattern.cpp:263:50:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'static pattern pattern::sqrt(const pattern&)' at src/parser/pattern.cpp:263:50:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- Finished src/main.o
- Finished src/parser/parser_aux.o
- Finished src/arithmetic/fixed.o
- Finished src/proofs/property.o
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:284:30:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:284:30:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:291:52:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:291:52:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:292:56:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:292:56:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:302:52:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:302:52:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- Finished src/parser/pattern.o
- Finished src/proofs/dichotomy.o
- Finished src/backends/latex.o
- Finished src/parser/ring.o
- Finished src/arithmetic/float.o
- Finished src/proofs/proof_graph.o
- Finished src/parser/parser.o
- Finished src/parser/ast.o
- Finished src/backends/d2.o
- Finished src/proofs/rewriting.o
- Finished src/backends/holl.o
- In file included from /usr/local/lib/gcc13/include/c++/algorithm:60,
- from src/numbers/interval_utility.hpp:15,
- from src/proofs/basic_proof.cpp:15:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:606:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'static proof_scheme* abs_of_uabs_scheme::factory(const predicated_real&, const ast_real_vect&)' at src/proofs/basic_proof.cpp:1023:34:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/local/lib/gcc13/include/c++/x86_64-portbld-freebsd14.3/bits/c++allocator.h:33,
- from /usr/local/lib/gcc13/include/c++/bits/allocator.h:46,
- from /usr/local/lib/gcc13/include/c++/string:43,
- from src/numbers/round.hpp:18,
- from src/proofs/basic_proof.cpp:17:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:381:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:398:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:335:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:70:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp:97:17,
- inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1443:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1599:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:127:52,
- inlined from 'static proof_scheme* abs_of_uabs_scheme::factory(const predicated_real&, const ast_real_vect&)' at src/proofs/basic_proof.cpp:1023:34:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
- 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- Finished src/proofs/schemes.o
- Finished src/proofs/basic_proof.o
- Finished src/backends/coq_common.o
- Building src/gappa
- Finished src/gappa
- Building all
- Finished all
-> compiled gappa.1.6.0
Processing 18/18: [gappa: ./remake install]
+ /home/opam/.opam/5.3.0/.opam-switch/build/gappa.1.6.0/./remake "-d" "install" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/gappa.1.6.0)
- Building install
- prefix=/home/opam/.opam/5.3.0
- exec_prefix=${prefix}
- mkdir -p ${DESTDIR}${exec_prefix}/bin
- cp src/gappa ${DESTDIR}${exec_prefix}/bin
-
- Finished install
-> installed gappa.1.6.0
Done.
2025-11-29 21:22.43 ---> saved as "8468de0fa7f87e6916b80a758fc2bd70ad701dfb1a9124c6e7f27dbe9bdc00fa"
Job succeeded
Home|Differences with the last checks|Previous runs