2021-07-12T15:45:19,864 Created temporary directory: /tmp/pip-ephem-wheel-cache-p8e0e9vf
2021-07-12T15:45:19,867 Created temporary directory: /tmp/pip-req-tracker-d7eafwv4
2021-07-12T15:45:19,868 Initialized build tracking at /tmp/pip-req-tracker-d7eafwv4
2021-07-12T15:45:19,868 Created build tracker: /tmp/pip-req-tracker-d7eafwv4
2021-07-12T15:45:19,869 Entered build tracker: /tmp/pip-req-tracker-d7eafwv4
2021-07-12T15:45:19,869 Created temporary directory: /tmp/pip-wheel-lfp7hbxh
2021-07-12T15:45:19,903 1 location(s) to search for versions of pycryptosat:
2021-07-12T15:45:19,903 * https://pypi.org/simple/pycryptosat/
2021-07-12T15:45:19,904 Fetching project page and analyzing links: https://pypi.org/simple/pycryptosat/
2021-07-12T15:45:19,904 Getting page https://pypi.org/simple/pycryptosat/
2021-07-12T15:45:19,906 Found index url https://pypi.org/simple
2021-07-12T15:45:20,003   Found link https://files.pythonhosted.org/packages/7a/b1/b9acf78cb43777e5492f7ee3c98da1169160be9ea719c5ab9f2668d3ff03/pycryptosat-0.1.2.tar.gz#sha256=7ede0badf25f1e52eb6db8dcde360b138395ad26497d44a62ce02cb19ca7574f (from https://pypi.org/simple/pycryptosat/), version: 0.1.2
2021-07-12T15:45:20,004   Found link https://files.pythonhosted.org/packages/41/d8/12296be268fbe7896f5c207af622b53545c36f854ccfe91d5fe7a6d9e105/pycryptosat-0.1.3.tar.gz#sha256=1a832b41f068407faa1b46fb4ca0c74065765abdb4b976f531870e58e51dbe00 (from https://pypi.org/simple/pycryptosat/), version: 0.1.3
2021-07-12T15:45:20,004   Found link https://files.pythonhosted.org/packages/28/1a/4012efa6207d1fca05e0b462b583920ce9a16088dcced52c22bfb98bb530/pycryptosat-0.1.4.tar.gz#sha256=8d66005f7ca5021e78cbf2c23d406e6c913719d52da8308d3f8ed863ea7267e4 (from https://pypi.org/simple/pycryptosat/), version: 0.1.4
2021-07-12T15:45:20,025   Skipping link: none of the wheel's tags (cp27-cp27mu-manylinux2010_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/83/d5/def4f157cb81e25c7ba689442522d4987118a2b392ccf36bd14fceac326e/pycryptosat-0.6.1-cp27-cp27mu-manylinux2010_x86_64.whl#sha256=5ab1ff5f8ce92c8de0b3762a1854e9aa24c616000c9c22158403760c51bd3cd8 (from https://pypi.org/simple/pycryptosat/)
2021-07-12T15:45:20,026   Skipping link: none of the wheel's tags (cp36-cp36m-manylinux2010_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/56/3d/419594403efaf1ba01c188e19ba4bead13bf800b3b31883611d9b28ec636/pycryptosat-0.6.1-cp36-cp36m-manylinux2010_x86_64.whl#sha256=02bd61b024a1b6829dd8032ebc464350153181eecbe09a3171695b52aed20af9 (from https://pypi.org/simple/pycryptosat/)
2021-07-12T15:45:20,027   Found link https://files.pythonhosted.org/packages/7a/e1/b85c5f20db50f3495c778220d8587c54be11e8e52328cb5440d5e1b89b33/pycryptosat-0.6.1.tar.gz#sha256=fde24d733e90b108eb751e1a94c92b18836ccc80d0c882e33cc9755888ff5705 (from https://pypi.org/simple/pycryptosat/), version: 0.6.1
2021-07-12T15:45:20,027   Skipping link: none of the wheel's tags (cp27-cp27m-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/9c/7e/5a971863c3f44f02bbfc7854fecaa9c98d76438807ae6058523beb902eca/pycryptosat-0.7.0.dev3-cp27-cp27m-win_amd64.whl#sha256=2c00a49fc12fff42e189f497343d621e898d2b96f1e65c3883b164c0ddc3a280 (from https://pypi.org/simple/pycryptosat/)
2021-07-12T15:45:20,028   Skipping link: none of the wheel's tags (cp27-cp27mu-manylinux2010_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/1b/0f/18aca37caed4236036e7d6cad31b9021427c5f611e75fa5ce3cd40267494/pycryptosat-0.7.0.dev3-cp27-cp27mu-manylinux2010_x86_64.whl#sha256=b0bead36263efbecbfe51b54523ab3f03391c66af069d4ba0cf770ceaa6ab18d (from https://pypi.org/simple/pycryptosat/)
2021-07-12T15:45:20,029   Skipping link: none of the wheel's tags (cp37-cp37m-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/3c/bf/8826fa6b88c4a7b189c969da16df003b448fe424d1f49d9a6f806c1e43d7/pycryptosat-0.7.0.dev3-cp37-cp37m-win_amd64.whl#sha256=1603dc550fcd3836f1f0e5e826a949d2240e2edbb1f47dcd6e4e7b0703b84bf5 (from https://pypi.org/simple/pycryptosat/)
2021-07-12T15:45:20,029   Found link https://files.pythonhosted.org/packages/98/4a/e8827b6c7c0592e3b3cff7ea3a9b9dfa2be656353bae3ff0628a5f6c3dd6/pycryptosat-0.7.0.dev3.tar.gz#sha256=b53bbf34216f2c7336bcb436938417f5dafd634386d08a3454baf077fe6c6e78 (from https://pypi.org/simple/pycryptosat/), version: 0.7.0.dev3
2021-07-12T15:45:20,029 Skipping link: not a file: https://pypi.org/simple/pycryptosat/
2021-07-12T15:45:20,031 Given no hashes to check 1 links for project 'pycryptosat': discarding no candidates
2021-07-12T15:45:20,054 Collecting pycryptosat==0.1.3
2021-07-12T15:45:20,056   Created temporary directory: /tmp/pip-unpack-lb8cttfg
2021-07-12T15:45:20,290   Downloading pycryptosat-0.1.3.tar.gz (297 kB)
2021-07-12T15:45:20,867   Added pycryptosat==0.1.3 from https://files.pythonhosted.org/packages/41/d8/12296be268fbe7896f5c207af622b53545c36f854ccfe91d5fe7a6d9e105/pycryptosat-0.1.3.tar.gz#sha256=1a832b41f068407faa1b46fb4ca0c74065765abdb4b976f531870e58e51dbe00 to build tracker '/tmp/pip-req-tracker-d7eafwv4'
2021-07-12T15:45:20,868     Running setup.py (path:/tmp/pip-wheel-lfp7hbxh/pycryptosat_a9ebb0ad3d6c48ecaacc8032d0e40e04/setup.py) egg_info for package pycryptosat
2021-07-12T15:45:20,869     Created temporary directory: /tmp/pip-pip-egg-info-rexx5p9b
2021-07-12T15:45:20,869     Running command python setup.py egg_info
2021-07-12T15:45:22,073     running egg_info
2021-07-12T15:45:22,076     creating /tmp/pip-pip-egg-info-rexx5p9b/pycryptosat.egg-info
2021-07-12T15:45:22,077     writing /tmp/pip-pip-egg-info-rexx5p9b/pycryptosat.egg-info/PKG-INFO
2021-07-12T15:45:22,079     writing dependency_links to /tmp/pip-pip-egg-info-rexx5p9b/pycryptosat.egg-info/dependency_links.txt
2021-07-12T15:45:22,082     writing top-level names to /tmp/pip-pip-egg-info-rexx5p9b/pycryptosat.egg-info/top_level.txt
2021-07-12T15:45:22,083     writing manifest file '/tmp/pip-pip-egg-info-rexx5p9b/pycryptosat.egg-info/SOURCES.txt'
2021-07-12T15:45:22,326     reading manifest file '/tmp/pip-pip-egg-info-rexx5p9b/pycryptosat.egg-info/SOURCES.txt'
2021-07-12T15:45:22,329     reading manifest template 'MANIFEST.in'
2021-07-12T15:45:22,487     adding license file 'LICENSE'
2021-07-12T15:45:22,497     writing manifest file '/tmp/pip-pip-egg-info-rexx5p9b/pycryptosat.egg-info/SOURCES.txt'
2021-07-12T15:45:22,590   Source in /tmp/pip-wheel-lfp7hbxh/pycryptosat_a9ebb0ad3d6c48ecaacc8032d0e40e04 has version 0.1.3, which satisfies requirement pycryptosat==0.1.3 from https://files.pythonhosted.org/packages/41/d8/12296be268fbe7896f5c207af622b53545c36f854ccfe91d5fe7a6d9e105/pycryptosat-0.1.3.tar.gz#sha256=1a832b41f068407faa1b46fb4ca0c74065765abdb4b976f531870e58e51dbe00
2021-07-12T15:45:22,592   Removed pycryptosat==0.1.3 from https://files.pythonhosted.org/packages/41/d8/12296be268fbe7896f5c207af622b53545c36f854ccfe91d5fe7a6d9e105/pycryptosat-0.1.3.tar.gz#sha256=1a832b41f068407faa1b46fb4ca0c74065765abdb4b976f531870e58e51dbe00 from build tracker '/tmp/pip-req-tracker-d7eafwv4'
2021-07-12T15:45:22,596 Created temporary directory: /tmp/pip-unpack-pgv_lams
2021-07-12T15:45:22,597 Building wheels for collected packages: pycryptosat
2021-07-12T15:45:22,601   Created temporary directory: /tmp/pip-wheel-_ko_9_rx
2021-07-12T15:45:22,602   Building wheel for pycryptosat (setup.py): started
2021-07-12T15:45:22,602   Destination directory: /tmp/pip-wheel-_ko_9_rx
2021-07-12T15:45:22,603   Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-lfp7hbxh/pycryptosat_a9ebb0ad3d6c48ecaacc8032d0e40e04/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-lfp7hbxh/pycryptosat_a9ebb0ad3d6c48ecaacc8032d0e40e04/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-_ko_9_rx
2021-07-12T15:45:23,805   running bdist_wheel
2021-07-12T15:45:24,000   running build
2021-07-12T15:45:24,000   running build_ext
2021-07-12T15:45:24,006   building 'pycryptosat' extension
2021-07-12T15:45:24,007   creating build
2021-07-12T15:45:24,007   creating build/temp.linux-armv7l-3.9
2021-07-12T15:45:24,008   creating build/temp.linux-armv7l-3.9/src
2021-07-12T15:45:24,010   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/GitSHA1.cpp -o build/temp.linux-armv7l-3.9/src/GitSHA1.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:45:24,099   src/GitSHA1.cpp:59:32: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
2021-07-12T15:45:24,099      59 |     "compilation date time = " __DATE__ " " __TIME__
2021-07-12T15:45:24,099         |                                ^~~~~~~~
2021-07-12T15:45:24,100   src/GitSHA1.cpp:59:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
2021-07-12T15:45:24,100      59 |     "compilation date time = " __DATE__ " " __TIME__
2021-07-12T15:45:24,100         |                                             ^~~~~~~~
2021-07-12T15:45:24,148   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/bva.cpp -o build/temp.linux-armv7l-3.9/src/bva.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:45:27,739   In file included from src/heap.h:24,
2021-07-12T15:45:27,739                    from src/bva.h:26,
2021-07-12T15:45:27,739                    from src/bva.cpp:23:
2021-07-12T15:45:27,740   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:45:27,740   src/watcharray.h:146:31:   required from here
2021-07-12T15:45:27,740   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:27,740     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:45:27,741         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:27,741   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:27,741      40 | class vec {
2021-07-12T15:45:27,741         |       ^~~
2021-07-12T15:45:27,906   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:45:27,907   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:45:27,907   src/watcharray.h:90:36:   required from here
2021-07-12T15:45:27,907   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:27,907     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:45:27,908         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:27,908   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:27,908      40 | class vec {
2021-07-12T15:45:27,908         |       ^~~
2021-07-12T15:45:30,870   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clauseallocator.cpp -o build/temp.linux-armv7l-3.9/src/clauseallocator.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:45:33,741   In file included from src/heap.h:24,
2021-07-12T15:45:33,741                    from src/propengine.h:39,
2021-07-12T15:45:33,742                    from src/solver.h:36,
2021-07-12T15:45:33,742                    from src/clauseallocator.cpp:33:
2021-07-12T15:45:33,742   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:45:33,742   src/watcharray.h:146:31:   required from here
2021-07-12T15:45:33,742   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:33,742     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:45:33,743         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:33,743   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:33,743      40 | class vec {
2021-07-12T15:45:33,743         |       ^~~
2021-07-12T15:45:33,855   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:45:33,855   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:45:33,855   src/watcharray.h:90:36:   required from here
2021-07-12T15:45:33,855   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:33,855     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:45:33,856         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:33,856   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:33,856      40 | class vec {
2021-07-12T15:45:33,856         |       ^~~
2021-07-12T15:45:34,728   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clausecleaner.cpp -o build/temp.linux-armv7l-3.9/src/clausecleaner.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:45:37,534   In file included from src/watcharray.h:28,
2021-07-12T15:45:37,534                    from src/clausecleaner.h:28,
2021-07-12T15:45:37,535                    from src/clausecleaner.cpp:23:
2021-07-12T15:45:37,535   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:45:37,535   src/watcharray.h:146:31:   required from here
2021-07-12T15:45:37,535   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:37,535     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:45:37,535         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:37,536   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:37,536      40 | class vec {
2021-07-12T15:45:37,536         |       ^~~
2021-07-12T15:45:37,644   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:45:37,644   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:45:37,644   src/watcharray.h:90:36:   required from here
2021-07-12T15:45:37,644   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:37,644     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:45:37,645         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:37,645   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:37,645      40 | class vec {
2021-07-12T15:45:37,645         |       ^~~
2021-07-12T15:45:39,037   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clausedumper.cpp -o build/temp.linux-armv7l-3.9/src/clausedumper.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:45:42,184   In file included from src/heap.h:24,
2021-07-12T15:45:42,184                    from src/propengine.h:39,
2021-07-12T15:45:42,184                    from src/solver.h:36,
2021-07-12T15:45:42,184                    from src/clausedumper.cpp:24:
2021-07-12T15:45:42,184   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:45:42,184   src/watcharray.h:146:31:   required from here
2021-07-12T15:45:42,185   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:42,185     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:45:42,185         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:42,185   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:42,185      40 | class vec {
2021-07-12T15:45:42,185         |       ^~~
2021-07-12T15:45:42,316   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:45:42,317   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:45:42,317   src/watcharray.h:90:36:   required from here
2021-07-12T15:45:42,317   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:42,317     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:45:42,317         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:42,318   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:42,318      40 | class vec {
2021-07-12T15:45:42,318         |       ^~~
2021-07-12T15:45:43,555   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clauseusagestats.cpp -o build/temp.linux-armv7l-3.9/src/clauseusagestats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:45:45,611   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cnf.cpp -o build/temp.linux-armv7l-3.9/src/cnf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:45:48,180   In file included from src/watcharray.h:28,
2021-07-12T15:45:48,181                    from src/cnf.h:35,
2021-07-12T15:45:48,181                    from src/cnf.cpp:23:
2021-07-12T15:45:48,181   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:45:48,181   src/watcharray.h:146:31:   required from here
2021-07-12T15:45:48,182   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:48,182     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:45:48,182         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:48,182   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:48,182      40 | class vec {
2021-07-12T15:45:48,182         |       ^~~
2021-07-12T15:45:48,323   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:45:48,323   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:45:48,323   src/watcharray.h:90:36:   required from here
2021-07-12T15:45:48,323   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:48,323     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:45:48,323         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:48,324   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:48,324      40 | class vec {
2021-07-12T15:45:48,324         |       ^~~
2021-07-12T15:45:51,543   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/compfinder.cpp -o build/temp.linux-armv7l-3.9/src/compfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:45:54,884   In file included from src/heap.h:24,
2021-07-12T15:45:54,884                    from src/propengine.h:39,
2021-07-12T15:45:54,884                    from src/solver.h:36,
2021-07-12T15:45:54,885                    from src/compfinder.cpp:30:
2021-07-12T15:45:54,885   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:45:54,885   src/watcharray.h:146:31:   required from here
2021-07-12T15:45:54,885   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:54,885     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:45:54,885         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:54,885   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:54,886      40 | class vec {
2021-07-12T15:45:54,886         |       ^~~
2021-07-12T15:45:55,050   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:45:55,050   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:45:55,050   src/watcharray.h:90:36:   required from here
2021-07-12T15:45:55,050   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:45:55,051     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:45:55,051         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:45:55,051   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:45:55,051      40 | class vec {
2021-07-12T15:45:55,051         |       ^~~
2021-07-12T15:45:57,026   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/comphandler.cpp -o build/temp.linux-armv7l-3.9/src/comphandler.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:00,748   In file included from src/watcharray.h:28,
2021-07-12T15:46:00,749                    from src/varreplacer.h:33,
2021-07-12T15:46:00,749                    from src/comphandler.cpp:25:
2021-07-12T15:46:00,749   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:00,749   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:00,749   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:00,749     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:00,750         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:00,750   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:00,750      40 | class vec {
2021-07-12T15:46:00,750         |       ^~~
2021-07-12T15:46:00,920   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:00,920   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:00,920   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:00,921   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:00,921     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:00,921         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:00,921   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:00,921      40 | class vec {
2021-07-12T15:46:00,921         |       ^~~
2021-07-12T15:46:04,184   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/completedetachreattacher.cpp -o build/temp.linux-armv7l-3.9/src/completedetachreattacher.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:07,751   In file included from src/watcharray.h:28,
2021-07-12T15:46:07,751                    from src/completedetachreattacher.h:28,
2021-07-12T15:46:07,752                    from src/completedetachreattacher.cpp:23:
2021-07-12T15:46:07,752   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:07,752   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:07,752   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:07,752     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:07,753         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:07,753   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:07,753      40 | class vec {
2021-07-12T15:46:07,753         |       ^~~
2021-07-12T15:46:07,888   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:07,888   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:07,889   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:07,889   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:07,889     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:07,889         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:07,890   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:07,890      40 | class vec {
2021-07-12T15:46:07,890         |       ^~~
2021-07-12T15:46:09,155   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cryptominisat.cpp -o build/temp.linux-armv7l-3.9/src/cryptominisat.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:13,482   In file included from src/heap.h:24,
2021-07-12T15:46:13,482                    from src/propengine.h:39,
2021-07-12T15:46:13,483                    from src/solver.h:36,
2021-07-12T15:46:13,483                    from src/cryptominisat.cpp:25:
2021-07-12T15:46:13,483   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:13,483   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:13,483   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:13,483     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:13,484         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:13,484   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:13,484      40 | class vec {
2021-07-12T15:46:13,484         |       ^~~
2021-07-12T15:46:13,625   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:13,625   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:13,625   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:13,625   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:13,626     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:13,626         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:13,626   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:13,626      40 | class vec {
2021-07-12T15:46:13,626         |       ^~~
2021-07-12T15:46:14,241   In file included from src/solvertypes.h:38,
2021-07-12T15:46:14,241                    from src/solver.h:34,
2021-07-12T15:46:14,241                    from src/cryptominisat.cpp:25:
2021-07-12T15:46:14,241   src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’:
2021-07-12T15:46:14,241   src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type]
2021-07-12T15:46:14,242      53 | }
2021-07-12T15:46:14,242         | ^
2021-07-12T15:46:15,730   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cryptominisat_c.cpp -o build/temp.linux-armv7l-3.9/src/cryptominisat_c.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:17,417   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/datasync.cpp -o build/temp.linux-armv7l-3.9/src/datasync.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:20,423   In file included from src/watcharray.h:28,
2021-07-12T15:46:20,424                    from src/datasync.h:25,
2021-07-12T15:46:20,424                    from src/datasync.cpp:23:
2021-07-12T15:46:20,424   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:20,424   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:20,425   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:20,425     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:20,425         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:20,425   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:20,426      40 | class vec {
2021-07-12T15:46:20,426         |       ^~~
2021-07-12T15:46:20,542   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:20,542   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:20,542   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:20,543   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:20,543     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:20,543         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:20,543   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:20,544      40 | class vec {
2021-07-12T15:46:20,544         |       ^~~
2021-07-12T15:46:22,305   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/distillerallwithall.cpp -o build/temp.linux-armv7l-3.9/src/distillerallwithall.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:25,125   In file included from src/watcharray.h:28,
2021-07-12T15:46:25,125                    from src/distillerallwithall.h:31,
2021-07-12T15:46:25,125                    from src/distillerallwithall.cpp:23:
2021-07-12T15:46:25,125   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:25,126   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:25,126   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:25,126     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:25,126         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:25,126   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:25,127      40 | class vec {
2021-07-12T15:46:25,127         |       ^~~
2021-07-12T15:46:25,231   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:25,232   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:25,232   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:25,232   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:25,232     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:25,232         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:25,233   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:25,233      40 | class vec {
2021-07-12T15:46:25,233         |       ^~~
2021-07-12T15:46:26,613   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/distillerlongwithimpl.cpp -o build/temp.linux-armv7l-3.9/src/distillerlongwithimpl.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:29,462   In file included from src/watcharray.h:28,
2021-07-12T15:46:29,462                    from src/distillerlongwithimpl.h:31,
2021-07-12T15:46:29,462                    from src/distillerlongwithimpl.cpp:23:
2021-07-12T15:46:29,462   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:29,463   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:29,463   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:29,463     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:29,463         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:29,463   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:29,464      40 | class vec {
2021-07-12T15:46:29,464         |       ^~~
2021-07-12T15:46:29,563   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:29,563   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:29,563   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:29,564   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:29,564     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:29,564         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:29,564   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:29,564      40 | class vec {
2021-07-12T15:46:29,565         |       ^~~
2021-07-12T15:46:30,924   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/features_calc.cpp -o build/temp.linux-armv7l-3.9/src/features_calc.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:33,792   In file included from src/heap.h:24,
2021-07-12T15:46:33,792                    from src/propengine.h:39,
2021-07-12T15:46:33,793                    from src/solver.h:36,
2021-07-12T15:46:33,793                    from src/features_calc.cpp:26:
2021-07-12T15:46:33,793   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:33,793   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:33,793   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:33,794     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:33,794         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:33,794   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:33,794      40 | class vec {
2021-07-12T15:46:33,795         |       ^~~
2021-07-12T15:46:33,911   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:33,912   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:33,912   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:33,912   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:33,912     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:33,913         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:33,913   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:33,913      40 | class vec {
2021-07-12T15:46:33,913         |       ^~~
2021-07-12T15:46:34,867   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/features_to_reconf.cpp -o build/temp.linux-armv7l-3.9/src/features_to_reconf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:36,052   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/hyperengine.cpp -o build/temp.linux-armv7l-3.9/src/hyperengine.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:39,149   In file included from src/watcharray.h:28,
2021-07-12T15:46:39,149                    from src/cnf.h:35,
2021-07-12T15:46:39,149                    from src/hyperengine.h:23,
2021-07-12T15:46:39,149                    from src/hyperengine.cpp:23:
2021-07-12T15:46:39,150   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:39,150   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:39,150   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:39,150     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:39,150         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:39,151   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:39,151      40 | class vec {
2021-07-12T15:46:39,151         |       ^~~
2021-07-12T15:46:39,304   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:39,305   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:39,305   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:39,305   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:39,305     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:39,305         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:39,306   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:39,306      40 | class vec {
2021-07-12T15:46:39,306         |       ^~~
2021-07-12T15:46:40,841   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/implcache.cpp -o build/temp.linux-armv7l-3.9/src/implcache.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:43,786   In file included from src/heap.h:24,
2021-07-12T15:46:43,786                    from src/propengine.h:39,
2021-07-12T15:46:43,786                    from src/solver.h:36,
2021-07-12T15:46:43,786                    from src/implcache.cpp:28:
2021-07-12T15:46:43,786   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:43,787   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:43,787   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:43,787     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:43,787         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:43,787   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:43,788      40 | class vec {
2021-07-12T15:46:43,788         |       ^~~
2021-07-12T15:46:43,921   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:43,921   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:43,921   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:43,921   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:43,922     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:43,922         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:43,922   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:43,922      40 | class vec {
2021-07-12T15:46:43,922         |       ^~~
2021-07-12T15:46:45,507   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/intree.cpp -o build/temp.linux-armv7l-3.9/src/intree.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:48,435   In file included from src/heap.h:24,
2021-07-12T15:46:48,436                    from src/propengine.h:39,
2021-07-12T15:46:48,436                    from src/solver.h:36,
2021-07-12T15:46:48,436                    from src/intree.cpp:24:
2021-07-12T15:46:48,436   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:48,436   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:48,437   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:48,437     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:48,437         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:48,438   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:48,438      40 | class vec {
2021-07-12T15:46:48,438         |       ^~~
2021-07-12T15:46:48,585   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:48,586   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:48,586   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:48,586   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:48,586     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:48,587         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:48,587   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:48,587      40 | class vec {
2021-07-12T15:46:48,587         |       ^~~
2021-07-12T15:46:50,241   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/occsimplifier.cpp -o build/temp.linux-armv7l-3.9/src/occsimplifier.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:46:53,906   In file included from src/heap.h:24,
2021-07-12T15:46:53,906                    from src/occsimplifier.h:38,
2021-07-12T15:46:53,906                    from src/occsimplifier.cpp:39:
2021-07-12T15:46:53,906   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:46:53,907   src/watcharray.h:146:31:   required from here
2021-07-12T15:46:53,907   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:53,907     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:46:53,908         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:53,908   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:53,908      40 | class vec {
2021-07-12T15:46:53,908         |       ^~~
2021-07-12T15:46:54,105   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:46:54,106   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:46:54,106   src/watcharray.h:90:36:   required from here
2021-07-12T15:46:54,106   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:46:54,106     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:46:54,107         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:46:54,107   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:46:54,107      40 | class vec {
2021-07-12T15:46:54,107         |       ^~~
2021-07-12T15:46:59,020   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/prober.cpp -o build/temp.linux-armv7l-3.9/src/prober.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:02,022   In file included from src/heap.h:24,
2021-07-12T15:47:02,023                    from src/propengine.h:39,
2021-07-12T15:47:02,023                    from src/solver.h:36,
2021-07-12T15:47:02,023                    from src/prober.cpp:32:
2021-07-12T15:47:02,023   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:47:02,023   src/watcharray.h:146:31:   required from here
2021-07-12T15:47:02,023   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:02,023     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:47:02,024         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:02,024   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:02,024      40 | class vec {
2021-07-12T15:47:02,024         |       ^~~
2021-07-12T15:47:02,148   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:47:02,148   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:47:02,149   src/watcharray.h:90:36:   required from here
2021-07-12T15:47:02,149   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:02,149     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:47:02,149         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:02,149   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:02,150      40 | class vec {
2021-07-12T15:47:02,150         |       ^~~
2021-07-12T15:47:04,238   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/propengine.cpp -o build/temp.linux-armv7l-3.9/src/propengine.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:07,106   In file included from src/heap.h:24,
2021-07-12T15:47:07,106                    from src/propengine.h:39,
2021-07-12T15:47:07,107                    from src/propengine.cpp:23:
2021-07-12T15:47:07,107   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:47:07,107   src/watcharray.h:146:31:   required from here
2021-07-12T15:47:07,107   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:07,107     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:47:07,107         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:07,108   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:07,108      40 | class vec {
2021-07-12T15:47:07,108         |       ^~~
2021-07-12T15:47:07,235   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:47:07,235   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:47:07,235   src/watcharray.h:90:36:   required from here
2021-07-12T15:47:07,235   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:07,235     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:47:07,235         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:07,236   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:07,236      40 | class vec {
2021-07-12T15:47:07,236         |       ^~~
2021-07-12T15:47:09,164   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/pycryptosat.cpp -o build/temp.linux-armv7l-3.9/src/pycryptosat.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:10,756   src/pycryptosat.cpp: In function ‘int parse_clause(Solver*, PyObject*, std::vector<CMSat::Lit>&)’:
2021-07-12T15:47:10,757   src/pycryptosat.cpp:173:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare]
2021-07-12T15:47:10,757     173 |         if (var >= self->cmsat->nVars()) {
2021-07-12T15:47:10,757         |             ~~~~^~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:10,759   src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector<unsigned int>&)’:
2021-07-12T15:47:10,759   src/pycryptosat.cpp:216:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare]
2021-07-12T15:47:10,759     216 |         if (var >= self->cmsat->nVars()) {
2021-07-12T15:47:10,759         |             ~~~~^~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:10,795   src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector<CMSat::Lit>&)’:
2021-07-12T15:47:10,795   src/pycryptosat.cpp:457:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare]
2021-07-12T15:47:10,795     457 |         if (var >= cmsat->nVars()) {
2021-07-12T15:47:10,796         |             ~~~~^~~~~~~~~~~~~~~~~
2021-07-12T15:47:11,519   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/reducedb.cpp -o build/temp.linux-armv7l-3.9/src/reducedb.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:14,351   In file included from src/heap.h:24,
2021-07-12T15:47:14,351                    from src/propengine.h:39,
2021-07-12T15:47:14,352                    from src/solver.h:36,
2021-07-12T15:47:14,352                    from src/reducedb.cpp:24:
2021-07-12T15:47:14,352   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:47:14,352   src/watcharray.h:146:31:   required from here
2021-07-12T15:47:14,352   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:14,352     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:47:14,352         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:14,353   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:14,353      40 | class vec {
2021-07-12T15:47:14,353         |       ^~~
2021-07-12T15:47:14,468   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:47:14,468   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:47:14,468   src/watcharray.h:90:36:   required from here
2021-07-12T15:47:14,468   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:14,469     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:47:14,469         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:14,469   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:14,469      40 | class vec {
2021-07-12T15:47:14,469         |       ^~~
2021-07-12T15:47:15,775   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/sccfinder.cpp -o build/temp.linux-armv7l-3.9/src/sccfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:19,370   In file included from src/watcharray.h:28,
2021-07-12T15:47:19,371                    from src/varreplacer.h:33,
2021-07-12T15:47:19,371                    from src/sccfinder.cpp:29:
2021-07-12T15:47:19,371   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:47:19,371   src/watcharray.h:146:31:   required from here
2021-07-12T15:47:19,371   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:19,371     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:47:19,371         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:19,372   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:19,372      40 | class vec {
2021-07-12T15:47:19,372         |       ^~~
2021-07-12T15:47:19,536   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:47:19,536   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:47:19,537   src/watcharray.h:90:36:   required from here
2021-07-12T15:47:19,537   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:19,537     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:47:19,537         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:19,538   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:19,538      40 | class vec {
2021-07-12T15:47:19,538         |       ^~~
2021-07-12T15:47:21,300   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/searcher.cpp -o build/temp.linux-armv7l-3.9/src/searcher.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:24,834   In file included from src/heap.h:24,
2021-07-12T15:47:24,834                    from src/propengine.h:39,
2021-07-12T15:47:24,834                    from src/searcher.h:28,
2021-07-12T15:47:24,834                    from src/searcher.cpp:23:
2021-07-12T15:47:24,834   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:47:24,834   src/watcharray.h:146:31:   required from here
2021-07-12T15:47:24,835   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:24,835     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:47:24,835         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:24,835   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:24,835      40 | class vec {
2021-07-12T15:47:24,835         |       ^~~
2021-07-12T15:47:25,045   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:47:25,046   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:47:25,046   src/watcharray.h:90:36:   required from here
2021-07-12T15:47:25,046   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:25,046     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:47:25,046         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:25,046   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:25,047      40 | class vec {
2021-07-12T15:47:25,047         |       ^~~
2021-07-12T15:47:29,444   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/searchstats.cpp -o build/temp.linux-armv7l-3.9/src/searchstats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:32,494   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solutionextender.cpp -o build/temp.linux-armv7l-3.9/src/solutionextender.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:35,603   In file included from src/watcharray.h:28,
2021-07-12T15:47:35,603                    from src/solutionextender.h:28,
2021-07-12T15:47:35,604                    from src/solutionextender.cpp:23:
2021-07-12T15:47:35,604   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:47:35,604   src/watcharray.h:146:31:   required from here
2021-07-12T15:47:35,604   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:35,605     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:47:35,605         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:35,605   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:35,606      40 | class vec {
2021-07-12T15:47:35,606         |       ^~~
2021-07-12T15:47:35,714   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:47:35,714   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:47:35,715   src/watcharray.h:90:36:   required from here
2021-07-12T15:47:35,715   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:35,715     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:47:35,716         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:35,716   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:35,716      40 | class vec {
2021-07-12T15:47:35,717         |       ^~~
2021-07-12T15:47:36,884   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solvefeatures.cpp -o build/temp.linux-armv7l-3.9/src/solvefeatures.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:38,573   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solver.cpp -o build/temp.linux-armv7l-3.9/src/solver.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:43,675   In file included from src/heap.h:24,
2021-07-12T15:47:43,675                    from src/propengine.h:39,
2021-07-12T15:47:43,676                    from src/solver.h:36,
2021-07-12T15:47:43,676                    from src/solver.cpp:23:
2021-07-12T15:47:43,676   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:47:43,676   src/watcharray.h:146:31:   required from here
2021-07-12T15:47:43,677   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:43,677     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:47:43,677         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:43,678   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:43,678      40 | class vec {
2021-07-12T15:47:43,678         |       ^~~
2021-07-12T15:47:44,021   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:47:44,021   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:47:44,022   src/watcharray.h:90:36:   required from here
2021-07-12T15:47:44,022   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:44,022     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:47:44,023         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:44,023   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:44,023      40 | class vec {
2021-07-12T15:47:44,023         |       ^~~
2021-07-12T15:47:45,397   In file included from src/solvertypes.h:38,
2021-07-12T15:47:45,397                    from src/solver.h:34,
2021-07-12T15:47:45,398                    from src/solver.cpp:23:
2021-07-12T15:47:45,398   src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’:
2021-07-12T15:47:45,398   src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type]
2021-07-12T15:47:45,398      53 | }
2021-07-12T15:47:45,399         | ^
2021-07-12T15:47:50,936   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solverconf.cpp -o build/temp.linux-armv7l-3.9/src/solverconf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:52,869   In file included from src/solverconf.cpp:24:
2021-07-12T15:47:52,869   src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’:
2021-07-12T15:47:52,869   src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type]
2021-07-12T15:47:52,869      53 | }
2021-07-12T15:47:52,870         | ^
2021-07-12T15:47:53,241   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/sqlstats.cpp -o build/temp.linux-armv7l-3.9/src/sqlstats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:47:56,758   In file included from src/heap.h:24,
2021-07-12T15:47:56,759                    from src/propengine.h:39,
2021-07-12T15:47:56,759                    from src/searcher.h:28,
2021-07-12T15:47:56,759                    from src/sqlstats.h:26,
2021-07-12T15:47:56,759                    from src/sqlstats.cpp:23:
2021-07-12T15:47:56,759   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:47:56,760   src/watcharray.h:146:31:   required from here
2021-07-12T15:47:56,760   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:56,760     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:47:56,760         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:56,761   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:56,761      40 | class vec {
2021-07-12T15:47:56,761         |       ^~~
2021-07-12T15:47:56,900   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:47:56,901   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:47:56,901   src/watcharray.h:90:36:   required from here
2021-07-12T15:47:56,901   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:47:56,901     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:47:56,902         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:47:56,902   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:47:56,902      40 | class vec {
2021-07-12T15:47:56,902         |       ^~~
2021-07-12T15:47:57,644   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/stamp.cpp -o build/temp.linux-armv7l-3.9/src/stamp.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:48:01,146   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/str_impl_w_impl_stamp.cpp -o build/temp.linux-armv7l-3.9/src/str_impl_w_impl_stamp.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:48:04,717   In file included from src/watcharray.h:28,
2021-07-12T15:48:04,718                    from src/str_impl_w_impl_stamp.h:31,
2021-07-12T15:48:04,718                    from src/str_impl_w_impl_stamp.cpp:23:
2021-07-12T15:48:04,718   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:48:04,718   src/watcharray.h:146:31:   required from here
2021-07-12T15:48:04,719   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:04,719     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:48:04,719         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:04,719   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:04,719      40 | class vec {
2021-07-12T15:48:04,720         |       ^~~
2021-07-12T15:48:04,860   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:48:04,860   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:48:04,861   src/watcharray.h:90:36:   required from here
2021-07-12T15:48:04,861   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:04,861     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:48:04,861         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:04,862   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:04,862      40 | class vec {
2021-07-12T15:48:04,862         |       ^~~
2021-07-12T15:48:06,291   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/subsumeimplicit.cpp -o build/temp.linux-armv7l-3.9/src/subsumeimplicit.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:48:09,100   In file included from src/watcharray.h:28,
2021-07-12T15:48:09,101                    from src/subsumeimplicit.h:31,
2021-07-12T15:48:09,101                    from src/subsumeimplicit.cpp:23:
2021-07-12T15:48:09,101   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:48:09,101   src/watcharray.h:146:31:   required from here
2021-07-12T15:48:09,101   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:09,101     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:48:09,101         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:09,102   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:09,102      40 | class vec {
2021-07-12T15:48:09,102         |       ^~~
2021-07-12T15:48:09,204   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:48:09,204   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:48:09,204   src/watcharray.h:90:36:   required from here
2021-07-12T15:48:09,204   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:09,204     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:48:09,204         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:09,205   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:09,205      40 | class vec {
2021-07-12T15:48:09,205         |       ^~~
2021-07-12T15:48:10,189   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/subsumestrengthen.cpp -o build/temp.linux-armv7l-3.9/src/subsumestrengthen.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:48:13,153   In file included from src/heap.h:24,
2021-07-12T15:48:13,153                    from src/occsimplifier.h:38,
2021-07-12T15:48:13,153                    from src/subsumestrengthen.cpp:24:
2021-07-12T15:48:13,153   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:48:13,153   src/watcharray.h:146:31:   required from here
2021-07-12T15:48:13,154   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:13,154     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:48:13,154         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:13,154   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:13,154      40 | class vec {
2021-07-12T15:48:13,154         |       ^~~
2021-07-12T15:48:13,290   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:48:13,291   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:48:13,291   src/watcharray.h:90:36:   required from here
2021-07-12T15:48:13,291   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:13,291     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:48:13,291         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:13,292   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:13,292      40 | class vec {
2021-07-12T15:48:13,292         |       ^~~
2021-07-12T15:48:15,162   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/varreplacer.cpp -o build/temp.linux-armv7l-3.9/src/varreplacer.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:48:18,225   In file included from src/watcharray.h:28,
2021-07-12T15:48:18,225                    from src/varreplacer.h:33,
2021-07-12T15:48:18,225                    from src/varreplacer.cpp:23:
2021-07-12T15:48:18,226   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:48:18,226   src/watcharray.h:146:31:   required from here
2021-07-12T15:48:18,226   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:18,226     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:48:18,226         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:18,226   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:18,227      40 | class vec {
2021-07-12T15:48:18,227         |       ^~~
2021-07-12T15:48:18,427   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:48:18,428   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:48:18,428   src/watcharray.h:90:36:   required from here
2021-07-12T15:48:18,428   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:18,428     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:48:18,428         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:18,428   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:18,429      40 | class vec {
2021-07-12T15:48:18,429         |       ^~~
2021-07-12T15:48:21,335   arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/xorfinder.cpp -o build/temp.linux-armv7l-3.9/src/xorfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG
2021-07-12T15:48:24,404   In file included from src/watcharray.h:28,
2021-07-12T15:48:24,404                    from src/xorfinder.h:33,
2021-07-12T15:48:24,404                    from src/xorfinder.cpp:23:
2021-07-12T15:48:24,404   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::shrink_to_fit() [with T = CMSat::vec<CMSat::Watched>]’:
2021-07-12T15:48:24,404   src/watcharray.h:146:31:   required from here
2021-07-12T15:48:24,405   src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:24,405     227 |         T* data2 = (T*)realloc(data, sz*sizeof(T));
2021-07-12T15:48:24,405         |                        ~~~~~~~^~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:24,405   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:24,405      40 | class vec {
2021-07-12T15:48:24,405         |       ^~~
2021-07-12T15:48:24,548   src/Vec.h: In instantiation of ‘void CMSat::vec<T>::capacity(int32_t) [with T = CMSat::vec<CMSat::Watched>; int32_t = int]’:
2021-07-12T15:48:24,548   src/Vec.h:274:13:   required from ‘void CMSat::vec<T>::growTo(uint32_t) [with T = CMSat::vec<CMSat::Watched>; uint32_t = unsigned int]’
2021-07-12T15:48:24,548   src/watcharray.h:90:36:   required from here
2021-07-12T15:48:24,549   src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec<CMSat::Watched>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2021-07-12T15:48:24,549     246 |         || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL)
2021-07-12T15:48:24,549         |                          ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-07-12T15:48:24,549   src/Vec.h:40:7: note: ‘class CMSat::vec<CMSat::Watched>’ declared here
2021-07-12T15:48:24,549      40 | class vec {
2021-07-12T15:48:24,549         |       ^~~
2021-07-12T15:48:26,966   creating build/lib.linux-armv7l-3.9
2021-07-12T15:48:26,967   arm-linux-gnueabihf-g++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -fwrapv -O2 -Wl,-z,relro -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv7l-3.9/src/GitSHA1.o build/temp.linux-armv7l-3.9/src/bva.o build/temp.linux-armv7l-3.9/src/clauseallocator.o build/temp.linux-armv7l-3.9/src/clausecleaner.o build/temp.linux-armv7l-3.9/src/clausedumper.o build/temp.linux-armv7l-3.9/src/clauseusagestats.o build/temp.linux-armv7l-3.9/src/cnf.o build/temp.linux-armv7l-3.9/src/compfinder.o build/temp.linux-armv7l-3.9/src/comphandler.o build/temp.linux-armv7l-3.9/src/completedetachreattacher.o build/temp.linux-armv7l-3.9/src/cryptominisat.o build/temp.linux-armv7l-3.9/src/cryptominisat_c.o build/temp.linux-armv7l-3.9/src/datasync.o build/temp.linux-armv7l-3.9/src/distillerallwithall.o build/temp.linux-armv7l-3.9/src/distillerlongwithimpl.o build/temp.linux-armv7l-3.9/src/features_calc.o build/temp.linux-armv7l-3.9/src/features_to_reconf.o build/temp.linux-armv7l-3.9/src/hyperengine.o build/temp.linux-armv7l-3.9/src/implcache.o build/temp.linux-armv7l-3.9/src/intree.o build/temp.linux-armv7l-3.9/src/occsimplifier.o build/temp.linux-armv7l-3.9/src/prober.o build/temp.linux-armv7l-3.9/src/propengine.o build/temp.linux-armv7l-3.9/src/pycryptosat.o build/temp.linux-armv7l-3.9/src/reducedb.o build/temp.linux-armv7l-3.9/src/sccfinder.o build/temp.linux-armv7l-3.9/src/searcher.o build/temp.linux-armv7l-3.9/src/searchstats.o build/temp.linux-armv7l-3.9/src/solutionextender.o build/temp.linux-armv7l-3.9/src/solvefeatures.o build/temp.linux-armv7l-3.9/src/solver.o build/temp.linux-armv7l-3.9/src/solverconf.o build/temp.linux-armv7l-3.9/src/sqlstats.o build/temp.linux-armv7l-3.9/src/stamp.o build/temp.linux-armv7l-3.9/src/str_impl_w_impl_stamp.o build/temp.linux-armv7l-3.9/src/subsumeimplicit.o build/temp.linux-armv7l-3.9/src/subsumestrengthen.o build/temp.linux-armv7l-3.9/src/varreplacer.o build/temp.linux-armv7l-3.9/src/xorfinder.o -o build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -Ofast -flto
2021-07-12T15:48:40,598   /tmp/ccmwOu8r.s: Assembler messages:
2021-07-12T15:48:40,599   /tmp/ccmwOu8r.s:57112: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:48:40,599   /tmp/ccmwOu8r.s:57137: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:48:40,599   /tmp/ccmwOu8r.s:57139: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:08,802   /tmp/cc73EP5i.s: Assembler messages:
2021-07-12T15:49:08,803   /tmp/cc73EP5i.s:51916: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:08,803   /tmp/cc73EP5i.s:51943: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:08,804   /tmp/cc73EP5i.s:51945: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,960   /tmp/ccWx8nrN.s: Assembler messages:
2021-07-12T15:49:22,961   /tmp/ccWx8nrN.s:20346: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,961   /tmp/ccWx8nrN.s:20369: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,962   /tmp/ccWx8nrN.s:20371: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,962   /tmp/ccWx8nrN.s:20400: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,963   /tmp/ccWx8nrN.s:20422: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,963   /tmp/ccWx8nrN.s:20424: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,963   /tmp/ccWx8nrN.s:20456: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,964   /tmp/ccWx8nrN.s:20478: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:22,964   /tmp/ccWx8nrN.s:20480: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:23,029   /tmp/ccWx8nrN.s:41118: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:23,029   /tmp/ccWx8nrN.s:41142: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:23,030   /tmp/ccWx8nrN.s:41144: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:23,045   /tmp/ccWx8nrN.s:45822: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:23,045   /tmp/ccWx8nrN.s:45844: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:23,046   /tmp/ccWx8nrN.s:45846: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:29,855   /tmp/ccwvHW8Y.s: Assembler messages:
2021-07-12T15:49:29,855   /tmp/ccwvHW8Y.s:48322: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:29,855   /tmp/ccwvHW8Y.s:48347: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:29,855   /tmp/ccwvHW8Y.s:48349: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:29,857   /tmp/ccwvHW8Y.s:48828: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:29,857   /tmp/ccwvHW8Y.s:48865: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:29,858   /tmp/ccwvHW8Y.s:48884: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:38,681   /tmp/ccS1UXhg.s: Assembler messages:
2021-07-12T15:49:38,681   /tmp/ccS1UXhg.s:22049: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:38,681   /tmp/ccS1UXhg.s:22072: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:38,681   /tmp/ccS1UXhg.s:22074: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:38,695   /tmp/ccS1UXhg.s:26253: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:38,695   /tmp/ccS1UXhg.s:26279: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:38,695   /tmp/ccS1UXhg.s:26281: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,902   /tmp/ccc2qgi6.s: Assembler messages:
2021-07-12T15:49:56,903   /tmp/ccc2qgi6.s:42047: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,903   /tmp/ccc2qgi6.s:42072: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,904   /tmp/ccc2qgi6.s:42074: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,913   /tmp/ccc2qgi6.s:44809: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,913   /tmp/ccc2qgi6.s:44833: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,914   /tmp/ccc2qgi6.s:44835: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,928   /tmp/ccc2qgi6.s:49413: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,928   /tmp/ccc2qgi6.s:49435: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,928   /tmp/ccc2qgi6.s:49437: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,930   /tmp/ccc2qgi6.s:49815: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,931   /tmp/ccc2qgi6.s:49839: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:49:56,931   /tmp/ccc2qgi6.s:49841: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:50:03,283   /tmp/ccH4Hsll.s: Assembler messages:
2021-07-12T15:50:03,283   /tmp/ccH4Hsll.s:37436: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:50:03,284   /tmp/ccH4Hsll.s:37461: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:50:03,284   /tmp/ccH4Hsll.s:37463: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:50:10,957   /tmp/ccM4ti4M.s: Assembler messages:
2021-07-12T15:50:10,957   /tmp/ccM4ti4M.s:36711: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:50:10,957   /tmp/ccM4ti4M.s:36738: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:50:10,958   /tmp/ccM4ti4M.s:36740: This coprocessor register access is deprecated in ARMv8
2021-07-12T15:50:21,515   installing to build/bdist.linux-armv7l/wheel
2021-07-12T15:50:21,515   running install
2021-07-12T15:50:21,516   running install_lib
2021-07-12T15:50:21,522   creating build/bdist.linux-armv7l
2021-07-12T15:50:21,522   creating build/bdist.linux-armv7l/wheel
2021-07-12T15:50:21,524   copying build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel
2021-07-12T15:50:21,817   running install_egg_info
2021-07-12T15:50:21,855   running egg_info
2021-07-12T15:50:21,855   writing pycryptosat.egg-info/PKG-INFO
2021-07-12T15:50:21,855   writing dependency_links to pycryptosat.egg-info/dependency_links.txt
2021-07-12T15:50:21,856   writing top-level names to pycryptosat.egg-info/top_level.txt
2021-07-12T15:50:21,912   reading manifest file 'pycryptosat.egg-info/SOURCES.txt'
2021-07-12T15:50:21,940   reading manifest template 'MANIFEST.in'
2021-07-12T15:50:22,079   adding license file 'LICENSE'
2021-07-12T15:50:22,092   writing manifest file 'pycryptosat.egg-info/SOURCES.txt'
2021-07-12T15:50:22,094   Copying pycryptosat.egg-info to build/bdist.linux-armv7l/wheel/pycryptosat-0.1.3-py3.9.egg-info
2021-07-12T15:50:22,105   running install_scripts
2021-07-12T15:50:22,228   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2021-07-12T15:50:22,234   creating build/bdist.linux-armv7l/wheel/pycryptosat-0.1.3.dist-info/WHEEL
2021-07-12T15:50:22,237   creating '/tmp/pip-wheel-_ko_9_rx/pycryptosat-0.1.3-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2021-07-12T15:50:25,472   adding 'pycryptosat.cpython-39-arm-linux-gnueabihf.so'
2021-07-12T15:50:25,644   adding 'pycryptosat-0.1.3.dist-info/LICENSE'
2021-07-12T15:50:25,647   adding 'pycryptosat-0.1.3.dist-info/METADATA'
2021-07-12T15:50:25,649   adding 'pycryptosat-0.1.3.dist-info/WHEEL'
2021-07-12T15:50:25,651   adding 'pycryptosat-0.1.3.dist-info/top_level.txt'
2021-07-12T15:50:25,652   adding 'pycryptosat-0.1.3.dist-info/RECORD'
2021-07-12T15:50:25,729   removing build/bdist.linux-armv7l/wheel
2021-07-12T15:50:25,882   Building wheel for pycryptosat (setup.py): finished with status 'done'
2021-07-12T15:50:25,965   Created wheel for pycryptosat: filename=pycryptosat-0.1.3-cp39-cp39-linux_armv7l.whl size=5053671 sha256=2e82ef336af839b8369ef8886add82c14dbbab5f8f0574597297448af114ca62
2021-07-12T15:50:25,966   Stored in directory: /tmp/pip-ephem-wheel-cache-p8e0e9vf/wheels/28/75/02/5c99197f3990e505e3c26438e27d14f09e1de8ea0aa69a1eda
2021-07-12T15:50:25,980 Successfully built pycryptosat
2021-07-12T15:50:26,167 Removed build tracker: '/tmp/pip-req-tracker-d7eafwv4'