Building on spring
(from freebsd)
2024-08-08 06:41.01 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
2024-08-08 06:41.03 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 85058bdc24b7375e71be2d749b47bd7a1c8dd5b4"))
2024-08-08 06:41.04 ---> using "ce11077fd6b5f0fe43748cf38a8fe6352459b19d6d46e6ffe9d0777a816d13c5" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-08-08 06:41.05 ---> using "250005dfc2b47d1b02f9e7f5ee3b74c50d6278cc900e4f133ee5445c0e192fd8" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.2' 'ocaml-base-compiler.4.14.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.2 (cached)
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.2
-> installed ocaml.4.14.2
Done.
# Run eval $(opam env --switch=4.14.2) to update the current shell environment
2024-08-08 06:41.06 ---> using "54c80793d4323fc8fe04470c0b9b3c6685fb05590038ce356a59fe77ca07a083" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-08-08 06:41.08 ---> using "1e6fc31f64ff3948e58dd08c9b8e2efab33b3dde974d579ae503581cc820ed99" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"gappa.1.4.1\"\
\nopam install -vy \"gappa.1.4.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"gappa.1.4.1\" | grep -q '\"freebsd\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] gappa.1.4.1 is not installed.
Nothing to do.
The following actions will be performed:
=== install 10 packages
- install conf-autoconf 0.2 [required by gappa]
- install conf-automake 1 [required by gappa]
- install conf-bison 2 [required by gappa]
- install conf-boost 1 [required by gappa]
- install conf-flex 2 [required by gappa]
- install conf-g++ 1.0 [required by gappa]
- install conf-gmp 4 [required by gappa]
- install conf-mpfr 3 [required by gappa]
- install conf-pkg-config 3 [required by conf-mpfr]
- install gappa 1.4.1
The following system packages will first need to be installed:
autoconf boost-all devel/automake devel/bison gcc gmp mpfr textproc/flex
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run pkg to install them (may need root/sudo access)
2. Display the recommended pkg command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/local/bin/sudo "pkg" "install" "-y" "autoconf" "boost-all" "devel/automake" "devel/bison" "gcc" "gmp" "mpfr" "textproc/flex"
- Updating FreeBSD repository catalogue...
- [spring] Fetching data.pkg: .
- .
- ........ done
- Processing entries:
- ..
- .
- .
- .
- .
- .
- .
- .
- . done
- FreeBSD repository update completed. 34465 packages processed.
- All repositories are up to date.
- The following 18 package(s) will be affected (of 0 checked):
-
- New packages to be INSTALLED:
- autoconf: 2.72
- autoconf-switch: 20220527
- automake: 1.16.5_2
- binutils: 2.40_6,1
- bison: 3.8.2_2,1
- boost-all: 1.84.0
- boost-docs: 1.84.0
- boost-jam: 1.84.0
- boost-libs: 1.84.0
- flex: 2.6.4_3
- gcc: 13_5
- gcc13: 13.2.0_4
- gmp: 6.3.0
- icu: 74.2_1,1
- libtextstyle: 0.22.5
- m4: 1.4.19_1,1
- mpc: 1.3.1_1
- mpfr: 4.2.1,1
-
- Number of packages to be installed: 18
-
- The process will require 1 GiB more space.
- 184 MiB to be downloaded.
- [spring] [1/18] Fetching icu-74.2_1,1.pkg:
- .....
- ..... done
- [spring] [2/18] Fetching m4-1.4.19_1,1.pkg: ........
- .. done
- [spring] [3/18] Fetching automake-1.16.5_2.pkg: ......... done
- [spring] [4/18] Fetching mpc-1.3.1_1.pkg: .......... done
- [spring] [5/18] Fetching gcc-13_5.pkg: . done
- [spring] [6/18] Fetching boost-all-1.84.0.pkg: . done
- [spring] [7/18] Fetching boost-libs-1.84.0.pkg:
- ..
- ...
- ..... done
- [spring] [8/18] Fetching flex-2.6.4_3.pkg: .......... done
- [spring] [9/18] Fetching boost-jam-1.84.0.pkg: .......... done
- [spring] [10/18] Fetching boost-docs-1.84.0.pkg:
- .
- ..
- .
- .
- .
- .
- .
- .. done
- [spring] [11/18] Fetching libtextstyle-0.22.5.pkg: .......... done
- [spring] [12/18] Fetching gmp-6.3.0.pkg: ......... done
- [spring] [13/18] Fetching mpfr-4.2.1,1.pkg: ......... done
- [spring] [14/18] Fetching gcc13-13.2.0_4.pkg:
- .
- .
- .
- .
- .
- .
- ..
- .
- . done
- [spring] [15/18] Fetching binutils-2.40_6,1.pkg: ...
- ......
- . done
- [spring] [16/18] Fetching bison-3.8.2_2,1.pkg: .......... done
- [spring] [17/18] Fetching autoconf-switch-20220527.pkg: . done
- [spring] [18/18] Fetching autoconf-2.72.pkg: .......... done
- Checking integrity...
- done (0 conflicting)
- [spring] [1/18] Installing gmp-6.3.0...
- [spring] [1/18] Extracting gmp-6.3.0: .......... done
- [spring] [2/18] Installing mpfr-4.2.1,1...
- [spring] [2/18] Extracting mpfr-4.2.1,1: .......... done
- [spring] [3/18] Installing icu-74.2_1,1...
- [spring] [3/18] Extracting icu-74.2_1,1: .......... done
- [spring] [4/18] Installing m4-1.4.19_1,1...
- [spring] [4/18] Extracting m4-1.4.19_1,1: .......... done
- [spring] [5/18] Installing mpc-1.3.1_1...
- [spring] [5/18] Extracting mpc-1.3.1_1: ......... done
- [spring] [6/18] Installing binutils-2.40_6,1...
- [spring] [6/18] Extracting binutils-2.40_6,1: .....
- ..... done
- [spring] [7/18] Installing autoconf-switch-20220527...
- [spring] [7/18] Extracting autoconf-switch-20220527: .......... done
- [spring] [8/18] Installing boost-libs-1.84.0...
- [spring] [8/18] Extracting boost-libs-1.84.0:
- ....
- .....
- . done
- [spring] [9/18] Installing boost-jam-1.84.0...
- [spring] [9/18] Extracting boost-jam-1.84.0: .... done
- [spring] [10/18] Installing boost-docs-1.84.0...
- [spring] [10/18] Extracting boost-docs-1.84.0:
- ..
- .
- ..
- .
- .
- ..
- . done
- [spring] [11/18] Installing libtextstyle-0.22.5...
- [spring] [11/18] Extracting libtextstyle-0.22.5: .......... done
- [spring] [12/18] Installing gcc13-13.2.0_4...
- [spring] [12/18] Extracting gcc13-13.2.0_4: .......
- ..
- . done
- [spring] [13/18] Installing autoconf-2.72...
- [spring] [13/18] Extracting autoconf-2.72: .......... done
- [spring] [14/18] Installing automake-1.16.5_2...
- [spring] [14/18] Extracting automake-1.16.5_2: .......... done
- [spring] [15/18] Installing gcc-13_5...
- [spring] [15/18] Extracting gcc-13_5: ... done
- [spring] [16/18] Installing boost-all-1.84.0...
- [spring] [16/18] Extracting boost-all-1.84.0: ... done
- [spring] [17/18] Installing flex-2.6.4_3...
- [spring] [17/18] Extracting flex-2.6.4_3: .......... done
- [spring] [18/18] Installing bison-3.8.2_2,1...
- [spring] [18/18] Extracting bison-3.8.2_2,1: .......... done
- =====
- Message from boost-libs-1.84.0:
-
- --
- You have built the Boost library with thread support.
-
- Don't forget to add -pthread to your linker options when
- linking your code.
- =====
- Message from gcc13-13.2.0_4:
-
- --
- To ensure binaries built with this toolchain find appropriate versions
- of the necessary run-time libraries, you may want to link using
-
- -Wl,-rpath=/usr/local/lib/gcc13
-
- For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens
- transparently.
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.4 (cached)
-> retrieved conf-mpfr.3 (cached)
Processing 10/30: [gappa.1.4.1: http]
Processing 11/30: [gappa.1.4.1: http] [conf-autoconf: autoconf]
Processing 12/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison]
Processing 13/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison]
Processing 14/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex]
Processing 15/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++]
Processing 16/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
Processing 17/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-boost.1
Processing 18/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
+ /usr/local/bin/pkg-config "--help" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-pkg-config.3)
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --verbose print additional information
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --solution print dependency graph solution in a simple format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
- --license print the specified module's license to stdout if known
-
- 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>.
-> compiled conf-pkg-config.3
Processing 18/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
-> installed conf-pkg-config.3
Processing 19/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
+ /usr/local/bin/g++ "--version" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-g++.1.0)
- g++ (FreeBSD Ports Collection) 13.2.0
- Copyright (C) 2023 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions. There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-
-> compiled conf-g++.1.0
Processing 19/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-gmp: sh]
-> installed conf-g++.1.0
Processing 20/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-gmp: sh]
+ /usr/local/bin/bison "--version" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-bison.2)
- bison (GNU Bison) 3.8.2
- Written by Robert Corbett and Richard Stallman.
-
- Copyright (C) 2021 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-bison.2
Processing 20/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-flex: flex] [conf-gmp: sh]
-> installed conf-bison.2
Processing 21/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-flex: flex] [conf-gmp: sh]
+ /usr/bin/flex "--version" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-flex.2)
- flex 2.6.4
-> compiled conf-flex.2
Processing 21/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-gmp: sh]
-> installed conf-flex.2
Processing 22/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-gmp: sh]
+ /bin/sh "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-gmp.4)
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 22/30: [gappa.1.4.1: http] [conf-autoconf: autoconf]
-> installed conf-gmp.4
Processing 23/30: [gappa.1.4.1: http] [conf-autoconf: autoconf]
Processing 24/30: [gappa.1.4.1: http] [conf-autoconf: autoconf] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
+ /bin/sh "-exc" "pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-mpfr.3)
- + pkg-config --print-errors --exists mpfr
-> compiled conf-mpfr.3
Processing 24/30: [gappa.1.4.1: http] [conf-autoconf: autoconf]
-> installed conf-mpfr.3
Processing 25/30: [gappa.1.4.1: http] [conf-autoconf: autoconf]
Processing 25/30: [gappa.1.4.1: extract] [conf-autoconf: autoconf]
-> retrieved gappa.1.4.1 (https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.1.tar.gz)
Processing 25/30: [conf-autoconf: autoconf]
+ /usr/local/bin/autoconf "-V" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-autoconf.0.2)
- autoconf (GNU Autoconf) 2.72
- Copyright (C) 2023 Free Software Foundation, Inc.
- License GPLv3+/Autoconf: GNU GPL version 3 or later
- <https://gnu.org/licenses/gpl.html>, <https://gnu.org/licenses/exceptions.html>
- This is free software: you are free to change and redistribute it.
- There is NO WARRANTY, to the extent permitted by law.
-
- Written by David J. MacKenzie and Akim Demaille.
-> compiled conf-autoconf.0.2
-> installed conf-autoconf.0.2
Processing 27/30: [conf-automake: automake]
+ /usr/local/bin/automake "--help" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-automake.1)
- Usage: /usr/local/bin/automake [OPTION]... [Makefile]...
-
- Generate Makefile.in for configure from Makefile.am.
-
- Operation modes:
- --help print this help, then exit
- --version print version number, then exit
- -v, --verbose verbosely list files processed
- --no-force only update Makefile.in's that are out of date
- -W, --warnings=CATEGORY report the warnings falling in CATEGORY
-
- Dependency tracking:
- -i, --ignore-deps disable dependency tracking code
- --include-deps enable dependency tracking code
-
- Flavors:
- --foreign set strictness to foreign
- --gnits set strictness to gnits
- --gnu set strictness to gnu
-
- Library files:
- -a, --add-missing add missing standard files to package
- --libdir=DIR set directory storing library files
- --print-libdir print directory storing library files
- -c, --copy with -a, copy missing files (default is symlink)
- -f, --force-missing force update of standard files
-
- Warning categories include:
- cross cross compilation issues
- gnu GNU coding standards (default in gnu and gnits modes)
- obsolete obsolete features or constructions (default)
- override user redefinitions of Automake rules or variables
- portability portability issues (default in gnu and gnits modes)
- portability-recursive nested Make variables (default with -Wportability)
- extra-portability extra portability issues related to obscure tools
- syntax dubious syntactic constructs (default)
- unsupported unsupported or incomplete features (default)
- all all the warnings
- no-CATEGORY turn off warnings in CATEGORY
- none turn off all the warnings
- error treat warnings as errors
-
- Files automatically distributed if found (always):
- ABOUT-GNU TODO install-sh mdate-sh
- ABOUT-NLS ar-lib libversion.in missing
- BACKLOG compile ltcf-c.sh mkinstalldirs
- COPYING config.guess ltcf-cxx.sh py-compile
- COPYING.DOC config.rpath ltcf-gcj.sh texinfo.tex
- COPYING.LESSER config.sub ltconfig ylwrap
- COPYING.LIB depcomp ltmain.sh
-
- Files automatically distributed if found (as .md if needed):
- AUTHORS[.md] INSTALL[.md] README[.md] THANKS[.md]
- ChangeLog[.md] NEWS[.md]
-
- Files automatically distributed if found (under certain conditions):
- README-alpha[.md] config.h.bot configure configure.in
- acconfig.h config.h.top configure.ac stamp-vti
- aclocal.m4
-
- Report bugs to <bug-automake@gnu.org>.
- GNU Automake home page: <https://www.gnu.org/software/automake/>.
- General help using GNU software: <https://www.gnu.org/gethelp/>.
-> compiled conf-automake.1
-> installed conf-automake.1
[gappa: patch] applying 0001-Added-configure-for-c-11.patch
Processing 29/30: [gappa: patch]
Processing 29/30: [gappa: autoreconf]
+ /usr/local/bin/autoreconf (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/gappa.1.4.1)
- autoreconf2.72: warning: autoconf input should be named 'configure.ac', not 'configure.in'
- aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
- configure.in:8: warning: AC_PROG_LEX without either yywrap or noyywrap is obsolete
- ./lib/autoconf/programs.m4:743: _AC_PROG_LEX is expanded from...
- ./lib/autoconf/programs.m4:736: AC_PROG_LEX is expanded from...
- configure.in:8: the top level
- configure.in:23: warning: The macro 'AC_TRY_COMPILE' is obsolete.
- configure.in:23: You should run autoupdate.
- ./lib/autoconf/general.m4:2845: AC_TRY_COMPILE is expanded from...
- configure.in:23: the top level
- configure.in:31: warning: The macro 'AC_TRY_COMPILE' is obsolete.
- configure.in:31: You should run autoupdate.
- ./lib/autoconf/general.m4:2845: AC_TRY_COMPILE is expanded from...
- configure.in:31: the top level
- autoheader2.72: warning: autoconf input should be named 'configure.ac', not 'configure.in'
Processing 29/30: [gappa: touch stamp-config_h.in]
+ /usr/bin/touch "stamp-config_h.in" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/gappa.1.4.1)
Processing 29/30: [gappa: ./configure]
+ /home/opam/.opam/4.14.2/.opam-switch/build/gappa.1.4.1/./configure "--prefix=/home/opam/.opam/4.14.2" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/gappa.1.4.1)
- checking for g++... g++
- checking whether the C++ compiler works...
- yes
- checking for C++ compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling...
- no
- checking for suffix of object files... o
- checking whether the compiler supports GNU C++... yes
- checking whether g++ accepts -g... yes
- checking for g++ option to enable C++11 features...
- none needed
- checking for gcc... gcc
- checking whether the compiler supports GNU C...
- yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... none needed
- checking for flex... flex
- checking for lex output file root... lex.yy
- checking for lex library...
- none needed
- checking for library containing yywrap...
- -lfl
- checking whether yytext is a pointer...
- yes
- checking for bison... bison -y
- 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 whether g++ supports C++11 features with -std=gnu++11...
- yes
- checking for __gmpz_init in -lgmp... yes
- checking for mpfr_snprintf in -lmpfr...
- yes
- checking for Boost (>=1.32)...
- yes
- checking for tr1/unordered_map... yes
- configure: building remake...
- /usr/local/bin/ld: /tmp//ccWKWx8r.o: in function `main':
- remake.cpp:(.text.startup+0xcc8): warning: warning: tempnam() possibly used unsafely; consider using mkstemp()
- configure: creating ./config.status
- config.status: creating stamp-config_h
- config.status: creating Remakefile
- config.status: creating config.h
Processing 29/30: [gappa: ./remake]
+ /home/opam/.opam/4.14.2/.opam-switch/build/gappa.1.4.1/./remake "--jobs=7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/gappa.1.4.1)
- Building src/parser/parser.cpp src/parser/parser.hpp
- Building src/parser/lexer.cpp
- src/parser/parser.ypp:89.1-7: warning: POSIX Yacc does not support %define [-Wyacc]
- 89 | %define parse.error verbose
- | ^~~~~~~
- src/parser/parser.ypp:90.1-7: warning: POSIX Yacc does not support %define [-Wyacc]
- 90 | %define api.pure
- | ^~~~~~~
- Finished src/parser/lexer.cpp
- Finished src/parser/parser.cpp src/parser/parser.hpp
- Building src/arithmetic/fixed.o
- Building src/arithmetic/float.o
- Building src/arithmetic/homogen.o
- Building src/arithmetic/relative.o
- Building src/backends/backend.o
- Building src/backends/coq.o
- Building src/backends/coq_common.o
- Finished src/backends/backend.o
- Building src/backends/coq_lambda.o
- Finished src/arithmetic/homogen.o
- Building src/backends/holl.o
- Finished src/arithmetic/relative.o
- Building src/backends/latex.o
- Finished src/backends/coq.o
- Building src/numbers/interval.o
- Finished src/backends/coq_lambda.o
- Building src/numbers/io.o
- Finished src/arithmetic/fixed.o
- Building src/numbers/real.o
- Finished src/numbers/real.o
- Building src/numbers/round.o
- Finished src/arithmetic/float.o
- Building src/parser/ast.o
- Finished src/numbers/io.o
- Building src/parser/lexer.o
- Finished src/numbers/interval.o
- Building src/parser/parser_aux.o
- Finished src/numbers/round.o
- Building src/parser/parser.o
- Finished src/backends/latex.o
- Building src/parser/pattern.o
- Finished src/parser/lexer.o
- Building src/parser/ring.o
- Finished src/backends/holl.o
- Building src/proofs/basic_proof.o
- In file included from /usr/local/lib/gcc13/include/c++/string:51,
- from /usr/local/lib/gcc13/include/c++/bits/locale_classes.h:40,
- from /usr/local/lib/gcc13/include/c++/bits/ios_base.h:41,
- from /usr/local/lib/gcc13/include/c++/ios:44,
- from /usr/local/lib/gcc13/include/c++/ostream:40,
- from /usr/local/lib/gcc13/include/c++/iostream:41,
- from src/parser/parser.ypp:15:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'const ast_real* rnd_normalize(const ast_real&)' at src/parser/parser.ypp:66:20:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/local/lib/gcc13/include/c++/x86_64-portbld-freebsd14.0/bits/c++allocator.h:33,
- from /usr/local/lib/gcc13/include/c++/bits/allocator.h:46,
- from /usr/local/lib/gcc13/include/c++/string:43:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:375:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:395:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:332:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:600:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'const ast_real* rnd_normalize(const ast_real&)' at src/parser/parser.ypp:66:20:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:147:55: note: destination object of size 8 allocated by 'operator new'
- 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- Finished src/parser/parser_aux.o
- Building src/proofs/dichotomy.o
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:290:52:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:375:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:395:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:332:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:600:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:290:52:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:147:55: note: destination object of size 8 allocated by 'operator new'
- 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:291:56:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:375:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:395:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:332:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:600:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:291:56:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:147:55: note: destination object of size 8 allocated by 'operator new'
- 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:301:52:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:375:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:395:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:332:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:600:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'int yyparse()' at src/parser/parser.ypp:301:52:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:147:55: note: destination object of size 8 allocated by 'operator new'
- 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- Finished src/backends/coq_common.o
- Building src/proofs/proof_graph.o
- In file included from /usr/local/lib/gcc13/include/c++/bits/stl_tree.h:63,
- from /usr/local/lib/gcc13/include/c++/map:62,
- from src/parser/pattern.cpp:12:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'static pattern pattern::sqrt(const pattern&)' at src/parser/pattern.cpp:263:50:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/local/lib/gcc13/include/c++/x86_64-portbld-freebsd14.0/bits/c++allocator.h:33,
- from /usr/local/lib/gcc13/include/c++/bits/allocator.h:46,
- from /usr/local/lib/gcc13/include/c++/bits/stl_tree.h:64:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:375:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:395:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:332:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:600:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'static pattern pattern::sqrt(const pattern&)' at src/parser/pattern.cpp:263:50:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:147:55: note: destination object of size 8 allocated by 'operator new'
- 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'static pattern pattern::abs(const pattern&)' at src/parser/pattern.cpp:262:49:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:375:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:395:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:332:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:600:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'static pattern pattern::abs(const pattern&)' at src/parser/pattern.cpp:262:49:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:147:55: note: destination object of size 8 allocated by 'operator new'
- 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'pattern pattern::operator-() const' at src/parser/pattern.cpp:261:45:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:375:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:395:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:332:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:600:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'pattern pattern::operator-() const' at src/parser/pattern.cpp:261:45:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:147:55: note: destination object of size 8 allocated by 'operator new'
- 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- Finished src/parser/parser.o
- Building src/proofs/property.o
- Finished src/parser/pattern.o
- Building src/proofs/rewriting.o
- Finished src/parser/ring.o
- Building src/proofs/schemes.o
- Finished src/parser/ast.o
- Building src/proofs/updater.o
- Finished src/proofs/dichotomy.o
- Building src/main.o
- Finished src/proofs/property.o
- Building src/parameters.o
- Finished src/proofs/updater.o
- Finished src/parameters.o
- Finished src/proofs/proof_graph.o
- Finished src/main.o
- In file included from /usr/local/lib/gcc13/include/c++/algorithm:60,
- from src/numbers/interval_utility.hpp:15,
- from src/proofs/basic_proof.cpp:13:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:506:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:533:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:540:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:633:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:603:31,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'static proof_scheme* abs_of_uabs_scheme::factory(const predicated_real&, const ast_real_vect&)' at src/proofs/basic_proof.cpp:643:34:
- /usr/local/lib/gcc13/include/c++/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
- 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/local/lib/gcc13/include/c++/x86_64-portbld-freebsd14.0/bits/c++allocator.h:33,
- from /usr/local/lib/gcc13/include/c++/bits/allocator.h:46,
- from /usr/local/lib/gcc13/include/c++/string:43,
- from src/numbers/round.hpp:18,
- from src/proofs/basic_proof.cpp:15:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
- inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/local/lib/gcc13/include/c++/bits/alloc_traits.h:482:28,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:378:33,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:375:7,
- inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:395:44,
- inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:332:26,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/local/lib/gcc13/include/c++/bits/stl_vector.h:600:61,
- inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
- inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/local/include/boost/variant/detail/initializer.hpp: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/local/include/boost/variant/variant.hpp:1523:23,
- inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/local/include/boost/variant/variant.hpp:1679:26,
- inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
- inlined from 'static proof_scheme* abs_of_uabs_scheme::factory(const predicated_real&, const ast_real_vect&)' at src/proofs/basic_proof.cpp:643:34:
- /usr/local/lib/gcc13/include/c++/bits/new_allocator.h:147:55: note: destination object of size 8 allocated by 'operator new'
- 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
- | ^
- Finished src/proofs/basic_proof.o
- Finished src/proofs/schemes.o
- Finished src/proofs/rewriting.o
- Building src/gappa
- Finished src/gappa
- Building all
- Finished all
-> compiled gappa.1.4.1
Processing 30/30: [gappa: ./remake install]
+ /home/opam/.opam/4.14.2/.opam-switch/build/gappa.1.4.1/./remake "-d" "install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/gappa.1.4.1)
- Building install
- prefix=/home/opam/.opam/4.14.2
- exec_prefix=${prefix}
- mkdir -p ${DESTDIR}${exec_prefix}/bin
- cp src/gappa ${DESTDIR}${exec_prefix}/bin
-
- Finished install
-> installed gappa.1.4.1
Done.
2024-08-08 06:45.42 ---> saved as "66ad78e9edb3beffeb388e120431993cce03e01f6467cfd7c655a8926e33918a"
Job succeeded
Home|Differences with the last checks|Previous runs