2021-07-15T07:14:47,098 Created temporary directory: /tmp/pip-ephem-wheel-cache-awh34r48 2021-07-15T07:14:47,100 Created temporary directory: /tmp/pip-req-tracker-z8kjxnsc 2021-07-15T07:14:47,101 Initialized build tracking at /tmp/pip-req-tracker-z8kjxnsc 2021-07-15T07:14:47,101 Created build tracker: /tmp/pip-req-tracker-z8kjxnsc 2021-07-15T07:14:47,101 Entered build tracker: /tmp/pip-req-tracker-z8kjxnsc 2021-07-15T07:14:47,101 Created temporary directory: /tmp/pip-wheel-8pqsvw50 2021-07-15T07:14:47,130 1 location(s) to search for versions of pycryptosat: 2021-07-15T07:14:47,130 * https://pypi.org/simple/pycryptosat/ 2021-07-15T07:14:47,131 Fetching project page and analyzing links: https://pypi.org/simple/pycryptosat/ 2021-07-15T07:14:47,132 Getting page https://pypi.org/simple/pycryptosat/ 2021-07-15T07:14:47,133 Found index url https://pypi.org/simple 2021-07-15T07:14:47,652 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-15T07:14:47,652 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-15T07:14:47,652 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-15T07:14:47,669 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-15T07:14:47,670 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-15T07:14:47,670 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-15T07:14:47,671 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-15T07:14:47,671 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-15T07:14:47,672 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-15T07:14:47,672 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-15T07:14:47,672 Skipping link: not a file: https://pypi.org/simple/pycryptosat/ 2021-07-15T07:14:47,674 Given no hashes to check 1 links for project 'pycryptosat': discarding no candidates 2021-07-15T07:14:47,693 Collecting pycryptosat==0.6.1 2021-07-15T07:14:47,695 Created temporary directory: /tmp/pip-unpack-0yz732ww 2021-07-15T07:14:48,124 Downloading pycryptosat-0.6.1.tar.gz (285 kB) 2021-07-15T07:14:48,517 Added pycryptosat==0.6.1 from https://files.pythonhosted.org/packages/7a/e1/b85c5f20db50f3495c778220d8587c54be11e8e52328cb5440d5e1b89b33/pycryptosat-0.6.1.tar.gz#sha256=fde24d733e90b108eb751e1a94c92b18836ccc80d0c882e33cc9755888ff5705 to build tracker '/tmp/pip-req-tracker-z8kjxnsc' 2021-07-15T07:14:48,518 Running setup.py (path:/tmp/pip-wheel-8pqsvw50/pycryptosat_e826c23d6b2c44c4b08640586f37c3ce/setup.py) egg_info for package pycryptosat 2021-07-15T07:14:48,518 Created temporary directory: /tmp/pip-pip-egg-info-8k9boh80 2021-07-15T07:14:48,519 Running command python setup.py egg_info 2021-07-15T07:14:49,810 running egg_info 2021-07-15T07:14:49,819 creating /tmp/pip-pip-egg-info-8k9boh80/pycryptosat.egg-info 2021-07-15T07:14:49,820 writing /tmp/pip-pip-egg-info-8k9boh80/pycryptosat.egg-info/PKG-INFO 2021-07-15T07:14:49,823 writing dependency_links to /tmp/pip-pip-egg-info-8k9boh80/pycryptosat.egg-info/dependency_links.txt 2021-07-15T07:14:49,825 writing top-level names to /tmp/pip-pip-egg-info-8k9boh80/pycryptosat.egg-info/top_level.txt 2021-07-15T07:14:49,826 writing manifest file '/tmp/pip-pip-egg-info-8k9boh80/pycryptosat.egg-info/SOURCES.txt' 2021-07-15T07:14:49,860 reading manifest file '/tmp/pip-pip-egg-info-8k9boh80/pycryptosat.egg-info/SOURCES.txt' 2021-07-15T07:14:49,873 reading manifest template 'MANIFEST.in' 2021-07-15T07:14:49,974 adding license file 'LICENSE' 2021-07-15T07:14:49,981 writing manifest file '/tmp/pip-pip-egg-info-8k9boh80/pycryptosat.egg-info/SOURCES.txt' 2021-07-15T07:14:50,063 Source in /tmp/pip-wheel-8pqsvw50/pycryptosat_e826c23d6b2c44c4b08640586f37c3ce has version 0.6.1, which satisfies requirement pycryptosat==0.6.1 from https://files.pythonhosted.org/packages/7a/e1/b85c5f20db50f3495c778220d8587c54be11e8e52328cb5440d5e1b89b33/pycryptosat-0.6.1.tar.gz#sha256=fde24d733e90b108eb751e1a94c92b18836ccc80d0c882e33cc9755888ff5705 2021-07-15T07:14:50,064 Removed pycryptosat==0.6.1 from https://files.pythonhosted.org/packages/7a/e1/b85c5f20db50f3495c778220d8587c54be11e8e52328cb5440d5e1b89b33/pycryptosat-0.6.1.tar.gz#sha256=fde24d733e90b108eb751e1a94c92b18836ccc80d0c882e33cc9755888ff5705 from build tracker '/tmp/pip-req-tracker-z8kjxnsc' 2021-07-15T07:14:50,069 Created temporary directory: /tmp/pip-unpack-h0tf92d2 2021-07-15T07:14:50,069 Building wheels for collected packages: pycryptosat 2021-07-15T07:14:50,073 Created temporary directory: /tmp/pip-wheel-p5hrie0a 2021-07-15T07:14:50,074 Building wheel for pycryptosat (setup.py): started 2021-07-15T07:14:50,074 Destination directory: /tmp/pip-wheel-p5hrie0a 2021-07-15T07:14:50,074 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-8pqsvw50/pycryptosat_e826c23d6b2c44c4b08640586f37c3ce/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-8pqsvw50/pycryptosat_e826c23d6b2c44c4b08640586f37c3ce/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-p5hrie0a 2021-07-15T07:14:51,384 running bdist_wheel 2021-07-15T07:14:51,389 running build 2021-07-15T07:14:51,389 running build_ext 2021-07-15T07:14:51,394 building 'pycryptosat' extension 2021-07-15T07:14:51,395 creating build 2021-07-15T07:14:51,396 creating build/temp.linux-armv7l-3.9 2021-07-15T07:14:51,396 creating build/temp.linux-armv7l-3.9/src 2021-07-15T07:14:51,398 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-15T07:14:51,452 src/GitSHA1.cpp:61:32: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 2021-07-15T07:14:51,452 61 | "compilation date time = " __DATE__ " " __TIME__ 2021-07-15T07:14:51,452 | ^~~~~~~~ 2021-07-15T07:14:51,453 src/GitSHA1.cpp:61:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 2021-07-15T07:14:51,453 61 | "compilation date time = " __DATE__ " " __TIME__ 2021-07-15T07:14:51,453 | ^~~~~~~~ 2021-07-15T07:14:51,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/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-15T07:14:54,265 In file included from src/heap.h:24, 2021-07-15T07:14:54,266 from src/bva.h:26, 2021-07-15T07:14:54,266 from src/bva.cpp:23: 2021-07-15T07:14:54,266 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:14:54,266 src/watcharray.h:152:31: required from here 2021-07-15T07:14:54,266 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-15T07:14:54,267 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:14:54,267 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:14:54,267 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:14:54,267 42 | class vec { 2021-07-15T07:14:54,267 | ^~~ 2021-07-15T07:14:54,413 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:14:54,413 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:14:54,413 src/watcharray.h:90:36: required from here 2021-07-15T07:14:54,414 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-15T07:14:54,414 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:14:54,414 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:14:54,414 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:14:54,414 42 | class vec { 2021-07-15T07:14:54,414 | ^~~ 2021-07-15T07:14:57,184 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -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-15T07:14:59,594 In file included from src/heap.h:24, 2021-07-15T07:14:59,594 from src/propengine.h:39, 2021-07-15T07:14:59,594 from src/solver.h:36, 2021-07-15T07:14:59,595 from src/clauseallocator.cpp:33: 2021-07-15T07:14:59,595 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:14:59,595 src/watcharray.h:152:31: required from here 2021-07-15T07:14:59,595 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-15T07:14:59,595 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:14:59,595 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:14:59,596 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:14:59,596 42 | class vec { 2021-07-15T07:14:59,596 | ^~~ 2021-07-15T07:14:59,700 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:14:59,701 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:14:59,701 src/watcharray.h:90:36: required from here 2021-07-15T07:14:59,701 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-15T07:14:59,701 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:14:59,701 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:14:59,701 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:14:59,701 42 | class vec { 2021-07-15T07:14:59,702 | ^~~ 2021-07-15T07:15:00,515 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-15T07:15:03,000 In file included from src/watcharray.h:28, 2021-07-15T07:15:03,001 from src/clausecleaner.h:28, 2021-07-15T07:15:03,001 from src/clausecleaner.cpp:23: 2021-07-15T07:15:03,001 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:03,001 src/watcharray.h:152:31: required from here 2021-07-15T07:15:03,001 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-15T07:15:03,001 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:03,002 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:03,002 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:03,002 42 | class vec { 2021-07-15T07:15:03,002 | ^~~ 2021-07-15T07:15:03,100 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:03,100 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:03,100 src/watcharray.h:90:36: required from here 2021-07-15T07:15:03,100 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-15T07:15:03,100 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:03,100 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:03,101 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:03,101 42 | class vec { 2021-07-15T07:15:03,101 | ^~~ 2021-07-15T07:15:04,327 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-15T07:15:06,891 In file included from src/heap.h:24, 2021-07-15T07:15:06,891 from src/propengine.h:39, 2021-07-15T07:15:06,892 from src/solver.h:36, 2021-07-15T07:15:06,892 from src/clausedumper.cpp:24: 2021-07-15T07:15:06,892 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:06,892 src/watcharray.h:152:31: required from here 2021-07-15T07:15:06,892 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-15T07:15:06,892 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:06,893 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:06,893 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:06,893 42 | class vec { 2021-07-15T07:15:06,893 | ^~~ 2021-07-15T07:15:07,013 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:07,013 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:07,014 src/watcharray.h:90:36: required from here 2021-07-15T07:15:07,014 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-15T07:15:07,014 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:07,014 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:07,014 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:07,014 42 | class vec { 2021-07-15T07:15:07,014 | ^~~ 2021-07-15T07:15:08,195 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-15T07:15:09,926 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-15T07:15:12,085 In file included from src/watcharray.h:28, 2021-07-15T07:15:12,086 from src/cnf.h:36, 2021-07-15T07:15:12,086 from src/cnf.cpp:23: 2021-07-15T07:15:12,086 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:12,086 src/watcharray.h:152:31: required from here 2021-07-15T07:15:12,086 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-15T07:15:12,087 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:12,087 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:12,087 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:12,087 42 | class vec { 2021-07-15T07:15:12,087 | ^~~ 2021-07-15T07:15:12,226 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:12,226 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:12,227 src/watcharray.h:90:36: required from here 2021-07-15T07:15:12,227 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-15T07:15:12,227 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:12,227 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:12,227 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:12,227 42 | class vec { 2021-07-15T07:15:12,227 | ^~~ 2021-07-15T07:15:15,387 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-15T07:15:17,857 In file included from src/heap.h:24, 2021-07-15T07:15:17,857 from src/propengine.h:39, 2021-07-15T07:15:17,857 from src/solver.h:36, 2021-07-15T07:15:17,857 from src/compfinder.cpp:30: 2021-07-15T07:15:17,858 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:17,858 src/watcharray.h:152:31: required from here 2021-07-15T07:15:17,858 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-15T07:15:17,858 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:17,858 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:17,858 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:17,858 42 | class vec { 2021-07-15T07:15:17,859 | ^~~ 2021-07-15T07:15:17,980 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:17,980 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:17,980 src/watcharray.h:90:36: required from here 2021-07-15T07:15:17,980 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-15T07:15:17,981 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:17,981 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:17,981 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:17,981 42 | class vec { 2021-07-15T07:15:17,981 | ^~~ 2021-07-15T07:15:19,429 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-15T07:15:21,956 In file included from src/watcharray.h:28, 2021-07-15T07:15:21,956 from src/varreplacer.h:33, 2021-07-15T07:15:21,956 from src/comphandler.cpp:25: 2021-07-15T07:15:21,956 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:21,956 src/watcharray.h:152:31: required from here 2021-07-15T07:15:21,956 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-15T07:15:21,956 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:21,957 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:21,957 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:21,957 42 | class vec { 2021-07-15T07:15:21,957 | ^~~ 2021-07-15T07:15:22,075 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:22,075 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:22,075 src/watcharray.h:90:36: required from here 2021-07-15T07:15:22,076 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-15T07:15:22,076 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:22,076 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:22,076 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:22,076 42 | class vec { 2021-07-15T07:15:22,076 | ^~~ 2021-07-15T07:15:24,479 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-15T07:15:26,899 In file included from src/watcharray.h:28, 2021-07-15T07:15:26,899 from src/completedetachreattacher.h:28, 2021-07-15T07:15:26,900 from src/completedetachreattacher.cpp:23: 2021-07-15T07:15:26,900 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:26,900 src/watcharray.h:152:31: required from here 2021-07-15T07:15:26,900 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-15T07:15:26,900 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:26,900 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:26,900 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:26,901 42 | class vec { 2021-07-15T07:15:26,901 | ^~~ 2021-07-15T07:15:26,996 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:26,997 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:26,997 src/watcharray.h:90:36: required from here 2021-07-15T07:15:26,997 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-15T07:15:26,997 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:26,997 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:26,997 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:26,997 42 | class vec { 2021-07-15T07:15:26,998 | ^~~ 2021-07-15T07:15:28,138 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-15T07:15:30,941 In file included from src/heap.h:24, 2021-07-15T07:15:30,941 from src/propengine.h:39, 2021-07-15T07:15:30,941 from src/solver.h:36, 2021-07-15T07:15:30,941 from src/cryptominisat.cpp:25: 2021-07-15T07:15:30,941 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:30,942 src/watcharray.h:152:31: required from here 2021-07-15T07:15:30,942 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-15T07:15:30,942 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:30,942 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:30,942 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:30,942 42 | class vec { 2021-07-15T07:15:30,942 | ^~~ 2021-07-15T07:15:31,086 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:31,086 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:31,086 src/watcharray.h:90:36: required from here 2021-07-15T07:15:31,087 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-15T07:15:31,087 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:31,087 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:31,087 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:31,087 42 | class vec { 2021-07-15T07:15:31,087 | ^~~ 2021-07-15T07:15:33,432 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-15T07:15:34,867 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -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-15T07:15:37,433 In file included from src/watcharray.h:28, 2021-07-15T07:15:37,433 from src/datasync.h:25, 2021-07-15T07:15:37,433 from src/datasync.cpp:23: 2021-07-15T07:15:37,433 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:37,434 src/watcharray.h:152:31: required from here 2021-07-15T07:15:37,434 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-15T07:15:37,434 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:37,434 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:37,434 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:37,434 42 | class vec { 2021-07-15T07:15:37,434 | ^~~ 2021-07-15T07:15:37,535 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:37,535 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:37,535 src/watcharray.h:90:36: required from here 2021-07-15T07:15:37,535 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-15T07:15:37,535 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:37,535 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:37,536 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:37,536 42 | class vec { 2021-07-15T07:15:37,536 | ^~~ 2021-07-15T07:15:39,056 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-15T07:15:41,445 In file included from src/watcharray.h:28, 2021-07-15T07:15:41,445 from src/distillerlong.h:31, 2021-07-15T07:15:41,445 from src/distillerlong.cpp:23: 2021-07-15T07:15:41,445 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:41,446 src/watcharray.h:152:31: required from here 2021-07-15T07:15:41,446 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-15T07:15:41,446 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:41,446 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:41,446 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:41,446 42 | class vec { 2021-07-15T07:15:41,446 | ^~~ 2021-07-15T07:15:41,538 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:41,539 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:41,539 src/watcharray.h:90:36: required from here 2021-07-15T07:15:41,539 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-15T07:15:41,539 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:41,539 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:41,540 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:41,540 42 | class vec { 2021-07-15T07:15:41,540 | ^~~ 2021-07-15T07:15:42,664 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-15T07:15:45,083 In file included from src/watcharray.h:28, 2021-07-15T07:15:45,083 from src/distillerlongwithimpl.h:31, 2021-07-15T07:15:45,083 from src/distillerlongwithimpl.cpp:23: 2021-07-15T07:15:45,084 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:45,084 src/watcharray.h:152:31: required from here 2021-07-15T07:15:45,084 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-15T07:15:45,084 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:45,084 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:45,084 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:45,084 42 | class vec { 2021-07-15T07:15:45,085 | ^~~ 2021-07-15T07:15:45,173 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:45,173 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:45,174 src/watcharray.h:90:36: required from here 2021-07-15T07:15:45,174 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-15T07:15:45,174 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:45,174 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:45,174 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:45,174 42 | class vec { 2021-07-15T07:15:45,174 | ^~~ 2021-07-15T07:15:46,468 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-15T07:15:48,922 In file included from src/heap.h:24, 2021-07-15T07:15:48,922 from src/propengine.h:39, 2021-07-15T07:15:48,922 from src/solver.h:36, 2021-07-15T07:15:48,922 from src/features_calc.cpp:27: 2021-07-15T07:15:48,923 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:48,923 src/watcharray.h:152:31: required from here 2021-07-15T07:15:48,923 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-15T07:15:48,923 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:48,923 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:48,923 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:48,924 42 | class vec { 2021-07-15T07:15:48,924 | ^~~ 2021-07-15T07:15:49,032 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:49,032 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:49,033 src/watcharray.h:90:36: required from here 2021-07-15T07:15:49,033 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-15T07:15:49,033 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:49,033 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:49,033 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:49,033 42 | class vec { 2021-07-15T07:15:49,034 | ^~~ 2021-07-15T07:15:49,930 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-15T07:15:51,025 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-15T07:15:53,273 In file included from src/watcharray.h:28, 2021-07-15T07:15:53,273 from src/cnf.h:36, 2021-07-15T07:15:53,273 from src/hyperengine.h:23, 2021-07-15T07:15:53,274 from src/hyperengine.cpp:23: 2021-07-15T07:15:53,274 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:53,274 src/watcharray.h:152:31: required from here 2021-07-15T07:15:53,274 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-15T07:15:53,274 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:53,274 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:53,274 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:53,275 42 | class vec { 2021-07-15T07:15:53,275 | ^~~ 2021-07-15T07:15:53,411 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:53,412 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:53,412 src/watcharray.h:90:36: required from here 2021-07-15T07:15:53,412 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-15T07:15:53,412 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:53,412 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:53,413 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:53,413 42 | class vec { 2021-07-15T07:15:53,413 | ^~~ 2021-07-15T07:15:54,787 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-15T07:15:57,292 In file included from src/heap.h:24, 2021-07-15T07:15:57,292 from src/propengine.h:39, 2021-07-15T07:15:57,292 from src/solver.h:36, 2021-07-15T07:15:57,293 from src/implcache.cpp:28: 2021-07-15T07:15:57,293 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:15:57,293 src/watcharray.h:152:31: required from here 2021-07-15T07:15:57,293 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-15T07:15:57,293 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:15:57,293 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:57,293 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:57,294 42 | class vec { 2021-07-15T07:15:57,294 | ^~~ 2021-07-15T07:15:57,407 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:15:57,407 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:15:57,407 src/watcharray.h:90:36: required from here 2021-07-15T07:15:57,407 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-15T07:15:57,407 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:15:57,408 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:15:57,408 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:15:57,408 42 | class vec { 2021-07-15T07:15:57,408 | ^~~ 2021-07-15T07:15:58,784 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-15T07:16:01,277 In file included from src/heap.h:24, 2021-07-15T07:16:01,277 from src/propengine.h:39, 2021-07-15T07:16:01,277 from src/solver.h:36, 2021-07-15T07:16:01,278 from src/intree.cpp:24: 2021-07-15T07:16:01,278 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:01,278 src/watcharray.h:152:31: required from here 2021-07-15T07:16:01,278 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-15T07:16:01,278 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:01,278 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:01,279 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:01,279 42 | class vec { 2021-07-15T07:16:01,279 | ^~~ 2021-07-15T07:16:01,421 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:01,422 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:01,422 src/watcharray.h:90:36: required from here 2021-07-15T07:16:01,422 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-15T07:16:01,423 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:01,423 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:01,423 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:01,423 42 | class vec { 2021-07-15T07:16:01,424 | ^~~ 2021-07-15T07:16:02,945 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-15T07:16:05,883 In file included from src/heap.h:24, 2021-07-15T07:16:05,883 from src/occsimplifier.h:38, 2021-07-15T07:16:05,883 from src/occsimplifier.cpp:39: 2021-07-15T07:16:05,883 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:05,883 src/watcharray.h:152:31: required from here 2021-07-15T07:16:05,883 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-15T07:16:05,883 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:05,884 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:05,884 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:05,884 42 | class vec { 2021-07-15T07:16:05,884 | ^~~ 2021-07-15T07:16:06,052 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:06,052 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:06,052 src/watcharray.h:90:36: required from here 2021-07-15T07:16:06,052 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-15T07:16:06,052 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:06,052 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:06,053 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:06,053 42 | class vec { 2021-07-15T07:16:06,053 | ^~~ 2021-07-15T07:16:10,696 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-15T07:16:13,213 In file included from src/heap.h:24, 2021-07-15T07:16:13,214 from src/propengine.h:39, 2021-07-15T07:16:13,214 from src/solver.h:36, 2021-07-15T07:16:13,214 from src/prober.cpp:32: 2021-07-15T07:16:13,214 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:13,214 src/watcharray.h:152:31: required from here 2021-07-15T07:16:13,214 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-15T07:16:13,214 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:13,214 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:13,215 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:13,215 42 | class vec { 2021-07-15T07:16:13,215 | ^~~ 2021-07-15T07:16:13,329 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:13,329 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:13,329 src/watcharray.h:90:36: required from here 2021-07-15T07:16:13,329 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-15T07:16:13,329 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:13,329 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:13,330 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:13,330 42 | class vec { 2021-07-15T07:16:13,330 | ^~~ 2021-07-15T07:16:15,180 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-15T07:16:17,614 In file included from src/heap.h:24, 2021-07-15T07:16:17,615 from src/propengine.h:39, 2021-07-15T07:16:17,615 from src/propengine.cpp:23: 2021-07-15T07:16:17,615 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:17,615 src/watcharray.h:152:31: required from here 2021-07-15T07:16:17,615 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-15T07:16:17,615 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:17,615 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:17,616 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:17,616 42 | class vec { 2021-07-15T07:16:17,616 | ^~~ 2021-07-15T07:16:17,735 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:17,735 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:17,735 src/watcharray.h:90:36: required from here 2021-07-15T07:16:17,735 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-15T07:16:17,735 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:17,736 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:17,736 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:17,736 42 | class vec { 2021-07-15T07:16:17,736 | ^~~ 2021-07-15T07:16:19,441 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-15T07:16:20,868 src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector&)’: 2021-07-15T07:16:20,868 src/pycryptosat.cpp:244:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-15T07:16:20,868 244 | if (var >= self->cmsat->nVars()) { 2021-07-15T07:16:20,869 | ~~~~^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:20,902 src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)’: 2021-07-15T07:16:20,902 src/pycryptosat.cpp:669:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-15T07:16:20,902 669 | if (var >= cmsat->nVars()) { 2021-07-15T07:16:20,902 | ~~~~^~~~~~~~~~~~~~~~~ 2021-07-15T07:16:21,583 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-15T07:16:24,010 In file included from src/heap.h:24, 2021-07-15T07:16:24,010 from src/propengine.h:39, 2021-07-15T07:16:24,010 from src/solver.h:36, 2021-07-15T07:16:24,010 from src/reducedb.cpp:24: 2021-07-15T07:16:24,011 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:24,011 src/watcharray.h:152:31: required from here 2021-07-15T07:16:24,011 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-15T07:16:24,011 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:24,011 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:24,011 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:24,011 42 | class vec { 2021-07-15T07:16:24,012 | ^~~ 2021-07-15T07:16:24,120 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:24,121 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:24,121 src/watcharray.h:90:36: required from here 2021-07-15T07:16:24,121 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-15T07:16:24,121 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:24,121 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:24,121 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:24,121 42 | class vec { 2021-07-15T07:16:24,122 | ^~~ 2021-07-15T07:16:25,324 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-15T07:16:27,776 In file included from src/watcharray.h:28, 2021-07-15T07:16:27,777 from src/varreplacer.h:33, 2021-07-15T07:16:27,777 from src/sccfinder.cpp:29: 2021-07-15T07:16:27,777 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:27,777 src/watcharray.h:152:31: required from here 2021-07-15T07:16:27,777 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-15T07:16:27,777 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:27,777 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:27,778 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:27,778 42 | class vec { 2021-07-15T07:16:27,778 | ^~~ 2021-07-15T07:16:27,894 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:27,894 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:27,895 src/watcharray.h:90:36: required from here 2021-07-15T07:16:27,895 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-15T07:16:27,895 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:27,895 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:27,895 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:27,895 42 | class vec { 2021-07-15T07:16:27,895 | ^~~ 2021-07-15T07:16:29,225 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-15T07:16:32,099 In file included from src/heap.h:24, 2021-07-15T07:16:32,099 from src/propengine.h:39, 2021-07-15T07:16:32,099 from src/searcher.h:28, 2021-07-15T07:16:32,099 from src/searcher.cpp:23: 2021-07-15T07:16:32,099 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:32,099 src/watcharray.h:152:31: required from here 2021-07-15T07:16:32,100 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-15T07:16:32,100 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:32,100 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:32,100 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:32,100 42 | class vec { 2021-07-15T07:16:32,100 | ^~~ 2021-07-15T07:16:32,281 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:32,282 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:32,282 src/watcharray.h:90:36: required from here 2021-07-15T07:16:32,282 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-15T07:16:32,282 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:32,282 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:32,282 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:32,282 42 | class vec { 2021-07-15T07:16:32,283 | ^~~ 2021-07-15T07:16:36,046 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-15T07:16:38,158 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-15T07:16:40,701 In file included from src/watcharray.h:28, 2021-07-15T07:16:40,701 from src/solutionextender.h:28, 2021-07-15T07:16:40,701 from src/solutionextender.cpp:23: 2021-07-15T07:16:40,701 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:40,701 src/watcharray.h:152:31: required from here 2021-07-15T07:16:40,702 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-15T07:16:40,702 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:40,702 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:40,702 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:40,702 42 | class vec { 2021-07-15T07:16:40,702 | ^~~ 2021-07-15T07:16:40,805 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:40,805 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:40,805 src/watcharray.h:90:36: required from here 2021-07-15T07:16:40,805 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-15T07:16:40,806 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:40,806 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:40,806 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:40,806 42 | class vec { 2021-07-15T07:16:40,806 | ^~~ 2021-07-15T07:16:41,919 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-15T07:16:43,073 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-15T07:16:46,485 In file included from src/heap.h:24, 2021-07-15T07:16:46,485 from src/propengine.h:39, 2021-07-15T07:16:46,485 from src/solver.h:36, 2021-07-15T07:16:46,485 from src/solver.cpp:23: 2021-07-15T07:16:46,485 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:16:46,486 src/watcharray.h:152:31: required from here 2021-07-15T07:16:46,486 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-15T07:16:46,486 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:16:46,486 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:46,486 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:46,486 42 | class vec { 2021-07-15T07:16:46,487 | ^~~ 2021-07-15T07:16:46,728 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:16:46,728 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:16:46,729 src/watcharray.h:90:36: required from here 2021-07-15T07:16:46,729 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-15T07:16:46,729 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:16:46,729 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:16:46,729 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:16:46,730 42 | class vec { 2021-07-15T07:16:46,730 | ^~~ 2021-07-15T07:16:52,475 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-15T07:16:54,090 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-15T07:16:55,888 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-15T07:16:58,323 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-15T07:17:00,705 In file included from src/watcharray.h:28, 2021-07-15T07:17:00,705 from src/str_impl_w_impl_stamp.h:31, 2021-07-15T07:17:00,706 from src/str_impl_w_impl_stamp.cpp:23: 2021-07-15T07:17:00,706 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:17:00,706 src/watcharray.h:152:31: required from here 2021-07-15T07:17:00,706 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-15T07:17:00,706 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:17:00,706 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:00,706 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:00,707 42 | class vec { 2021-07-15T07:17:00,707 | ^~~ 2021-07-15T07:17:00,804 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:17:00,805 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:17:00,805 src/watcharray.h:90:36: required from here 2021-07-15T07:17:00,805 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-15T07:17:00,805 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:17:00,805 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:00,805 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:00,805 42 | class vec { 2021-07-15T07:17:00,805 | ^~~ 2021-07-15T07:17:01,907 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-15T07:17:04,311 In file included from src/watcharray.h:28, 2021-07-15T07:17:04,311 from src/subsumeimplicit.h:31, 2021-07-15T07:17:04,311 from src/subsumeimplicit.cpp:23: 2021-07-15T07:17:04,311 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:17:04,312 src/watcharray.h:152:31: required from here 2021-07-15T07:17:04,312 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-15T07:17:04,312 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:17:04,312 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:04,312 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:04,312 42 | class vec { 2021-07-15T07:17:04,312 | ^~~ 2021-07-15T07:17:04,402 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:17:04,403 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:17:04,403 src/watcharray.h:90:36: required from here 2021-07-15T07:17:04,403 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-15T07:17:04,403 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:17:04,403 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:04,403 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:04,404 42 | class vec { 2021-07-15T07:17:04,404 | ^~~ 2021-07-15T07:17:05,519 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -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-15T07:17:08,050 In file included from src/heap.h:24, 2021-07-15T07:17:08,050 from src/occsimplifier.h:38, 2021-07-15T07:17:08,050 from src/subsumestrengthen.cpp:24: 2021-07-15T07:17:08,050 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:17:08,051 src/watcharray.h:152:31: required from here 2021-07-15T07:17:08,051 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-15T07:17:08,051 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:17:08,051 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:08,051 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:08,051 42 | class vec { 2021-07-15T07:17:08,051 | ^~~ 2021-07-15T07:17:08,176 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:17:08,176 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:17:08,176 src/watcharray.h:90:36: required from here 2021-07-15T07:17:08,176 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-15T07:17:08,176 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:17:08,176 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:08,177 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:08,177 42 | class vec { 2021-07-15T07:17:08,177 | ^~~ 2021-07-15T07:17:09,894 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-15T07:17:12,482 In file included from src/watcharray.h:28, 2021-07-15T07:17:12,483 from src/varreplacer.h:33, 2021-07-15T07:17:12,483 from src/varreplacer.cpp:23: 2021-07-15T07:17:12,483 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:17:12,483 src/watcharray.h:152:31: required from here 2021-07-15T07:17:12,483 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-15T07:17:12,484 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:17:12,484 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:12,484 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:12,484 42 | class vec { 2021-07-15T07:17:12,484 | ^~~ 2021-07-15T07:17:12,641 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:17:12,641 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:17:12,642 src/watcharray.h:90:36: required from here 2021-07-15T07:17:12,642 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-15T07:17:12,642 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:17:12,642 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:12,642 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:12,642 42 | class vec { 2021-07-15T07:17:12,643 | ^~~ 2021-07-15T07:17:15,325 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-15T07:17:17,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/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-15T07:17:19,979 In file included from src/watcharray.h:28, 2021-07-15T07:17:19,979 from src/xorfinder.h:35, 2021-07-15T07:17:19,979 from src/xorfinder.cpp:23: 2021-07-15T07:17:19,979 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-15T07:17:19,979 src/watcharray.h:152:31: required from here 2021-07-15T07:17:19,980 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-15T07:17:19,980 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-15T07:17:19,980 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:19,980 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:19,980 42 | class vec { 2021-07-15T07:17:19,980 | ^~~ 2021-07-15T07:17:20,115 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-15T07:17:20,116 src/Vec.h:278:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-15T07:17:20,116 src/watcharray.h:90:36: required from here 2021-07-15T07:17:20,116 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-15T07:17:20,116 250 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-15T07:17:20,116 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T07:17:20,116 src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 2021-07-15T07:17:20,116 42 | class vec { 2021-07-15T07:17:20,117 | ^~~ 2021-07-15T07:17:22,726 creating build/lib.linux-armv7l-3.9 2021-07-15T07:17:22,727 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/features_calc.o build/temp.linux-armv7l-3.9/src/features_to_reconf.o build/temp.linux-armv7l-3.9/src/hyperengine.o build/temp.linux-armv7l-3.9/src/implcache.o build/temp.linux-armv7l-3.9/src/intree.o build/temp.linux-armv7l-3.9/src/occsimplifier.o build/temp.linux-armv7l-3.9/src/prober.o build/temp.linux-armv7l-3.9/src/propengine.o build/temp.linux-armv7l-3.9/src/pycryptosat.o build/temp.linux-armv7l-3.9/src/reducedb.o build/temp.linux-armv7l-3.9/src/sccfinder.o build/temp.linux-armv7l-3.9/src/searcher.o build/temp.linux-armv7l-3.9/src/searchstats.o build/temp.linux-armv7l-3.9/src/solutionextender.o build/temp.linux-armv7l-3.9/src/solvefeatures.o build/temp.linux-armv7l-3.9/src/solver.o build/temp.linux-armv7l-3.9/src/solverconf.o build/temp.linux-armv7l-3.9/src/sqlstats.o build/temp.linux-armv7l-3.9/src/stamp.o build/temp.linux-armv7l-3.9/src/str_impl_w_impl_stamp.o build/temp.linux-armv7l-3.9/src/subsumeimplicit.o build/temp.linux-armv7l-3.9/src/subsumestrengthen.o build/temp.linux-armv7l-3.9/src/varreplacer.o build/temp.linux-armv7l-3.9/src/walksat.o build/temp.linux-armv7l-3.9/src/xorfinder.o -o build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -flto -O3 -Wl,--as-needed 2021-07-15T07:19:08,494 installing to build/bdist.linux-armv7l/wheel 2021-07-15T07:19:08,495 running install 2021-07-15T07:19:08,496 running install_lib 2021-07-15T07:19:08,501 creating build/bdist.linux-armv7l 2021-07-15T07:19:08,502 creating build/bdist.linux-armv7l/wheel 2021-07-15T07:19:08,503 copying build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel 2021-07-15T07:19:08,768 running install_egg_info 2021-07-15T07:19:08,792 running egg_info 2021-07-15T07:19:08,793 writing pycryptosat.egg-info/PKG-INFO 2021-07-15T07:19:08,795 writing dependency_links to pycryptosat.egg-info/dependency_links.txt 2021-07-15T07:19:08,797 writing top-level names to pycryptosat.egg-info/top_level.txt 2021-07-15T07:19:08,831 reading manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-15T07:19:08,850 reading manifest template 'MANIFEST.in' 2021-07-15T07:19:08,954 adding license file 'LICENSE' 2021-07-15T07:19:08,963 writing manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-15T07:19:08,966 Copying pycryptosat.egg-info to build/bdist.linux-armv7l/wheel/pycryptosat-0.6.1-py3.9.egg-info 2021-07-15T07:19:08,975 running install_scripts 2021-07-15T07:19:09,056 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-15T07:19:09,060 creating build/bdist.linux-armv7l/wheel/pycryptosat-0.6.1.dist-info/WHEEL 2021-07-15T07:19:09,063 creating '/tmp/pip-wheel-p5hrie0a/pycryptosat-0.6.1-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-15T07:19:11,585 adding 'pycryptosat.cpython-39-arm-linux-gnueabihf.so' 2021-07-15T07:19:11,695 adding 'pycryptosat-0.6.1.dist-info/LICENSE' 2021-07-15T07:19:11,696 adding 'pycryptosat-0.6.1.dist-info/METADATA' 2021-07-15T07:19:11,697 adding 'pycryptosat-0.6.1.dist-info/WHEEL' 2021-07-15T07:19:11,699 adding 'pycryptosat-0.6.1.dist-info/top_level.txt' 2021-07-15T07:19:11,700 adding 'pycryptosat-0.6.1.dist-info/RECORD' 2021-07-15T07:19:11,776 removing build/bdist.linux-armv7l/wheel 2021-07-15T07:19:11,872 Building wheel for pycryptosat (setup.py): finished with status 'done' 2021-07-15T07:19:11,938 Created wheel for pycryptosat: filename=pycryptosat-0.6.1-cp39-cp39-linux_armv7l.whl size=5108696 sha256=2b1d8a5dbc8087a1a6199baaedc1b467fcdaaec904a17e9d3eace1dd89bd6fb1 2021-07-15T07:19:11,938 Stored in directory: /tmp/pip-ephem-wheel-cache-awh34r48/wheels/a5/80/4e/e7ccf2d6f184ecf63fcb46a6f3dc305e381ad31ad345e0ab7c 2021-07-15T07:19:11,949 Successfully built pycryptosat 2021-07-15T07:19:12,134 Removed build tracker: '/tmp/pip-req-tracker-z8kjxnsc'