Building on doris.caelum.ci.dev
day10 dispatch:
verb : health-check
opam-repository : <default>
opam-repo commit : 4817f2453c85025e66642c4d61e953167e350bd6
mirror : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
cache-dir : /var/cache/day10
ocaml-version : ocaml.4.11.2
package : gappa.1.6.0
os-distribution : debian
os-version : 13
with-test : false
+ 'day10' 'health-check' '--cache-dir' '/var/cache/day10' '--log' '--opam-repository' '/var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818:4817f2453c85025e66642c4d61e953167e350bd6' '--ocaml-version' 'ocaml.4.11.2' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'gappa.1.6.0'
digraph opam {
"conf-mpfr.3" -> {"conf-gmp.5" "conf-pkg-config.5"}
"gappa.1.6.0" -> {"conf-boost.1" "conf-g++.1.0" "conf-gmp.5" "conf-mpfr.3"}
}
Processing: [default: loading data]
The following system packages will first need to be installed:
libboost-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libboost-dev"
- Selecting previously unselected package libboost1.83-dev:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20108 files and directories currently installed.)
- Preparing to unpack .../libboost1.83-dev_1.83.0-4.2_amd64.deb ...
- Unpacking libboost1.83-dev:amd64 (1.83.0-4.2) ...
- Selecting previously unselected package libboost-dev:amd64.
- Preparing to unpack .../libboost-dev_1.83.0.2+b2_amd64.deb ...
- Unpacking libboost-dev:amd64 (1.83.0.2+b2) ...
- Setting up libboost1.83-dev:amd64 (1.83.0-4.2) ...
- Setting up libboost-dev:amd64 (1.83.0.2+b2) ...
-> installed conf-boost.1
Processing: [default: loading data]
[conf-g++: g++]
+ /usr/bin/g++ "--version" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-g++.1.0)
- g++ (Debian 14.2.0-19) 14.2.0
- Copyright (C) 2024 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
-> installed conf-g++.1.0
Processing: [default: loading data]
The following system packages will first need to be installed:
libgmp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev"
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20108 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[conf-gmp.5/test.c: dl]
-> retrieved conf-gmp.5 (https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.4)
[conf-gmp: sh]
+ /usr/bin/sh "-c" "pkg-config --print-errors --exists gmp || cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-gmp.5)
- /usr/bin/sh: 1: pkg-config: not found
-> compiled conf-gmp.5
-> installed conf-gmp.5
Processing: [default: loading data]
The following system packages will first need to be installed:
pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- Selecting previously unselected package libpkgconf3:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20108 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[conf-pkg-config.5/install-shim.sh: dl]
[conf-pkg-config.5/write-config.sh: dl]
-> retrieved conf-pkg-config.5 (2 extra sources)
-> retrieved conf-pkg-config.5 (2 extra sources)
[conf-pkg-config: pkg-config]
+ /usr/bin/pkg-config "--help" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-pkg-config.5)
- 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
- --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
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 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
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
[conf-pkg-config: sh conf-pkg-config]
+ /usr/bin/sh "./write-config.sh" "conf-pkg-config" "-v" "command:list" "EOL" "pkg-config" "EOL" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-pkg-config.5)
-> compiled conf-pkg-config.5
-> installed conf-pkg-config.5
Processing: [default: loading data]
The following system packages will first need to be installed:
libmpfr-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libmpfr-dev"
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20146 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../libmpfr-dev_4.2.2-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.2-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libmpfr-dev:amd64 (4.2.2-1) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[conf-mpfr.3/test.c: dl]
-> retrieved conf-mpfr.3 (https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-mpfr/test.c)
[conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
+ /usr/bin/sh "-exc" "pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-mpfr.3)
- + pkg-config --print-errors --exists mpfr
-> compiled conf-mpfr.3
-> installed conf-mpfr.3
[WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev
Processing: [default: loading data]
[gappa.1.6.0: http]
[gappa.1.6.0: extract]
[gappa.1.6.0/0001-Added-configure-for-c-11.patch: dl]
-> retrieved gappa.1.6.0 (https://gappa.gitlabpages.inria.fr/releases/gappa-1.6.0.tar.gz)
[gappa: patch] applying 0001-Added-configure-for-c-11.patch
[gappa: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.6.0/./configure "--prefix=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.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... no
- checking for lex... no
- checking for bison... no
- checking for byacc... no
- 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/bin/ld: /tmp/ccM39kY7.o: in function `main':
- remake.cpp:(.text.startup+0xf85): warning: the use of `tempnam' is dangerous, better use `mkstemp'
- configure: creating ./config.status
- config.status: creating stamp-config_h
- config.status: creating Remakefile
- config.status: creating config.h
[gappa: ./remake]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.6.0/./remake "--jobs=255" (CWD=/home/opam/.opam/default/.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/parameters.o
- Finished src/backends/backend.o
- Finished src/proofs/updater.o
- Finished src/numbers/io.o
- Finished src/backends/coq_lambda.o
- Finished src/numbers/round.o
- Finished src/parser/lexer.o
- Finished src/main.o
- In file included from /usr/include/c++/14/string:51,
- from /usr/include/c++/14/bits/locale_classes.h:40,
- from /usr/include/c++/14/bits/ios_base.h:41,
- from /usr/include/c++/14/ios:44,
- from /usr/include/c++/14/ostream:40,
- from /usr/include/c++/14/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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:54:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/x86_64-linux-gnu/c++/14/bits/c++allocator.h:33,
- from /usr/include/c++/14/bits/allocator.h:46,
- from /usr/include/c++/14/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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:54:
- /usr/include/c++/14/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 file included from /usr/include/c++/14/bits/stl_tree.h:63,
- from /usr/include/c++/14/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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:75:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/x86_64-linux-gnu/c++/14/bits/c++allocator.h:33,
- from /usr/include/c++/14/bits/allocator.h:46,
- from /usr/include/c++/14/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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:75:
- /usr/include/c++/14/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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:81:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:81:
- /usr/include/c++/14/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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:83:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:83:
- /usr/include/c++/14/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/numbers/interval.o
- Finished src/proofs/property.o
- Finished src/parser/parser_aux.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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:60:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:60:
- /usr/include/c++/14/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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:95:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:95:
- /usr/include/c++/14/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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:100:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:100:
- /usr/include/c++/14/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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:94:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:94:
- /usr/include/c++/14/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/arithmetic/fixed.o
- Finished src/parser/pattern.o
- Finished src/proofs/dichotomy.o
- Finished src/parser/ring.o
- Finished src/backends/latex.o
- Finished src/backends/d2.o
- Finished src/parser/parser.o
- Finished src/arithmetic/float.o
- Finished src/proofs/schemes.o
- Finished src/proofs/proof_graph.o
- Finished src/parser/ast.o
- Finished src/proofs/rewriting.o
- Finished src/backends/holl.o
- In file included from /usr/include/c++/14/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/include/c++/14/bits/stl_algobase.h:521: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/include/c++/14/bits/stl_algobase.h:548: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/include/c++/14/bits/stl_algobase.h:555: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/include/c++/14/bits/stl_algobase.h:651: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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:62:
- /usr/include/c++/14/bits/stl_algobase.h:452: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=]
- 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/x86_64-linux-gnu/c++/14/bits/c++allocator.h:33,
- from /usr/include/c++/14/bits/allocator.h:46,
- from /usr/include/c++/14/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/include/c++/14/bits/alloc_traits.h:515: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/include/c++/14/bits/stl_vector.h:380:33,
- 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/include/c++/14/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/include/c++/14/bits/stl_vector.h:334: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/include/c++/14/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/include/boost/variant/detail/initializer.hpp:110: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/include/boost/variant/variant.hpp:1556: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/include/boost/variant/variant.hpp:1720: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:62:
- /usr/include/c++/14/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_common.o
- Finished src/proofs/basic_proof.o
- Building src/gappa
- Finished src/gappa
- Building all
- Finished all
-> compiled gappa.1.6.0
[gappa: ./remake install]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.6.0/./remake "-d" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.6.0)
- Building install
- prefix=/home/opam/.opam/default
- exec_prefix=${prefix}
- mkdir -p ${DESTDIR}${exec_prefix}/bin
- cp src/gappa ${DESTDIR}${exec_prefix}/bin
-
- Finished install
-> installed gappa.1.6.0
[WARNING] Opam package conf-boost.1 depends on the following system package that can no longer be found: libboost-dev
[NOTE] success
Job succeeded
Home|Differences with the last checks|Previous runs