2021-07-15T09:20:44,659 Created temporary directory: /tmp/pip-ephem-wheel-cache-t1fsqxlh 2021-07-15T09:20:44,661 Created temporary directory: /tmp/pip-req-tracker-i_szd4wh 2021-07-15T09:20:44,662 Initialized build tracking at /tmp/pip-req-tracker-i_szd4wh 2021-07-15T09:20:44,662 Created build tracker: /tmp/pip-req-tracker-i_szd4wh 2021-07-15T09:20:44,662 Entered build tracker: /tmp/pip-req-tracker-i_szd4wh 2021-07-15T09:20:44,663 Created temporary directory: /tmp/pip-wheel-3fh1721d 2021-07-15T09:20:44,694 1 location(s) to search for versions of pycryptosat: 2021-07-15T09:20:44,694 * https://pypi.org/simple/pycryptosat/ 2021-07-15T09:20:44,694 Fetching project page and analyzing links: https://pypi.org/simple/pycryptosat/ 2021-07-15T09:20:44,695 Getting page https://pypi.org/simple/pycryptosat/ 2021-07-15T09:20:44,697 Found index url https://pypi.org/simple 2021-07-15T09:20:44,792 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-15T09:20:44,793 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-15T09:20:44,793 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-15T09:20:44,813 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-15T09:20:44,813 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-15T09:20:44,814 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-15T09:20:44,814 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-15T09:20:44,815 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-15T09:20:44,816 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-15T09:20:44,816 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-15T09:20:44,816 Skipping link: not a file: https://pypi.org/simple/pycryptosat/ 2021-07-15T09:20:44,818 Given no hashes to check 1 links for project 'pycryptosat': discarding no candidates 2021-07-15T09:20:44,839 Collecting pycryptosat==0.7.0.dev3 2021-07-15T09:20:44,840 Created temporary directory: /tmp/pip-unpack-200cfdhs 2021-07-15T09:20:45,065 Downloading pycryptosat-0.7.0.dev3.tar.gz (319 kB) 2021-07-15T09:20:45,563 Added pycryptosat==0.7.0.dev3 from https://files.pythonhosted.org/packages/98/4a/e8827b6c7c0592e3b3cff7ea3a9b9dfa2be656353bae3ff0628a5f6c3dd6/pycryptosat-0.7.0.dev3.tar.gz#sha256=b53bbf34216f2c7336bcb436938417f5dafd634386d08a3454baf077fe6c6e78 to build tracker '/tmp/pip-req-tracker-i_szd4wh' 2021-07-15T09:20:45,564 Running setup.py (path:/tmp/pip-wheel-3fh1721d/pycryptosat_7b32b6bfa67f4f919d798d13238ff44c/setup.py) egg_info for package pycryptosat 2021-07-15T09:20:45,565 Created temporary directory: /tmp/pip-pip-egg-info-sh8uvxfi 2021-07-15T09:20:45,565 Running command python setup.py egg_info 2021-07-15T09:20:47,242 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:484: UserWarning: Normalizing '0.7.0dev3' to '0.7.0.dev3' 2021-07-15T09:20:47,243 warnings.warn(tmpl.format(**locals())) 2021-07-15T09:20:47,261 running egg_info 2021-07-15T09:20:47,264 creating /tmp/pip-pip-egg-info-sh8uvxfi/pycryptosat.egg-info 2021-07-15T09:20:47,266 writing /tmp/pip-pip-egg-info-sh8uvxfi/pycryptosat.egg-info/PKG-INFO 2021-07-15T09:20:47,268 writing dependency_links to /tmp/pip-pip-egg-info-sh8uvxfi/pycryptosat.egg-info/dependency_links.txt 2021-07-15T09:20:47,271 writing top-level names to /tmp/pip-pip-egg-info-sh8uvxfi/pycryptosat.egg-info/top_level.txt 2021-07-15T09:20:47,273 writing manifest file '/tmp/pip-pip-egg-info-sh8uvxfi/pycryptosat.egg-info/SOURCES.txt' 2021-07-15T09:20:47,314 reading manifest file '/tmp/pip-pip-egg-info-sh8uvxfi/pycryptosat.egg-info/SOURCES.txt' 2021-07-15T09:20:47,316 reading manifest template 'MANIFEST.in' 2021-07-15T09:20:47,462 adding license file 'LICENSE' 2021-07-15T09:20:47,472 writing manifest file '/tmp/pip-pip-egg-info-sh8uvxfi/pycryptosat.egg-info/SOURCES.txt' 2021-07-15T09:20:47,580 Source in /tmp/pip-wheel-3fh1721d/pycryptosat_7b32b6bfa67f4f919d798d13238ff44c has version 0.7.0.dev3, which satisfies requirement pycryptosat==0.7.0.dev3 from https://files.pythonhosted.org/packages/98/4a/e8827b6c7c0592e3b3cff7ea3a9b9dfa2be656353bae3ff0628a5f6c3dd6/pycryptosat-0.7.0.dev3.tar.gz#sha256=b53bbf34216f2c7336bcb436938417f5dafd634386d08a3454baf077fe6c6e78 2021-07-15T09:20:47,581 Removed pycryptosat==0.7.0.dev3 from https://files.pythonhosted.org/packages/98/4a/e8827b6c7c0592e3b3cff7ea3a9b9dfa2be656353bae3ff0628a5f6c3dd6/pycryptosat-0.7.0.dev3.tar.gz#sha256=b53bbf34216f2c7336bcb436938417f5dafd634386d08a3454baf077fe6c6e78 from build tracker '/tmp/pip-req-tracker-i_szd4wh' 2021-07-15T09:20:47,585 Created temporary directory: /tmp/pip-unpack-d85dx4xi 2021-07-15T09:20:47,586 Building wheels for collected packages: pycryptosat 2021-07-15T09:20:47,590 Created temporary directory: /tmp/pip-wheel-n_zysuk6 2021-07-15T09:20:47,590 Building wheel for pycryptosat (setup.py): started 2021-07-15T09:20:47,591 Destination directory: /tmp/pip-wheel-n_zysuk6 2021-07-15T09:20:47,591 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-3fh1721d/pycryptosat_7b32b6bfa67f4f919d798d13238ff44c/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-3fh1721d/pycryptosat_7b32b6bfa67f4f919d798d13238ff44c/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-n_zysuk6 2021-07-15T09:20:49,271 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:484: UserWarning: Normalizing '0.7.0dev3' to '0.7.0.dev3' 2021-07-15T09:20:49,272 warnings.warn(tmpl.format(**locals())) 2021-07-15T09:20:49,301 running bdist_wheel 2021-07-15T09:20:49,307 running build 2021-07-15T09:20:49,308 running build_ext 2021-07-15T09:20:49,314 building 'pycryptosat' extension 2021-07-15T09:20:49,315 creating build 2021-07-15T09:20:49,316 creating build/temp.linux-armv7l-3.9 2021-07-15T09:20:49,316 creating build/temp.linux-armv7l-3.9/src 2021-07-15T09:20:49,319 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 -Isrc -I. -I/usr/include/python3.9 -c src/GitSHA1.cpp -o build/temp.linux-armv7l-3.9/src/GitSHA1.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:20:49,398 src/GitSHA1.cpp:61:32: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 2021-07-15T09:20:49,399 61 | "compilation date time = " __DATE__ " " __TIME__ 2021-07-15T09:20:49,399 | ^~~~~~~~ 2021-07-15T09:20:49,399 src/GitSHA1.cpp:61:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 2021-07-15T09:20:49,399 61 | "compilation date time = " __DATE__ " " __TIME__ 2021-07-15T09:20:49,400 | ^~~~~~~~ 2021-07-15T09:20:49,452 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 -Isrc -I. -I/usr/include/python3.9 -c src/bva.cpp -o build/temp.linux-armv7l-3.9/src/bva.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:20:52,769 In file included from src/heap.h:24, 2021-07-15T09:20:52,770 from src/bva.h:26, 2021-07-15T09:20:52,770 from src/bva.cpp:23: 2021-07-15T09:20:52,770 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:20:52,771 src/watcharray.h:152:31: required from here 2021-07-15T09:20:52,771 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:20:52,771 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:20:52,771 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:20:52,772 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:20:52,772 42 | class vec { 2021-07-15T09:20:52,772 | ^~~ 2021-07-15T09:20:52,952 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:20:52,952 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:20:52,952 src/watcharray.h:90:36: required from here 2021-07-15T09:20:52,952 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:20:52,953 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:20:52,953 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:20:52,953 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:20:52,953 42 | class vec { 2021-07-15T09:20:52,954 | ^~~ 2021-07-15T09:20:56,081 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 -Isrc -I. -I/usr/include/python3.9 -c src/clauseallocator.cpp -o build/temp.linux-armv7l-3.9/src/clauseallocator.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:20:59,535 In file included from src/watcharray.h:28, 2021-07-15T09:20:59,535 from src/clauseallocator.h:31, 2021-07-15T09:20:59,536 from src/clauseallocator.cpp:23: 2021-07-15T09:20:59,536 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:20:59,536 src/watcharray.h:152:31: required from here 2021-07-15T09:20:59,536 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:20:59,536 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:20:59,536 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:20:59,537 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:20:59,537 42 | class vec { 2021-07-15T09:20:59,537 | ^~~ 2021-07-15T09:20:59,675 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:20:59,675 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:20:59,676 src/watcharray.h:90:36: required from here 2021-07-15T09:20:59,676 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:20:59,676 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:20:59,676 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:20:59,676 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:20:59,676 42 | class vec { 2021-07-15T09:20:59,676 | ^~~ 2021-07-15T09:21:01,032 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 -Isrc -I. -I/usr/include/python3.9 -c src/clausecleaner.cpp -o build/temp.linux-armv7l-3.9/src/clausecleaner.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:04,073 In file included from src/watcharray.h:28, 2021-07-15T09:21:04,073 from src/clausecleaner.h:28, 2021-07-15T09:21:04,073 from src/clausecleaner.cpp:23: 2021-07-15T09:21:04,074 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:04,074 src/watcharray.h:152:31: required from here 2021-07-15T09:21:04,074 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:04,074 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:04,074 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:04,074 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:04,075 42 | class vec { 2021-07-15T09:21:04,075 | ^~~ 2021-07-15T09:21:04,197 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:04,198 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:04,198 src/watcharray.h:90:36: required from here 2021-07-15T09:21:04,198 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:04,198 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:04,198 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:04,199 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:04,199 42 | class vec { 2021-07-15T09:21:04,199 | ^~~ 2021-07-15T09:21:05,642 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 -Isrc -I. -I/usr/include/python3.9 -c src/clausedumper.cpp -o build/temp.linux-armv7l-3.9/src/clausedumper.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:08,643 In file included from src/heap.h:24, 2021-07-15T09:21:08,643 from src/propengine.h:39, 2021-07-15T09:21:08,643 from src/solver.h:36, 2021-07-15T09:21:08,644 from src/clausedumper.cpp:24: 2021-07-15T09:21:08,644 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:08,644 src/watcharray.h:152:31: required from here 2021-07-15T09:21:08,645 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:08,645 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:08,645 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:08,646 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:08,646 42 | class vec { 2021-07-15T09:21:08,646 | ^~~ 2021-07-15T09:21:08,790 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:08,791 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:08,791 src/watcharray.h:90:36: required from here 2021-07-15T09:21:08,791 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:08,791 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:08,791 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:08,792 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:08,792 42 | class vec { 2021-07-15T09:21:08,792 | ^~~ 2021-07-15T09:21:10,163 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 -Isrc -I. -I/usr/include/python3.9 -c src/clauseusagestats.cpp -o build/temp.linux-armv7l-3.9/src/clauseusagestats.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:12,592 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 -Isrc -I. -I/usr/include/python3.9 -c src/cnf.cpp -o build/temp.linux-armv7l-3.9/src/cnf.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:15,651 In file included from src/watcharray.h:28, 2021-07-15T09:21:15,651 from src/cnf.h:36, 2021-07-15T09:21:15,652 from src/cnf.cpp:23: 2021-07-15T09:21:15,652 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:15,652 src/watcharray.h:152:31: required from here 2021-07-15T09:21:15,652 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:15,652 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:15,652 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:15,653 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:15,653 42 | class vec { 2021-07-15T09:21:15,653 | ^~~ 2021-07-15T09:21:15,856 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:15,856 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:15,856 src/watcharray.h:90:36: required from here 2021-07-15T09:21:15,856 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:15,856 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:15,857 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:15,857 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:15,857 42 | class vec { 2021-07-15T09:21:15,857 | ^~~ 2021-07-15T09:21:20,364 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 -Isrc -I. -I/usr/include/python3.9 -c src/compfinder.cpp -o build/temp.linux-armv7l-3.9/src/compfinder.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:23,355 In file included from src/heap.h:24, 2021-07-15T09:21:23,355 from src/propengine.h:39, 2021-07-15T09:21:23,356 from src/solver.h:36, 2021-07-15T09:21:23,356 from src/compfinder.cpp:30: 2021-07-15T09:21:23,356 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:23,357 src/watcharray.h:152:31: required from here 2021-07-15T09:21:23,357 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:23,357 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:23,357 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:23,358 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:23,358 42 | class vec { 2021-07-15T09:21:23,358 | ^~~ 2021-07-15T09:21:23,505 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:23,505 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:23,506 src/watcharray.h:90:36: required from here 2021-07-15T09:21:23,506 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:23,506 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:23,507 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:23,507 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:23,507 42 | class vec { 2021-07-15T09:21:23,508 | ^~~ 2021-07-15T09:21:25,242 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 -Isrc -I. -I/usr/include/python3.9 -c src/comphandler.cpp -o build/temp.linux-armv7l-3.9/src/comphandler.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:28,865 In file included from src/watcharray.h:28, 2021-07-15T09:21:28,866 from src/varreplacer.h:33, 2021-07-15T09:21:28,866 from src/comphandler.cpp:25: 2021-07-15T09:21:28,866 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:28,866 src/watcharray.h:152:31: required from here 2021-07-15T09:21:28,867 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:28,867 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:28,867 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:28,868 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:28,868 42 | class vec { 2021-07-15T09:21:28,868 | ^~~ 2021-07-15T09:21:29,048 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:29,048 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:29,048 src/watcharray.h:90:36: required from here 2021-07-15T09:21:29,049 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:29,049 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:29,049 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:29,050 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:29,050 42 | class vec { 2021-07-15T09:21:29,050 | ^~~ 2021-07-15T09:21:32,313 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 -Isrc -I. -I/usr/include/python3.9 -c src/completedetachreattacher.cpp -o build/temp.linux-armv7l-3.9/src/completedetachreattacher.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:35,787 In file included from src/watcharray.h:28, 2021-07-15T09:21:35,787 from src/completedetachreattacher.h:28, 2021-07-15T09:21:35,788 from src/completedetachreattacher.cpp:23: 2021-07-15T09:21:35,788 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:35,788 src/watcharray.h:152:31: required from here 2021-07-15T09:21:35,788 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:35,788 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:35,788 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:35,789 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:35,789 42 | class vec { 2021-07-15T09:21:35,789 | ^~~ 2021-07-15T09:21:35,927 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:35,927 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:35,928 src/watcharray.h:90:36: required from here 2021-07-15T09:21:35,928 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:35,928 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:35,928 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:35,928 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:35,928 42 | class vec { 2021-07-15T09:21:35,929 | ^~~ 2021-07-15T09:21:37,190 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 -Isrc -I. -I/usr/include/python3.9 -c src/cryptominisat.cpp -o build/temp.linux-armv7l-3.9/src/cryptominisat.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:41,182 In file included from src/heap.h:24, 2021-07-15T09:21:41,183 from src/propengine.h:39, 2021-07-15T09:21:41,183 from src/solver.h:36, 2021-07-15T09:21:41,183 from src/cryptominisat.cpp:25: 2021-07-15T09:21:41,184 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:41,184 src/watcharray.h:152:31: required from here 2021-07-15T09:21:41,184 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:41,184 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:41,184 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:41,184 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:41,184 42 | class vec { 2021-07-15T09:21:41,185 | ^~~ 2021-07-15T09:21:41,396 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:41,397 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:41,397 src/watcharray.h:90:36: required from here 2021-07-15T09:21:41,397 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:41,397 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:41,397 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:41,397 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:41,398 42 | class vec { 2021-07-15T09:21:41,398 | ^~~ 2021-07-15T09:21:44,442 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 -Isrc -I. -I/usr/include/python3.9 -c src/cryptominisat_c.cpp -o build/temp.linux-armv7l-3.9/src/cryptominisat_c.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:46,486 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 -Isrc -I. -I/usr/include/python3.9 -c src/datasync.cpp -o build/temp.linux-armv7l-3.9/src/datasync.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:50,113 In file included from src/watcharray.h:28, 2021-07-15T09:21:50,113 from src/datasync.h:25, 2021-07-15T09:21:50,113 from src/datasync.cpp:23: 2021-07-15T09:21:50,114 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:50,114 src/watcharray.h:152:31: required from here 2021-07-15T09:21:50,114 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:50,114 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:50,114 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:50,115 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:50,115 42 | class vec { 2021-07-15T09:21:50,115 | ^~~ 2021-07-15T09:21:50,263 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:50,263 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:50,263 src/watcharray.h:90:36: required from here 2021-07-15T09:21:50,263 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:50,264 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:50,264 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:50,264 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:50,264 42 | class vec { 2021-07-15T09:21:50,264 | ^~~ 2021-07-15T09:21:52,276 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 -Isrc -I. -I/usr/include/python3.9 -c src/distillerlong.cpp -o build/temp.linux-armv7l-3.9/src/distillerlong.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:55,144 In file included from src/watcharray.h:28, 2021-07-15T09:21:55,145 from src/distillerlong.h:31, 2021-07-15T09:21:55,145 from src/distillerlong.cpp:23: 2021-07-15T09:21:55,145 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:55,145 src/watcharray.h:152:31: required from here 2021-07-15T09:21:55,146 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:55,146 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:55,146 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:55,147 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:55,147 42 | class vec { 2021-07-15T09:21:55,147 | ^~~ 2021-07-15T09:21:55,256 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:21:55,257 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:21:55,257 src/watcharray.h:90:36: required from here 2021-07-15T09:21:55,257 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:55,258 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:21:55,258 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:55,258 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:55,259 42 | class vec { 2021-07-15T09:21:55,259 | ^~~ 2021-07-15T09:21:56,566 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 -Isrc -I. -I/usr/include/python3.9 -c src/distillerlongwithimpl.cpp -o build/temp.linux-armv7l-3.9/src/distillerlongwithimpl.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:21:59,964 In file included from src/watcharray.h:28, 2021-07-15T09:21:59,964 from src/distillerlongwithimpl.h:31, 2021-07-15T09:21:59,964 from src/distillerlongwithimpl.cpp:23: 2021-07-15T09:21:59,965 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:21:59,965 src/watcharray.h:152:31: required from here 2021-07-15T09:21:59,965 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:21:59,965 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:21:59,966 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:21:59,966 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:21:59,966 42 | class vec { 2021-07-15T09:21:59,967 | ^~~ 2021-07-15T09:22:00,092 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:00,093 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:00,093 src/watcharray.h:90:36: required from here 2021-07-15T09:22:00,093 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:00,094 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:00,094 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:00,094 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:00,095 42 | class vec { 2021-07-15T09:22:00,095 | ^~~ 2021-07-15T09:22:01,806 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 -Isrc -I. -I/usr/include/python3.9 -c src/drat.cpp -o build/temp.linux-armv7l-3.9/src/drat.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:04,264 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 -Isrc -I. -I/usr/include/python3.9 -c src/features_calc.cpp -o build/temp.linux-armv7l-3.9/src/features_calc.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:07,738 In file included from src/heap.h:24, 2021-07-15T09:22:07,738 from src/propengine.h:39, 2021-07-15T09:22:07,738 from src/solver.h:36, 2021-07-15T09:22:07,738 from src/features_calc.cpp:27: 2021-07-15T09:22:07,738 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:07,739 src/watcharray.h:152:31: required from here 2021-07-15T09:22:07,739 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:07,739 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:07,739 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:07,739 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:07,739 42 | class vec { 2021-07-15T09:22:07,740 | ^~~ 2021-07-15T09:22:07,857 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:07,857 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:07,857 src/watcharray.h:90:36: required from here 2021-07-15T09:22:07,858 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:07,858 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:07,858 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:07,858 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:07,858 42 | class vec { 2021-07-15T09:22:07,858 | ^~~ 2021-07-15T09:22:09,048 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 -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 -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:10,303 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 -Isrc -I. -I/usr/include/python3.9 -c src/hyperengine.cpp -o build/temp.linux-armv7l-3.9/src/hyperengine.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:12,930 In file included from src/watcharray.h:28, 2021-07-15T09:22:12,930 from src/cnf.h:36, 2021-07-15T09:22:12,930 from src/hyperengine.h:23, 2021-07-15T09:22:12,930 from src/hyperengine.cpp:23: 2021-07-15T09:22:12,930 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:12,931 src/watcharray.h:152:31: required from here 2021-07-15T09:22:12,931 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:12,931 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:12,931 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:12,931 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:12,931 42 | class vec { 2021-07-15T09:22:12,932 | ^~~ 2021-07-15T09:22:13,095 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:13,095 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:13,096 src/watcharray.h:90:36: required from here 2021-07-15T09:22:13,096 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:13,096 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:13,096 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:13,096 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:13,096 42 | class vec { 2021-07-15T09:22:13,097 | ^~~ 2021-07-15T09:22:14,675 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 -Isrc -I. -I/usr/include/python3.9 -c src/implcache.cpp -o build/temp.linux-armv7l-3.9/src/implcache.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:17,633 In file included from src/heap.h:24, 2021-07-15T09:22:17,633 from src/propengine.h:39, 2021-07-15T09:22:17,633 from src/solver.h:36, 2021-07-15T09:22:17,633 from src/implcache.cpp:25: 2021-07-15T09:22:17,633 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:17,634 src/watcharray.h:152:31: required from here 2021-07-15T09:22:17,634 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:17,634 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:17,634 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:17,634 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:17,634 42 | class vec { 2021-07-15T09:22:17,634 | ^~~ 2021-07-15T09:22:17,770 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:17,770 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:17,771 src/watcharray.h:90:36: required from here 2021-07-15T09:22:17,771 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:17,771 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:17,771 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:17,771 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:17,771 42 | class vec { 2021-07-15T09:22:17,771 | ^~~ 2021-07-15T09:22:19,371 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 -Isrc -I. -I/usr/include/python3.9 -c src/intree.cpp -o build/temp.linux-armv7l-3.9/src/intree.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:22,967 In file included from src/heap.h:24, 2021-07-15T09:22:22,967 from src/propengine.h:39, 2021-07-15T09:22:22,967 from src/solver.h:36, 2021-07-15T09:22:22,967 from src/intree.cpp:24: 2021-07-15T09:22:22,968 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:22,968 src/watcharray.h:152:31: required from here 2021-07-15T09:22:22,968 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:22,968 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:22,968 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:22,968 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:22,969 42 | class vec { 2021-07-15T09:22:22,969 | ^~~ 2021-07-15T09:22:23,174 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:23,175 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:23,175 src/watcharray.h:90:36: required from here 2021-07-15T09:22:23,175 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:23,175 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:23,175 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:23,175 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:23,176 42 | class vec { 2021-07-15T09:22:23,176 | ^~~ 2021-07-15T09:22:25,201 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 -Isrc -I. -I/usr/include/python3.9 -c src/occsimplifier.cpp -o build/temp.linux-armv7l-3.9/src/occsimplifier.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:29,467 In file included from src/heap.h:24, 2021-07-15T09:22:29,467 from src/occsimplifier.h:38, 2021-07-15T09:22:29,468 from src/occsimplifier.cpp:39: 2021-07-15T09:22:29,468 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:29,468 src/watcharray.h:152:31: required from here 2021-07-15T09:22:29,468 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:29,469 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:29,469 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:29,469 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:29,470 42 | class vec { 2021-07-15T09:22:29,470 | ^~~ 2021-07-15T09:22:29,726 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:29,727 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:29,727 src/watcharray.h:90:36: required from here 2021-07-15T09:22:29,727 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:29,728 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:29,728 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:29,728 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:29,728 42 | class vec { 2021-07-15T09:22:29,729 | ^~~ 2021-07-15T09:22:35,676 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 -Isrc -I. -I/usr/include/python3.9 -c src/prober.cpp -o build/temp.linux-armv7l-3.9/src/prober.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:38,700 In file included from src/heap.h:24, 2021-07-15T09:22:38,700 from src/propengine.h:39, 2021-07-15T09:22:38,701 from src/solver.h:36, 2021-07-15T09:22:38,701 from src/prober.cpp:32: 2021-07-15T09:22:38,701 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:38,701 src/watcharray.h:152:31: required from here 2021-07-15T09:22:38,701 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:38,701 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:38,701 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:38,702 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:38,702 42 | class vec { 2021-07-15T09:22:38,702 | ^~~ 2021-07-15T09:22:38,842 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:38,842 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:38,842 src/watcharray.h:90:36: required from here 2021-07-15T09:22:38,842 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:38,843 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:38,843 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:38,843 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:38,843 42 | class vec { 2021-07-15T09:22:38,843 | ^~~ 2021-07-15T09:22:41,035 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 -Isrc -I. -I/usr/include/python3.9 -c src/propengine.cpp -o build/temp.linux-armv7l-3.9/src/propengine.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:43,938 In file included from src/heap.h:24, 2021-07-15T09:22:43,938 from src/propengine.h:39, 2021-07-15T09:22:43,939 from src/propengine.cpp:23: 2021-07-15T09:22:43,939 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:43,939 src/watcharray.h:152:31: required from here 2021-07-15T09:22:43,939 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:43,939 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:43,939 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:43,940 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:43,940 42 | class vec { 2021-07-15T09:22:43,940 | ^~~ 2021-07-15T09:22:44,083 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:44,084 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:44,084 src/watcharray.h:90:36: required from here 2021-07-15T09:22:44,084 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:44,084 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:44,084 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:44,085 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:44,085 42 | class vec { 2021-07-15T09:22:44,085 | ^~~ 2021-07-15T09:22:46,035 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 -Isrc -I. -I/usr/include/python3.9 -c src/pycryptosat.cpp -o build/temp.linux-armv7l-3.9/src/pycryptosat.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:47,698 src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector&)’: 2021-07-15T09:22:47,698 src/pycryptosat.cpp:262:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-15T09:22:47,698 262 | if (var >= self->cmsat->nVars()) { 2021-07-15T09:22:47,698 | ~~~~^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:47,736 src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)’: 2021-07-15T09:22:47,737 src/pycryptosat.cpp:690:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-15T09:22:47,737 690 | if (var >= cmsat->nVars()) { 2021-07-15T09:22:47,737 | ~~~~^~~~~~~~~~~~~~~~~ 2021-07-15T09:22:48,538 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 -Isrc -I. -I/usr/include/python3.9 -c src/reducedb.cpp -o build/temp.linux-armv7l-3.9/src/reducedb.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:51,400 In file included from src/watcharray.h:28, 2021-07-15T09:22:51,400 from src/clauseallocator.h:31, 2021-07-15T09:22:51,400 from src/reducedb.h:26, 2021-07-15T09:22:51,400 from src/reducedb.cpp:23: 2021-07-15T09:22:51,401 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:51,401 src/watcharray.h:152:31: required from here 2021-07-15T09:22:51,401 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:51,401 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:51,401 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:51,402 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:51,402 42 | class vec { 2021-07-15T09:22:51,402 | ^~~ 2021-07-15T09:22:51,518 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:51,518 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:51,518 src/watcharray.h:90:36: required from here 2021-07-15T09:22:51,518 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:51,519 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:51,519 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:51,519 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:51,519 42 | class vec { 2021-07-15T09:22:51,519 | ^~~ 2021-07-15T09:22:52,962 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 -Isrc -I. -I/usr/include/python3.9 -c src/sccfinder.cpp -o build/temp.linux-armv7l-3.9/src/sccfinder.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:22:55,828 In file included from src/watcharray.h:28, 2021-07-15T09:22:55,828 from src/varreplacer.h:33, 2021-07-15T09:22:55,828 from src/sccfinder.cpp:29: 2021-07-15T09:22:55,828 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:22:55,828 src/watcharray.h:152:31: required from here 2021-07-15T09:22:55,829 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:55,829 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:22:55,829 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:55,829 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:55,829 42 | class vec { 2021-07-15T09:22:55,829 | ^~~ 2021-07-15T09:22:55,972 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:22:55,972 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:22:55,973 src/watcharray.h:90:36: required from here 2021-07-15T09:22:55,973 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:22:55,973 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:22:55,973 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:22:55,973 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:22:55,974 42 | class vec { 2021-07-15T09:22:55,974 | ^~~ 2021-07-15T09:22:57,525 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 -Isrc -I. -I/usr/include/python3.9 -c src/searcher.cpp -o build/temp.linux-armv7l-3.9/src/searcher.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:00,908 In file included from src/heap.h:24, 2021-07-15T09:23:00,908 from src/propengine.h:39, 2021-07-15T09:23:00,908 from src/searcher.h:28, 2021-07-15T09:23:00,909 from src/searcher.cpp:23: 2021-07-15T09:23:00,909 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:00,909 src/watcharray.h:152:31: required from here 2021-07-15T09:23:00,910 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:00,910 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:00,910 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:00,911 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:00,911 42 | class vec { 2021-07-15T09:23:00,911 | ^~~ 2021-07-15T09:23:01,125 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:01,125 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:01,126 src/watcharray.h:90:36: required from here 2021-07-15T09:23:01,126 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:01,127 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:01,127 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:01,127 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:01,128 42 | class vec { 2021-07-15T09:23:01,128 | ^~~ 2021-07-15T09:23:05,450 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 -Isrc -I. -I/usr/include/python3.9 -c src/searchstats.cpp -o build/temp.linux-armv7l-3.9/src/searchstats.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:07,948 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 -Isrc -I. -I/usr/include/python3.9 -c src/sls.cpp -o build/temp.linux-armv7l-3.9/src/sls.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:10,788 In file included from src/heap.h:24, 2021-07-15T09:23:10,789 from src/propengine.h:39, 2021-07-15T09:23:10,789 from src/solver.h:36, 2021-07-15T09:23:10,789 from src/sls.cpp:24: 2021-07-15T09:23:10,789 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:10,790 src/watcharray.h:152:31: required from here 2021-07-15T09:23:10,790 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:10,790 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:10,790 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:10,791 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:10,791 42 | class vec { 2021-07-15T09:23:10,791 | ^~~ 2021-07-15T09:23:10,919 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:10,919 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:10,919 src/watcharray.h:90:36: required from here 2021-07-15T09:23:10,920 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:10,920 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:10,920 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:10,921 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:10,921 42 | class vec { 2021-07-15T09:23:10,921 | ^~~ 2021-07-15T09:23:11,683 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 -Isrc -I. -I/usr/include/python3.9 -c src/solutionextender.cpp -o build/temp.linux-armv7l-3.9/src/solutionextender.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:14,665 In file included from src/watcharray.h:28, 2021-07-15T09:23:14,665 from src/solutionextender.h:28, 2021-07-15T09:23:14,666 from src/solutionextender.cpp:23: 2021-07-15T09:23:14,666 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:14,666 src/watcharray.h:152:31: required from here 2021-07-15T09:23:14,666 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:14,667 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:14,667 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:14,667 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:14,667 42 | class vec { 2021-07-15T09:23:14,668 | ^~~ 2021-07-15T09:23:14,793 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:14,794 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:14,794 src/watcharray.h:90:36: required from here 2021-07-15T09:23:14,794 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:14,794 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:14,795 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:14,795 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:14,795 42 | class vec { 2021-07-15T09:23:14,796 | ^~~ 2021-07-15T09:23:16,099 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 -Isrc -I. -I/usr/include/python3.9 -c src/solvefeatures.cpp -o build/temp.linux-armv7l-3.9/src/solvefeatures.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:17,425 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 -Isrc -I. -I/usr/include/python3.9 -c src/solver.cpp -o build/temp.linux-armv7l-3.9/src/solver.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:21,502 In file included from src/heap.h:24, 2021-07-15T09:23:21,502 from src/propengine.h:39, 2021-07-15T09:23:21,502 from src/solver.h:36, 2021-07-15T09:23:21,502 from src/solver.cpp:23: 2021-07-15T09:23:21,503 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:21,503 src/watcharray.h:152:31: required from here 2021-07-15T09:23:21,503 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:21,503 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:21,504 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:21,504 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:21,504 42 | class vec { 2021-07-15T09:23:21,504 | ^~~ 2021-07-15T09:23:21,802 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:21,803 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:21,803 src/watcharray.h:90:36: required from here 2021-07-15T09:23:21,803 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:21,803 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:21,804 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:21,804 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:21,804 42 | class vec { 2021-07-15T09:23:21,804 | ^~~ 2021-07-15T09:23:28,405 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 -Isrc -I. -I/usr/include/python3.9 -c src/solverconf.cpp -o build/temp.linux-armv7l-3.9/src/solverconf.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:30,275 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 -Isrc -I. -I/usr/include/python3.9 -c src/sqlstats.cpp -o build/temp.linux-armv7l-3.9/src/sqlstats.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:32,360 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 -Isrc -I. -I/usr/include/python3.9 -c src/stamp.cpp -o build/temp.linux-armv7l-3.9/src/stamp.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:35,254 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 -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 -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:38,062 In file included from src/watcharray.h:28, 2021-07-15T09:23:38,062 from src/str_impl_w_impl_stamp.h:31, 2021-07-15T09:23:38,063 from src/str_impl_w_impl_stamp.cpp:23: 2021-07-15T09:23:38,063 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:38,063 src/watcharray.h:152:31: required from here 2021-07-15T09:23:38,063 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:38,063 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:38,063 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:38,064 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:38,064 42 | class vec { 2021-07-15T09:23:38,064 | ^~~ 2021-07-15T09:23:38,184 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:38,185 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:38,185 src/watcharray.h:90:36: required from here 2021-07-15T09:23:38,185 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:38,185 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:38,185 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:38,186 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:38,186 42 | class vec { 2021-07-15T09:23:38,186 | ^~~ 2021-07-15T09:23:39,460 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 -Isrc -I. -I/usr/include/python3.9 -c src/subsumeimplicit.cpp -o build/temp.linux-armv7l-3.9/src/subsumeimplicit.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:42,838 In file included from src/watcharray.h:28, 2021-07-15T09:23:42,839 from src/subsumeimplicit.h:31, 2021-07-15T09:23:42,839 from src/subsumeimplicit.cpp:23: 2021-07-15T09:23:42,839 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:42,839 src/watcharray.h:152:31: required from here 2021-07-15T09:23:42,840 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:42,840 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:42,840 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:42,840 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:42,841 42 | class vec { 2021-07-15T09:23:42,841 | ^~~ 2021-07-15T09:23:42,957 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:42,957 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:42,958 src/watcharray.h:90:36: required from here 2021-07-15T09:23:42,958 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:42,958 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:42,958 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:42,958 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:42,958 42 | class vec { 2021-07-15T09:23:42,959 | ^~~ 2021-07-15T09:23:44,277 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 -Isrc -I. -I/usr/include/python3.9 -c src/subsumestrengthen.cpp -o build/temp.linux-armv7l-3.9/src/subsumestrengthen.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:47,243 In file included from src/heap.h:24, 2021-07-15T09:23:47,243 from src/occsimplifier.h:38, 2021-07-15T09:23:47,243 from src/subsumestrengthen.cpp:24: 2021-07-15T09:23:47,243 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:47,243 src/watcharray.h:152:31: required from here 2021-07-15T09:23:47,244 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:47,244 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:47,244 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:47,244 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:47,244 42 | class vec { 2021-07-15T09:23:47,245 | ^~~ 2021-07-15T09:23:47,395 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:47,396 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:47,396 src/watcharray.h:90:36: required from here 2021-07-15T09:23:47,396 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:47,396 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:47,396 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:47,396 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:47,397 42 | class vec { 2021-07-15T09:23:47,397 | ^~~ 2021-07-15T09:23:49,379 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 -Isrc -I. -I/usr/include/python3.9 -c src/varreplacer.cpp -o build/temp.linux-armv7l-3.9/src/varreplacer.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:52,391 In file included from src/watcharray.h:28, 2021-07-15T09:23:52,391 from src/varreplacer.h:33, 2021-07-15T09:23:52,391 from src/varreplacer.cpp:23: 2021-07-15T09:23:52,392 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:52,392 src/watcharray.h:152:31: required from here 2021-07-15T09:23:52,392 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:52,392 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:52,393 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:52,393 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:52,393 42 | class vec { 2021-07-15T09:23:52,393 | ^~~ 2021-07-15T09:23:52,584 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:52,584 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:52,584 src/watcharray.h:90:36: required from here 2021-07-15T09:23:52,584 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:52,585 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:52,585 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:52,585 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:52,585 42 | class vec { 2021-07-15T09:23:52,585 | ^~~ 2021-07-15T09:23:55,620 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 -Isrc -I. -I/usr/include/python3.9 -c src/walksat.cpp -o build/temp.linux-armv7l-3.9/src/walksat.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:23:58,520 In file included from src/heap.h:24, 2021-07-15T09:23:58,520 from src/propengine.h:39, 2021-07-15T09:23:58,521 from src/solver.h:36, 2021-07-15T09:23:58,521 from src/walksat.cpp:31: 2021-07-15T09:23:58,521 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:23:58,521 src/watcharray.h:152:31: required from here 2021-07-15T09:23:58,522 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:58,522 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:23:58,522 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:58,522 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:58,523 42 | class vec { 2021-07-15T09:23:58,523 | ^~~ 2021-07-15T09:23:58,660 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:23:58,660 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:23:58,660 src/watcharray.h:90:36: required from here 2021-07-15T09:23:58,661 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:23:58,661 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:23:58,661 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:23:58,661 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:23:58,662 42 | class vec { 2021-07-15T09:23:58,662 | ^~~ 2021-07-15T09:24:00,075 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 -Isrc -I. -I/usr/include/python3.9 -c src/xorfinder.cpp -o build/temp.linux-armv7l-3.9/src/xorfinder.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:24:03,188 In file included from src/watcharray.h:28, 2021-07-15T09:24:03,188 from src/xorfinder.h:35, 2021-07-15T09:24:03,188 from src/xorfinder.cpp:23: 2021-07-15T09:24:03,189 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:24:03,189 src/watcharray.h:152:31: required from here 2021-07-15T09:24:03,189 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:24:03,189 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:24:03,190 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:24:03,190 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:24:03,190 42 | class vec { 2021-07-15T09:24:03,190 | ^~~ 2021-07-15T09:24:03,354 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:24:03,355 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:24:03,355 src/watcharray.h:90:36: required from here 2021-07-15T09:24:03,355 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:24:03,355 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:24:03,356 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:24:03,356 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:24:03,356 42 | class vec { 2021-07-15T09:24:03,356 | ^~~ 2021-07-15T09:24:06,405 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 -Isrc -I. -I/usr/include/python3.9 -c src/yals.c -o build/temp.linux-armv7l-3.9/src/yals.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:24:06,429 cc1: warning: command-line option ‘-std=c++11’ is valid for C++/ObjC++ but not for C 2021-07-15T09:24:06,604 src/yals.c: In function ‘yals_pick_clause’: 2021-07-15T09:24:06,604 src/yals.c:1019:30: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-15T09:24:06,604 1019 | yals_rand_mod (yals, 100) >= yals->opts.unfairfreq.val) { 2021-07-15T09:24:06,605 | ^~ 2021-07-15T09:24:06,626 src/yals.c: In function ‘yals_sig’: 2021-07-15T09:24:06,627 src/yals.c:1681:17: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-15T09:24:06,627 1681 | for (j = 0; j < yals->nvarwords; j++) { 2021-07-15T09:24:06,627 | ^ 2021-07-15T09:24:06,628 src/yals.c: In function ‘yals_cache_assignment’: 2021-07-15T09:24:06,628 src/yals.c:1713:19: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-15T09:24:06,628 1713 | for (j = 0; j < yals->nvarwords; j++) 2021-07-15T09:24:06,629 | ^ 2021-07-15T09:24:06,630 src/yals.c:1715:11: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-15T09:24:06,630 1715 | if (j == yals->nvarwords) { 2021-07-15T09:24:06,630 | ^~ 2021-07-15T09:24:06,632 src/yals.c:1750:14: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-15T09:24:06,632 1750 | if (ncache < yals->cachesizetarget) { 2021-07-15T09:24:06,632 | ^ 2021-07-15T09:24:06,635 src/yals.c:1812:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-15T09:24:06,635 1812 | if (yals->cachesizetarget < ncache) { 2021-07-15T09:24:06,635 | ^ 2021-07-15T09:24:07,535 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 -Isrc -I. -I/usr/include/python3.9 -c src/yalsat.cpp -o build/temp.linux-armv7l-3.9/src/yalsat.o -std=c++11 -flto -O3 -Wno-return-type -Wno-unused-variable -Wno-unused-but-set-variable -fvisibility=hidden 2021-07-15T09:24:10,323 In file included from src/heap.h:24, 2021-07-15T09:24:10,323 from src/propengine.h:39, 2021-07-15T09:24:10,323 from src/solver.h:36, 2021-07-15T09:24:10,323 from src/yalsat.cpp:31: 2021-07-15T09:24:10,323 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T09:24:10,323 src/watcharray.h:152:31: required from here 2021-07-15T09:24:10,324 src/Vec.h:229:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:24:10,324 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T09:24:10,324 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:24:10,324 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:24:10,324 42 | class vec { 2021-07-15T09:24:10,325 | ^~~ 2021-07-15T09:24:10,464 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T09:24:10,465 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T09:24:10,465 src/watcharray.h:90:36: required from here 2021-07-15T09:24:10,465 src/Vec.h:250:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-15T09:24:10,465 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T09:24:10,465 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T09:24:10,466 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T09:24:10,466 42 | class vec { 2021-07-15T09:24:10,466 | ^~~ 2021-07-15T09:24:11,637 creating build/lib.linux-armv7l-3.9 2021-07-15T09:24:11,637 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/distillerlong.o build/temp.linux-armv7l-3.9/src/distillerlongwithimpl.o build/temp.linux-armv7l-3.9/src/drat.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/sls.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/walksat.o build/temp.linux-armv7l-3.9/src/xorfinder.o build/temp.linux-armv7l-3.9/src/yals.o build/temp.linux-armv7l-3.9/src/yalsat.o -o build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -flto -O3 -Wl,--as-needed 2021-07-15T09:26:22,079 installing to build/bdist.linux-armv7l/wheel 2021-07-15T09:26:22,079 running install 2021-07-15T09:26:22,081 running install_lib 2021-07-15T09:26:22,087 creating build/bdist.linux-armv7l 2021-07-15T09:26:22,088 creating build/bdist.linux-armv7l/wheel 2021-07-15T09:26:22,089 copying build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel 2021-07-15T09:26:22,381 running install_egg_info 2021-07-15T09:26:22,409 running egg_info 2021-07-15T09:26:22,410 writing pycryptosat.egg-info/PKG-INFO 2021-07-15T09:26:22,412 writing dependency_links to pycryptosat.egg-info/dependency_links.txt 2021-07-15T09:26:22,414 writing top-level names to pycryptosat.egg-info/top_level.txt 2021-07-15T09:26:22,453 reading manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-15T09:26:22,474 reading manifest template 'MANIFEST.in' 2021-07-15T09:26:22,595 adding license file 'LICENSE' 2021-07-15T09:26:22,606 writing manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-15T09:26:22,608 Copying pycryptosat.egg-info to build/bdist.linux-armv7l/wheel/pycryptosat-0.7.0.dev3-py3.9.egg-info 2021-07-15T09:26:22,618 running install_scripts 2021-07-15T09:26:22,707 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-15T09:26:22,711 creating build/bdist.linux-armv7l/wheel/pycryptosat-0.7.0.dev3.dist-info/WHEEL 2021-07-15T09:26:22,714 creating '/tmp/pip-wheel-n_zysuk6/pycryptosat-0.7.0.dev3-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-15T09:26:25,473 adding 'pycryptosat.cpython-39-arm-linux-gnueabihf.so' 2021-07-15T09:26:25,589 adding 'pycryptosat-0.7.0.dev3.dist-info/LICENSE' 2021-07-15T09:26:25,590 adding 'pycryptosat-0.7.0.dev3.dist-info/METADATA' 2021-07-15T09:26:25,591 adding 'pycryptosat-0.7.0.dev3.dist-info/WHEEL' 2021-07-15T09:26:25,592 adding 'pycryptosat-0.7.0.dev3.dist-info/top_level.txt' 2021-07-15T09:26:25,593 adding 'pycryptosat-0.7.0.dev3.dist-info/RECORD' 2021-07-15T09:26:25,660 removing build/bdist.linux-armv7l/wheel 2021-07-15T09:26:25,766 Building wheel for pycryptosat (setup.py): finished with status 'done' 2021-07-15T09:26:25,852 Created wheel for pycryptosat: filename=pycryptosat-0.7.0.dev3-cp39-cp39-linux_armv7l.whl size=5441801 sha256=54178d00530c8e66d8e5cb582c76f8057b6c02377443fcc0f42ab34f035d1d33 2021-07-15T09:26:25,852 Stored in directory: /tmp/pip-ephem-wheel-cache-t1fsqxlh/wheels/33/6f/f9/a6dcc583da09d1eb3a647f1de61cb71341114daa8964c2d301 2021-07-15T09:26:25,866 Successfully built pycryptosat 2021-07-15T09:26:26,051 Removed build tracker: '/tmp/pip-req-tracker-i_szd4wh'