2021-07-12T14:12:08,159 Created temporary directory: /tmp/pip-ephem-wheel-cache-s9ckv6hw 2021-07-12T14:12:08,163 Created temporary directory: /tmp/pip-req-tracker-l_q5z8o6 2021-07-12T14:12:08,163 Initialized build tracking at /tmp/pip-req-tracker-l_q5z8o6 2021-07-12T14:12:08,163 Created build tracker: /tmp/pip-req-tracker-l_q5z8o6 2021-07-12T14:12:08,163 Entered build tracker: /tmp/pip-req-tracker-l_q5z8o6 2021-07-12T14:12:08,164 Created temporary directory: /tmp/pip-wheel-pp3vj2c4 2021-07-12T14:12:08,194 1 location(s) to search for versions of pycryptosat: 2021-07-12T14:12:08,194 * https://pypi.org/simple/pycryptosat/ 2021-07-12T14:12:08,194 Fetching project page and analyzing links: https://pypi.org/simple/pycryptosat/ 2021-07-12T14:12:08,195 Getting page https://pypi.org/simple/pycryptosat/ 2021-07-12T14:12:08,196 Found index url https://pypi.org/simple 2021-07-12T14:12:08,289 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-12T14:12:08,290 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-12T14:12:08,290 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-12T14:12:08,307 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-12T14:12:08,308 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-12T14:12:08,308 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-12T14:12:08,309 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-12T14:12:08,309 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-12T14:12:08,310 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-12T14:12:08,310 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-12T14:12:08,310 Skipping link: not a file: https://pypi.org/simple/pycryptosat/ 2021-07-12T14:12:08,311 Given no hashes to check 1 links for project 'pycryptosat': discarding no candidates 2021-07-12T14:12:08,330 Collecting pycryptosat==0.1.2 2021-07-12T14:12:08,332 Created temporary directory: /tmp/pip-unpack-hmbv28fz 2021-07-12T14:12:08,773 Downloading pycryptosat-0.1.2.tar.gz (296 kB) 2021-07-12T14:12:09,234 Added pycryptosat==0.1.2 from https://files.pythonhosted.org/packages/7a/b1/b9acf78cb43777e5492f7ee3c98da1169160be9ea719c5ab9f2668d3ff03/pycryptosat-0.1.2.tar.gz#sha256=7ede0badf25f1e52eb6db8dcde360b138395ad26497d44a62ce02cb19ca7574f to build tracker '/tmp/pip-req-tracker-l_q5z8o6' 2021-07-12T14:12:09,235 Running setup.py (path:/tmp/pip-wheel-pp3vj2c4/pycryptosat_cf601ea0a5ff4910a1eabd963126550f/setup.py) egg_info for package pycryptosat 2021-07-12T14:12:09,236 Created temporary directory: /tmp/pip-pip-egg-info-xv34p53h 2021-07-12T14:12:09,236 Running command python setup.py egg_info 2021-07-12T14:12:10,173 running egg_info 2021-07-12T14:12:10,175 creating /tmp/pip-pip-egg-info-xv34p53h/pycryptosat.egg-info 2021-07-12T14:12:10,176 writing /tmp/pip-pip-egg-info-xv34p53h/pycryptosat.egg-info/PKG-INFO 2021-07-12T14:12:10,178 writing dependency_links to /tmp/pip-pip-egg-info-xv34p53h/pycryptosat.egg-info/dependency_links.txt 2021-07-12T14:12:10,180 writing top-level names to /tmp/pip-pip-egg-info-xv34p53h/pycryptosat.egg-info/top_level.txt 2021-07-12T14:12:10,182 writing manifest file '/tmp/pip-pip-egg-info-xv34p53h/pycryptosat.egg-info/SOURCES.txt' 2021-07-12T14:12:10,348 reading manifest file '/tmp/pip-pip-egg-info-xv34p53h/pycryptosat.egg-info/SOURCES.txt' 2021-07-12T14:12:10,349 adding license file 'LICENSE' 2021-07-12T14:12:10,352 writing manifest file '/tmp/pip-pip-egg-info-xv34p53h/pycryptosat.egg-info/SOURCES.txt' 2021-07-12T14:12:10,423 Source in /tmp/pip-wheel-pp3vj2c4/pycryptosat_cf601ea0a5ff4910a1eabd963126550f has version 0.1.2, which satisfies requirement pycryptosat==0.1.2 from https://files.pythonhosted.org/packages/7a/b1/b9acf78cb43777e5492f7ee3c98da1169160be9ea719c5ab9f2668d3ff03/pycryptosat-0.1.2.tar.gz#sha256=7ede0badf25f1e52eb6db8dcde360b138395ad26497d44a62ce02cb19ca7574f 2021-07-12T14:12:10,424 Removed pycryptosat==0.1.2 from https://files.pythonhosted.org/packages/7a/b1/b9acf78cb43777e5492f7ee3c98da1169160be9ea719c5ab9f2668d3ff03/pycryptosat-0.1.2.tar.gz#sha256=7ede0badf25f1e52eb6db8dcde360b138395ad26497d44a62ce02cb19ca7574f from build tracker '/tmp/pip-req-tracker-l_q5z8o6' 2021-07-12T14:12:10,428 Created temporary directory: /tmp/pip-unpack-5xxmq0kd 2021-07-12T14:12:10,429 Building wheels for collected packages: pycryptosat 2021-07-12T14:12:10,434 Created temporary directory: /tmp/pip-wheel-hv5_q815 2021-07-12T14:12:10,434 Building wheel for pycryptosat (setup.py): started 2021-07-12T14:12:10,435 Destination directory: /tmp/pip-wheel-hv5_q815 2021-07-12T14:12:10,435 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-pp3vj2c4/pycryptosat_cf601ea0a5ff4910a1eabd963126550f/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-pp3vj2c4/pycryptosat_cf601ea0a5ff4910a1eabd963126550f/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-hv5_q815 2021-07-12T14:12:11,395 running bdist_wheel 2021-07-12T14:12:11,550 running build 2021-07-12T14:12:11,550 running build_ext 2021-07-12T14:12:11,555 building 'pycryptosat' extension 2021-07-12T14:12:11,556 creating build 2021-07-12T14:12:11,557 creating build/temp.linux-armv7l-3.9 2021-07-12T14:12:11,558 creating build/temp.linux-armv7l-3.9/src 2021-07-12T14:12:11,559 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/GitSHA1.cpp -o build/temp.linux-armv7l-3.9/src/GitSHA1.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:11,619 src/GitSHA1.cpp:59:32: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 2021-07-12T14:12:11,619 59 | "compilation date time = " __DATE__ " " __TIME__ 2021-07-12T14:12:11,619 | ^~~~~~~~ 2021-07-12T14:12:11,620 src/GitSHA1.cpp:59:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 2021-07-12T14:12:11,620 59 | "compilation date time = " __DATE__ " " __TIME__ 2021-07-12T14:12:11,620 | ^~~~~~~~ 2021-07-12T14:12:11,690 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/bva.cpp -o build/temp.linux-armv7l-3.9/src/bva.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:14,467 In file included from src/heap.h:24, 2021-07-12T14:12:14,468 from src/bva.h:26, 2021-07-12T14:12:14,468 from src/bva.cpp:23: 2021-07-12T14:12:14,468 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:14,468 src/watcharray.h:146:31: required from here 2021-07-12T14:12:14,468 src/Vec.h:227: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-12T14:12:14,468 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:14,469 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:14,469 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:14,469 40 | class vec { 2021-07-12T14:12:14,469 | ^~~ 2021-07-12T14:12:14,604 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:14,605 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:14,605 src/watcharray.h:90:36: required from here 2021-07-12T14:12:14,605 src/Vec.h:246: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-12T14:12:14,605 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:14,605 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:14,606 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:14,606 40 | class vec { 2021-07-12T14:12:14,606 | ^~~ 2021-07-12T14:12:17,178 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clauseallocator.cpp -o build/temp.linux-armv7l-3.9/src/clauseallocator.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:19,542 In file included from src/heap.h:24, 2021-07-12T14:12:19,543 from src/propengine.h:39, 2021-07-12T14:12:19,543 from src/solver.h:36, 2021-07-12T14:12:19,543 from src/clauseallocator.cpp:33: 2021-07-12T14:12:19,543 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:19,543 src/watcharray.h:146:31: required from here 2021-07-12T14:12:19,543 src/Vec.h:227: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-12T14:12:19,544 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:19,544 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:19,544 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:19,544 40 | class vec { 2021-07-12T14:12:19,544 | ^~~ 2021-07-12T14:12:19,636 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:19,636 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:19,636 src/watcharray.h:90:36: required from here 2021-07-12T14:12:19,637 src/Vec.h:246: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-12T14:12:19,637 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:19,637 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:19,637 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:19,637 40 | class vec { 2021-07-12T14:12:19,637 | ^~~ 2021-07-12T14:12:20,404 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clausecleaner.cpp -o build/temp.linux-armv7l-3.9/src/clausecleaner.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:22,762 In file included from src/watcharray.h:28, 2021-07-12T14:12:22,762 from src/clausecleaner.h:28, 2021-07-12T14:12:22,762 from src/clausecleaner.cpp:23: 2021-07-12T14:12:22,762 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:22,763 src/watcharray.h:146:31: required from here 2021-07-12T14:12:22,763 src/Vec.h:227: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-12T14:12:22,763 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:22,763 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:22,763 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:22,763 40 | class vec { 2021-07-12T14:12:22,763 | ^~~ 2021-07-12T14:12:22,855 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:22,855 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:22,855 src/watcharray.h:90:36: required from here 2021-07-12T14:12:22,855 src/Vec.h:246: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-12T14:12:22,855 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:22,855 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:22,856 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:22,856 40 | class vec { 2021-07-12T14:12:22,856 | ^~~ 2021-07-12T14:12:24,035 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clausedumper.cpp -o build/temp.linux-armv7l-3.9/src/clausedumper.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:26,579 In file included from src/heap.h:24, 2021-07-12T14:12:26,579 from src/propengine.h:39, 2021-07-12T14:12:26,579 from src/solver.h:36, 2021-07-12T14:12:26,580 from src/clausedumper.cpp:24: 2021-07-12T14:12:26,580 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:26,580 src/watcharray.h:146:31: required from here 2021-07-12T14:12:26,580 src/Vec.h:227: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-12T14:12:26,580 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:26,580 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:26,581 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:26,581 40 | class vec { 2021-07-12T14:12:26,581 | ^~~ 2021-07-12T14:12:26,686 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:26,686 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:26,687 src/watcharray.h:90:36: required from here 2021-07-12T14:12:26,687 src/Vec.h:246: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-12T14:12:26,687 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:26,687 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:26,687 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:26,687 40 | class vec { 2021-07-12T14:12:26,687 | ^~~ 2021-07-12T14:12:27,777 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clauseusagestats.cpp -o build/temp.linux-armv7l-3.9/src/clauseusagestats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:29,455 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cnf.cpp -o build/temp.linux-armv7l-3.9/src/cnf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:31,543 In file included from src/watcharray.h:28, 2021-07-12T14:12:31,544 from src/cnf.h:35, 2021-07-12T14:12:31,544 from src/cnf.cpp:23: 2021-07-12T14:12:31,544 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:31,544 src/watcharray.h:146:31: required from here 2021-07-12T14:12:31,544 src/Vec.h:227: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-12T14:12:31,544 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:31,545 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:31,545 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:31,545 40 | class vec { 2021-07-12T14:12:31,545 | ^~~ 2021-07-12T14:12:31,680 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:31,680 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:31,680 src/watcharray.h:90:36: required from here 2021-07-12T14:12:31,680 src/Vec.h:246: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-12T14:12:31,680 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:31,681 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:31,681 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:31,681 40 | class vec { 2021-07-12T14:12:31,681 | ^~~ 2021-07-12T14:12:34,456 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/compfinder.cpp -o build/temp.linux-armv7l-3.9/src/compfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:36,904 In file included from src/heap.h:24, 2021-07-12T14:12:36,904 from src/propengine.h:39, 2021-07-12T14:12:36,904 from src/solver.h:36, 2021-07-12T14:12:36,904 from src/compfinder.cpp:30: 2021-07-12T14:12:36,905 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:36,905 src/watcharray.h:146:31: required from here 2021-07-12T14:12:36,905 src/Vec.h:227: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-12T14:12:36,905 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:36,905 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:36,905 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:36,906 40 | class vec { 2021-07-12T14:12:36,906 | ^~~ 2021-07-12T14:12:37,014 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:37,014 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:37,014 src/watcharray.h:90:36: required from here 2021-07-12T14:12:37,014 src/Vec.h:246: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-12T14:12:37,014 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:37,015 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:37,015 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:37,015 40 | class vec { 2021-07-12T14:12:37,015 | ^~~ 2021-07-12T14:12:38,409 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/comphandler.cpp -o build/temp.linux-armv7l-3.9/src/comphandler.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:40,906 In file included from src/watcharray.h:28, 2021-07-12T14:12:40,906 from src/varreplacer.h:33, 2021-07-12T14:12:40,907 from src/comphandler.cpp:25: 2021-07-12T14:12:40,907 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:40,907 src/watcharray.h:146:31: required from here 2021-07-12T14:12:40,907 src/Vec.h:227: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-12T14:12:40,907 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:40,907 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:40,908 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:40,908 40 | class vec { 2021-07-12T14:12:40,908 | ^~~ 2021-07-12T14:12:41,016 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:41,016 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:41,016 src/watcharray.h:90:36: required from here 2021-07-12T14:12:41,017 src/Vec.h:246: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-12T14:12:41,017 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:41,017 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:41,017 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:41,017 40 | class vec { 2021-07-12T14:12:41,017 | ^~~ 2021-07-12T14:12:43,350 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/completedetachreattacher.cpp -o build/temp.linux-armv7l-3.9/src/completedetachreattacher.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:45,746 In file included from src/watcharray.h:28, 2021-07-12T14:12:45,746 from src/completedetachreattacher.h:28, 2021-07-12T14:12:45,746 from src/completedetachreattacher.cpp:23: 2021-07-12T14:12:45,746 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:45,747 src/watcharray.h:146:31: required from here 2021-07-12T14:12:45,747 src/Vec.h:227: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-12T14:12:45,747 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:45,747 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:45,747 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:45,747 40 | class vec { 2021-07-12T14:12:45,747 | ^~~ 2021-07-12T14:12:45,835 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:45,835 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:45,836 src/watcharray.h:90:36: required from here 2021-07-12T14:12:45,836 src/Vec.h:246: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-12T14:12:45,836 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:45,836 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:45,836 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:45,836 40 | class vec { 2021-07-12T14:12:45,836 | ^~~ 2021-07-12T14:12:46,741 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cryptominisat.cpp -o build/temp.linux-armv7l-3.9/src/cryptominisat.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:49,460 In file included from src/heap.h:24, 2021-07-12T14:12:49,460 from src/propengine.h:39, 2021-07-12T14:12:49,460 from src/solver.h:36, 2021-07-12T14:12:49,460 from src/cryptominisat.cpp:25: 2021-07-12T14:12:49,460 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:49,461 src/watcharray.h:146:31: required from here 2021-07-12T14:12:49,461 src/Vec.h:227: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-12T14:12:49,461 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:49,461 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:49,461 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:49,461 40 | class vec { 2021-07-12T14:12:49,462 | ^~~ 2021-07-12T14:12:49,578 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:49,579 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:49,579 src/watcharray.h:90:36: required from here 2021-07-12T14:12:49,579 src/Vec.h:246: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-12T14:12:49,579 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:49,579 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:49,579 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:49,579 40 | class vec { 2021-07-12T14:12:49,580 | ^~~ 2021-07-12T14:12:50,082 In file included from src/solvertypes.h:38, 2021-07-12T14:12:50,082 from src/solver.h:34, 2021-07-12T14:12:50,082 from src/cryptominisat.cpp:25: 2021-07-12T14:12:50,082 src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: 2021-07-12T14:12:50,083 src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type] 2021-07-12T14:12:50,083 53 | } 2021-07-12T14:12:50,083 | ^ 2021-07-12T14:12:51,461 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cryptominisat_c.cpp -o build/temp.linux-armv7l-3.9/src/cryptominisat_c.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:52,911 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/datasync.cpp -o build/temp.linux-armv7l-3.9/src/datasync.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:55,446 In file included from src/watcharray.h:28, 2021-07-12T14:12:55,447 from src/datasync.h:25, 2021-07-12T14:12:55,447 from src/datasync.cpp:23: 2021-07-12T14:12:55,447 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:55,447 src/watcharray.h:146:31: required from here 2021-07-12T14:12:55,447 src/Vec.h:227: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-12T14:12:55,447 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:55,447 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:55,448 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:55,448 40 | class vec { 2021-07-12T14:12:55,448 | ^~~ 2021-07-12T14:12:55,542 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:55,542 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:55,542 src/watcharray.h:90:36: required from here 2021-07-12T14:12:55,542 src/Vec.h:246: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-12T14:12:55,543 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:55,543 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:55,543 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:55,543 40 | class vec { 2021-07-12T14:12:55,543 | ^~~ 2021-07-12T14:12:57,037 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/distillerallwithall.cpp -o build/temp.linux-armv7l-3.9/src/distillerallwithall.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:12:59,419 In file included from src/watcharray.h:28, 2021-07-12T14:12:59,419 from src/distillerallwithall.h:31, 2021-07-12T14:12:59,419 from src/distillerallwithall.cpp:23: 2021-07-12T14:12:59,420 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:12:59,420 src/watcharray.h:146:31: required from here 2021-07-12T14:12:59,420 src/Vec.h:227: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-12T14:12:59,420 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:12:59,420 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:59,420 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:59,421 40 | class vec { 2021-07-12T14:12:59,421 | ^~~ 2021-07-12T14:12:59,505 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:12:59,505 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:12:59,506 src/watcharray.h:90:36: required from here 2021-07-12T14:12:59,506 src/Vec.h:246: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-12T14:12:59,506 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:12:59,506 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:12:59,506 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:12:59,506 40 | class vec { 2021-07-12T14:12:59,507 | ^~~ 2021-07-12T14:13:00,730 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/distillerlongwithimpl.cpp -o build/temp.linux-armv7l-3.9/src/distillerlongwithimpl.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:03,171 In file included from src/watcharray.h:28, 2021-07-12T14:13:03,171 from src/distillerlongwithimpl.h:31, 2021-07-12T14:13:03,172 from src/distillerlongwithimpl.cpp:23: 2021-07-12T14:13:03,172 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:03,172 src/watcharray.h:146:31: required from here 2021-07-12T14:13:03,172 src/Vec.h:227: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-12T14:13:03,172 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:03,172 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:03,172 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:03,173 40 | class vec { 2021-07-12T14:13:03,173 | ^~~ 2021-07-12T14:13:03,254 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:03,254 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:03,254 src/watcharray.h:90:36: required from here 2021-07-12T14:13:03,254 src/Vec.h:246: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-12T14:13:03,255 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:03,255 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:03,255 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:03,255 40 | class vec { 2021-07-12T14:13:03,255 | ^~~ 2021-07-12T14:13:04,463 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/features_calc.cpp -o build/temp.linux-armv7l-3.9/src/features_calc.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:06,857 In file included from src/heap.h:24, 2021-07-12T14:13:06,858 from src/propengine.h:39, 2021-07-12T14:13:06,858 from src/solver.h:36, 2021-07-12T14:13:06,858 from src/features_calc.cpp:26: 2021-07-12T14:13:06,858 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:06,858 src/watcharray.h:146:31: required from here 2021-07-12T14:13:06,858 src/Vec.h:227: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-12T14:13:06,858 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:06,859 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:06,859 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:06,859 40 | class vec { 2021-07-12T14:13:06,859 | ^~~ 2021-07-12T14:13:06,957 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:06,957 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:06,957 src/watcharray.h:90:36: required from here 2021-07-12T14:13:06,957 src/Vec.h:246: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-12T14:13:06,958 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:06,958 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:06,958 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:06,958 40 | class vec { 2021-07-12T14:13:06,958 | ^~~ 2021-07-12T14:13:07,806 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/features_to_reconf.cpp -o build/temp.linux-armv7l-3.9/src/features_to_reconf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:08,795 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/hyperengine.cpp -o build/temp.linux-armv7l-3.9/src/hyperengine.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:11,020 In file included from src/watcharray.h:28, 2021-07-12T14:13:11,021 from src/cnf.h:35, 2021-07-12T14:13:11,021 from src/hyperengine.h:23, 2021-07-12T14:13:11,021 from src/hyperengine.cpp:23: 2021-07-12T14:13:11,021 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:11,021 src/watcharray.h:146:31: required from here 2021-07-12T14:13:11,021 src/Vec.h:227: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-12T14:13:11,022 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:11,022 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:11,022 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:11,022 40 | class vec { 2021-07-12T14:13:11,022 | ^~~ 2021-07-12T14:13:11,146 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:11,147 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:11,147 src/watcharray.h:90:36: required from here 2021-07-12T14:13:11,147 src/Vec.h:246: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-12T14:13:11,147 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:11,147 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:11,147 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:11,148 40 | class vec { 2021-07-12T14:13:11,148 | ^~~ 2021-07-12T14:13:12,493 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/implcache.cpp -o build/temp.linux-armv7l-3.9/src/implcache.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:14,981 In file included from src/heap.h:24, 2021-07-12T14:13:14,981 from src/propengine.h:39, 2021-07-12T14:13:14,981 from src/solver.h:36, 2021-07-12T14:13:14,982 from src/implcache.cpp:28: 2021-07-12T14:13:14,982 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:14,982 src/watcharray.h:146:31: required from here 2021-07-12T14:13:14,982 src/Vec.h:227: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-12T14:13:14,982 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:14,982 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:14,983 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:14,983 40 | class vec { 2021-07-12T14:13:14,983 | ^~~ 2021-07-12T14:13:15,092 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:15,093 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:15,093 src/watcharray.h:90:36: required from here 2021-07-12T14:13:15,093 src/Vec.h:246: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-12T14:13:15,093 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:15,093 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:15,093 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:15,093 40 | class vec { 2021-07-12T14:13:15,094 | ^~~ 2021-07-12T14:13:16,506 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/intree.cpp -o build/temp.linux-armv7l-3.9/src/intree.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:19,219 In file included from src/heap.h:24, 2021-07-12T14:13:19,219 from src/propengine.h:39, 2021-07-12T14:13:19,219 from src/solver.h:36, 2021-07-12T14:13:19,219 from src/intree.cpp:24: 2021-07-12T14:13:19,220 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:19,220 src/watcharray.h:146:31: required from here 2021-07-12T14:13:19,220 src/Vec.h:227: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-12T14:13:19,220 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:19,220 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:19,220 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:19,221 40 | class vec { 2021-07-12T14:13:19,221 | ^~~ 2021-07-12T14:13:19,343 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:19,343 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:19,343 src/watcharray.h:90:36: required from here 2021-07-12T14:13:19,344 src/Vec.h:246: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-12T14:13:19,344 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:19,344 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:19,344 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:19,344 40 | class vec { 2021-07-12T14:13:19,344 | ^~~ 2021-07-12T14:13:20,761 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/occsimplifier.cpp -o build/temp.linux-armv7l-3.9/src/occsimplifier.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:23,669 In file included from src/heap.h:24, 2021-07-12T14:13:23,669 from src/occsimplifier.h:38, 2021-07-12T14:13:23,669 from src/occsimplifier.cpp:39: 2021-07-12T14:13:23,669 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:23,669 src/watcharray.h:146:31: required from here 2021-07-12T14:13:23,670 src/Vec.h:227: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-12T14:13:23,670 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:23,670 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:23,670 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:23,670 40 | class vec { 2021-07-12T14:13:23,670 | ^~~ 2021-07-12T14:13:23,832 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:23,832 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:23,832 src/watcharray.h:90:36: required from here 2021-07-12T14:13:23,832 src/Vec.h:246: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-12T14:13:23,832 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:23,832 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:23,833 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:23,833 40 | class vec { 2021-07-12T14:13:23,833 | ^~~ 2021-07-12T14:13:28,102 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/prober.cpp -o build/temp.linux-armv7l-3.9/src/prober.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:30,570 In file included from src/heap.h:24, 2021-07-12T14:13:30,570 from src/propengine.h:39, 2021-07-12T14:13:30,570 from src/solver.h:36, 2021-07-12T14:13:30,570 from src/prober.cpp:32: 2021-07-12T14:13:30,571 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:30,571 src/watcharray.h:146:31: required from here 2021-07-12T14:13:30,571 src/Vec.h:227: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-12T14:13:30,571 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:30,571 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:30,571 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:30,572 40 | class vec { 2021-07-12T14:13:30,572 | ^~~ 2021-07-12T14:13:30,672 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:30,673 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:30,673 src/watcharray.h:90:36: required from here 2021-07-12T14:13:30,673 src/Vec.h:246: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-12T14:13:30,673 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:30,673 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:30,673 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:30,674 40 | class vec { 2021-07-12T14:13:30,674 | ^~~ 2021-07-12T14:13:32,483 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/propengine.cpp -o build/temp.linux-armv7l-3.9/src/propengine.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:34,892 In file included from src/heap.h:24, 2021-07-12T14:13:34,893 from src/propengine.h:39, 2021-07-12T14:13:34,893 from src/propengine.cpp:23: 2021-07-12T14:13:34,893 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:34,893 src/watcharray.h:146:31: required from here 2021-07-12T14:13:34,893 src/Vec.h:227: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-12T14:13:34,893 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:34,894 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:34,894 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:34,894 40 | class vec { 2021-07-12T14:13:34,894 | ^~~ 2021-07-12T14:13:35,000 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:35,001 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:35,001 src/watcharray.h:90:36: required from here 2021-07-12T14:13:35,001 src/Vec.h:246: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-12T14:13:35,001 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:35,001 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:35,001 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:35,002 40 | class vec { 2021-07-12T14:13:35,002 | ^~~ 2021-07-12T14:13:36,710 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/pycryptosat.cpp -o build/temp.linux-armv7l-3.9/src/pycryptosat.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:38,032 src/pycryptosat.cpp: In function ‘int parse_clause(Solver*, PyObject*, std::vector&)’: 2021-07-12T14:13:38,032 src/pycryptosat.cpp:173:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-12T14:13:38,033 173 | if (var >= self->cmsat->nVars()) { 2021-07-12T14:13:38,033 | ~~~~^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:38,034 src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector&)’: 2021-07-12T14:13:38,034 src/pycryptosat.cpp:216:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-12T14:13:38,034 216 | if (var >= self->cmsat->nVars()) { 2021-07-12T14:13:38,034 | ~~~~^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:38,068 src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)’: 2021-07-12T14:13:38,069 src/pycryptosat.cpp:457:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-12T14:13:38,069 457 | if (var >= cmsat->nVars()) { 2021-07-12T14:13:38,069 | ~~~~^~~~~~~~~~~~~~~~~ 2021-07-12T14:13:38,720 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/reducedb.cpp -o build/temp.linux-armv7l-3.9/src/reducedb.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:41,138 In file included from src/heap.h:24, 2021-07-12T14:13:41,139 from src/propengine.h:39, 2021-07-12T14:13:41,139 from src/solver.h:36, 2021-07-12T14:13:41,139 from src/reducedb.cpp:24: 2021-07-12T14:13:41,139 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:41,139 src/watcharray.h:146:31: required from here 2021-07-12T14:13:41,139 src/Vec.h:227: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-12T14:13:41,139 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:41,140 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:41,140 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:41,140 40 | class vec { 2021-07-12T14:13:41,140 | ^~~ 2021-07-12T14:13:41,236 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:41,237 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:41,237 src/watcharray.h:90:36: required from here 2021-07-12T14:13:41,237 src/Vec.h:246: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-12T14:13:41,237 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:41,237 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:41,237 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:41,238 40 | class vec { 2021-07-12T14:13:41,238 | ^~~ 2021-07-12T14:13:42,395 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/sccfinder.cpp -o build/temp.linux-armv7l-3.9/src/sccfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:44,822 In file included from src/watcharray.h:28, 2021-07-12T14:13:44,822 from src/varreplacer.h:33, 2021-07-12T14:13:44,822 from src/sccfinder.cpp:29: 2021-07-12T14:13:44,822 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:44,822 src/watcharray.h:146:31: required from here 2021-07-12T14:13:44,822 src/Vec.h:227: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-12T14:13:44,822 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:44,823 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:44,823 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:44,823 40 | class vec { 2021-07-12T14:13:44,823 | ^~~ 2021-07-12T14:13:44,931 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:44,932 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:44,932 src/watcharray.h:90:36: required from here 2021-07-12T14:13:44,932 src/Vec.h:246: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-12T14:13:44,932 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:44,932 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:44,932 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:44,932 40 | class vec { 2021-07-12T14:13:44,933 | ^~~ 2021-07-12T14:13:46,194 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/searcher.cpp -o build/temp.linux-armv7l-3.9/src/searcher.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:49,164 In file included from src/heap.h:24, 2021-07-12T14:13:49,164 from src/propengine.h:39, 2021-07-12T14:13:49,164 from src/searcher.h:28, 2021-07-12T14:13:49,165 from src/searcher.cpp:23: 2021-07-12T14:13:49,165 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:49,165 src/watcharray.h:146:31: required from here 2021-07-12T14:13:49,165 src/Vec.h:227: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-12T14:13:49,165 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:49,165 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:49,166 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:49,166 40 | class vec { 2021-07-12T14:13:49,166 | ^~~ 2021-07-12T14:13:49,342 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:49,342 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:49,342 src/watcharray.h:90:36: required from here 2021-07-12T14:13:49,342 src/Vec.h:246: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-12T14:13:49,343 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:49,343 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:49,343 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:49,343 40 | class vec { 2021-07-12T14:13:49,343 | ^~~ 2021-07-12T14:13:53,270 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/searchstats.cpp -o build/temp.linux-armv7l-3.9/src/searchstats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:55,362 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solutionextender.cpp -o build/temp.linux-armv7l-3.9/src/solutionextender.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:13:57,860 In file included from src/watcharray.h:28, 2021-07-12T14:13:57,860 from src/solutionextender.h:28, 2021-07-12T14:13:57,860 from src/solutionextender.cpp:23: 2021-07-12T14:13:57,861 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:13:57,861 src/watcharray.h:146:31: required from here 2021-07-12T14:13:57,861 src/Vec.h:227: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-12T14:13:57,861 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:13:57,861 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:57,861 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:57,862 40 | class vec { 2021-07-12T14:13:57,862 | ^~~ 2021-07-12T14:13:57,952 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:13:57,952 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:13:57,953 src/watcharray.h:90:36: required from here 2021-07-12T14:13:57,953 src/Vec.h:246: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-12T14:13:57,953 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:13:57,953 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:13:57,953 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:13:57,953 40 | class vec { 2021-07-12T14:13:57,954 | ^~~ 2021-07-12T14:13:58,961 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solvefeatures.cpp -o build/temp.linux-armv7l-3.9/src/solvefeatures.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:00,100 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solver.cpp -o build/temp.linux-armv7l-3.9/src/solver.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:03,501 In file included from src/heap.h:24, 2021-07-12T14:14:03,501 from src/propengine.h:39, 2021-07-12T14:14:03,501 from src/solver.h:36, 2021-07-12T14:14:03,501 from src/solver.cpp:23: 2021-07-12T14:14:03,501 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:14:03,501 src/watcharray.h:146:31: required from here 2021-07-12T14:14:03,502 src/Vec.h:227: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-12T14:14:03,502 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:14:03,502 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:03,502 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:03,502 40 | class vec { 2021-07-12T14:14:03,502 | ^~~ 2021-07-12T14:14:03,725 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:14:03,725 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:14:03,726 src/watcharray.h:90:36: required from here 2021-07-12T14:14:03,726 src/Vec.h:246: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-12T14:14:03,726 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:14:03,726 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:03,726 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:03,726 40 | class vec { 2021-07-12T14:14:03,727 | ^~~ 2021-07-12T14:14:04,634 In file included from src/solvertypes.h:38, 2021-07-12T14:14:04,634 from src/solver.h:34, 2021-07-12T14:14:04,634 from src/solver.cpp:23: 2021-07-12T14:14:04,634 src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: 2021-07-12T14:14:04,634 src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type] 2021-07-12T14:14:04,635 53 | } 2021-07-12T14:14:04,635 | ^ 2021-07-12T14:14:08,710 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solverconf.cpp -o build/temp.linux-armv7l-3.9/src/solverconf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:09,974 In file included from src/solverconf.cpp:24: 2021-07-12T14:14:09,974 src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: 2021-07-12T14:14:09,974 src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type] 2021-07-12T14:14:09,975 53 | } 2021-07-12T14:14:09,975 | ^ 2021-07-12T14:14:10,264 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/sqlstats.cpp -o build/temp.linux-armv7l-3.9/src/sqlstats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:12,590 In file included from src/heap.h:24, 2021-07-12T14:14:12,590 from src/propengine.h:39, 2021-07-12T14:14:12,590 from src/searcher.h:28, 2021-07-12T14:14:12,590 from src/sqlstats.h:26, 2021-07-12T14:14:12,591 from src/sqlstats.cpp:23: 2021-07-12T14:14:12,591 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:14:12,591 src/watcharray.h:146:31: required from here 2021-07-12T14:14:12,591 src/Vec.h:227: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-12T14:14:12,591 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:14:12,591 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:12,591 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:12,592 40 | class vec { 2021-07-12T14:14:12,592 | ^~~ 2021-07-12T14:14:12,682 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:14:12,682 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:14:12,682 src/watcharray.h:90:36: required from here 2021-07-12T14:14:12,683 src/Vec.h:246: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-12T14:14:12,683 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:14:12,683 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:12,683 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:12,683 40 | class vec { 2021-07-12T14:14:12,683 | ^~~ 2021-07-12T14:14:13,205 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/stamp.cpp -o build/temp.linux-armv7l-3.9/src/stamp.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:15,628 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/str_impl_w_impl_stamp.cpp -o build/temp.linux-armv7l-3.9/src/str_impl_w_impl_stamp.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:17,984 In file included from src/watcharray.h:28, 2021-07-12T14:14:17,985 from src/str_impl_w_impl_stamp.h:31, 2021-07-12T14:14:17,985 from src/str_impl_w_impl_stamp.cpp:23: 2021-07-12T14:14:17,985 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:14:17,985 src/watcharray.h:146:31: required from here 2021-07-12T14:14:17,985 src/Vec.h:227: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-12T14:14:17,985 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:14:17,986 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:17,986 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:17,986 40 | class vec { 2021-07-12T14:14:17,986 | ^~~ 2021-07-12T14:14:18,074 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:14:18,075 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:14:18,075 src/watcharray.h:90:36: required from here 2021-07-12T14:14:18,075 src/Vec.h:246: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-12T14:14:18,075 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:14:18,075 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:18,076 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:18,076 40 | class vec { 2021-07-12T14:14:18,076 | ^~~ 2021-07-12T14:14:19,072 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/subsumeimplicit.cpp -o build/temp.linux-armv7l-3.9/src/subsumeimplicit.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:21,423 In file included from src/watcharray.h:28, 2021-07-12T14:14:21,423 from src/subsumeimplicit.h:31, 2021-07-12T14:14:21,424 from src/subsumeimplicit.cpp:23: 2021-07-12T14:14:21,424 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:14:21,424 src/watcharray.h:146:31: required from here 2021-07-12T14:14:21,424 src/Vec.h:227: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-12T14:14:21,424 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:14:21,424 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:21,424 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:21,425 40 | class vec { 2021-07-12T14:14:21,425 | ^~~ 2021-07-12T14:14:21,508 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:14:21,509 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:14:21,509 src/watcharray.h:90:36: required from here 2021-07-12T14:14:21,509 src/Vec.h:246: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-12T14:14:21,509 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:14:21,509 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:21,509 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:21,510 40 | class vec { 2021-07-12T14:14:21,510 | ^~~ 2021-07-12T14:14:22,420 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/subsumestrengthen.cpp -o build/temp.linux-armv7l-3.9/src/subsumestrengthen.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:24,962 In file included from src/heap.h:24, 2021-07-12T14:14:24,962 from src/occsimplifier.h:38, 2021-07-12T14:14:24,963 from src/subsumestrengthen.cpp:24: 2021-07-12T14:14:24,963 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:14:24,963 src/watcharray.h:146:31: required from here 2021-07-12T14:14:24,963 src/Vec.h:227: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-12T14:14:24,964 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:14:24,964 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:24,964 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:24,964 40 | class vec { 2021-07-12T14:14:24,965 | ^~~ 2021-07-12T14:14:25,083 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:14:25,083 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:14:25,084 src/watcharray.h:90:36: required from here 2021-07-12T14:14:25,084 src/Vec.h:246: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-12T14:14:25,084 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:14:25,084 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:25,084 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:25,084 40 | class vec { 2021-07-12T14:14:25,085 | ^~~ 2021-07-12T14:14:26,682 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/varreplacer.cpp -o build/temp.linux-armv7l-3.9/src/varreplacer.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:29,225 In file included from src/watcharray.h:28, 2021-07-12T14:14:29,226 from src/varreplacer.h:33, 2021-07-12T14:14:29,226 from src/varreplacer.cpp:23: 2021-07-12T14:14:29,226 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:14:29,226 src/watcharray.h:146:31: required from here 2021-07-12T14:14:29,226 src/Vec.h:227: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-12T14:14:29,227 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:14:29,227 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:29,227 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:29,227 40 | class vec { 2021-07-12T14:14:29,227 | ^~~ 2021-07-12T14:14:29,381 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:14:29,381 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:14:29,382 src/watcharray.h:90:36: required from here 2021-07-12T14:14:29,382 src/Vec.h:246: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-12T14:14:29,382 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:14:29,382 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:29,382 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:29,382 40 | class vec { 2021-07-12T14:14:29,382 | ^~~ 2021-07-12T14:14:31,993 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -fwrapv -Wall -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/xorfinder.cpp -o build/temp.linux-armv7l-3.9/src/xorfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -march=native -mtune=native -Ofast -DNDEBUG 2021-07-12T14:14:34,555 In file included from src/watcharray.h:28, 2021-07-12T14:14:34,555 from src/xorfinder.h:33, 2021-07-12T14:14:34,555 from src/xorfinder.cpp:23: 2021-07-12T14:14:34,555 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T14:14:34,556 src/watcharray.h:146:31: required from here 2021-07-12T14:14:34,556 src/Vec.h:227: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-12T14:14:34,556 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T14:14:34,556 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:34,556 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:34,556 40 | class vec { 2021-07-12T14:14:34,557 | ^~~ 2021-07-12T14:14:34,673 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T14:14:34,674 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T14:14:34,674 src/watcharray.h:90:36: required from here 2021-07-12T14:14:34,674 src/Vec.h:246: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-12T14:14:34,674 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T14:14:34,674 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T14:14:34,674 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T14:14:34,674 40 | class vec { 2021-07-12T14:14:34,675 | ^~~ 2021-07-12T14:14:36,808 creating build/lib.linux-armv7l-3.9 2021-07-12T14:14:36,809 arm-linux-gnueabihf-g++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -fwrapv -Wl,-z,relro -fwrapv -g -ffile-prefix-map=/python3.9-3.9.2=. -Wformat -Werror=format-security -Wdate-time build/temp.linux-armv7l-3.9/src/GitSHA1.o build/temp.linux-armv7l-3.9/src/bva.o build/temp.linux-armv7l-3.9/src/clauseallocator.o build/temp.linux-armv7l-3.9/src/clausecleaner.o build/temp.linux-armv7l-3.9/src/clausedumper.o build/temp.linux-armv7l-3.9/src/clauseusagestats.o build/temp.linux-armv7l-3.9/src/cnf.o build/temp.linux-armv7l-3.9/src/compfinder.o build/temp.linux-armv7l-3.9/src/comphandler.o build/temp.linux-armv7l-3.9/src/completedetachreattacher.o build/temp.linux-armv7l-3.9/src/cryptominisat.o build/temp.linux-armv7l-3.9/src/cryptominisat_c.o build/temp.linux-armv7l-3.9/src/datasync.o build/temp.linux-armv7l-3.9/src/distillerallwithall.o build/temp.linux-armv7l-3.9/src/distillerlongwithimpl.o build/temp.linux-armv7l-3.9/src/features_calc.o build/temp.linux-armv7l-3.9/src/features_to_reconf.o build/temp.linux-armv7l-3.9/src/hyperengine.o build/temp.linux-armv7l-3.9/src/implcache.o build/temp.linux-armv7l-3.9/src/intree.o build/temp.linux-armv7l-3.9/src/occsimplifier.o build/temp.linux-armv7l-3.9/src/prober.o build/temp.linux-armv7l-3.9/src/propengine.o build/temp.linux-armv7l-3.9/src/pycryptosat.o build/temp.linux-armv7l-3.9/src/reducedb.o build/temp.linux-armv7l-3.9/src/sccfinder.o build/temp.linux-armv7l-3.9/src/searcher.o build/temp.linux-armv7l-3.9/src/searchstats.o build/temp.linux-armv7l-3.9/src/solutionextender.o build/temp.linux-armv7l-3.9/src/solvefeatures.o build/temp.linux-armv7l-3.9/src/solver.o build/temp.linux-armv7l-3.9/src/solverconf.o build/temp.linux-armv7l-3.9/src/sqlstats.o build/temp.linux-armv7l-3.9/src/stamp.o build/temp.linux-armv7l-3.9/src/str_impl_w_impl_stamp.o build/temp.linux-armv7l-3.9/src/subsumeimplicit.o build/temp.linux-armv7l-3.9/src/subsumestrengthen.o build/temp.linux-armv7l-3.9/src/varreplacer.o build/temp.linux-armv7l-3.9/src/xorfinder.o -o build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -Ofast -flto 2021-07-12T14:14:47,638 /tmp/ccnB8vEW.s: Assembler messages: 2021-07-12T14:14:47,639 /tmp/ccnB8vEW.s:56631: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:14:47,639 /tmp/ccnB8vEW.s:56656: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:14:47,639 /tmp/ccnB8vEW.s:56658: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:07,538 /tmp/ccgf6d1S.s: Assembler messages: 2021-07-12T14:15:07,538 /tmp/ccgf6d1S.s:51162: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:07,539 /tmp/ccgf6d1S.s:51189: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:07,539 /tmp/ccgf6d1S.s:51191: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,945 /tmp/cc0J34Vm.s: Assembler messages: 2021-07-12T14:15:18,945 /tmp/cc0J34Vm.s:20201: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,945 /tmp/cc0J34Vm.s:20224: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,945 /tmp/cc0J34Vm.s:20226: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,945 /tmp/cc0J34Vm.s:20255: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,946 /tmp/cc0J34Vm.s:20277: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,946 /tmp/cc0J34Vm.s:20279: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,946 /tmp/cc0J34Vm.s:20311: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,946 /tmp/cc0J34Vm.s:20333: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:18,946 /tmp/cc0J34Vm.s:20335: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:19,004 /tmp/cc0J34Vm.s:40454: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:19,004 /tmp/cc0J34Vm.s:40478: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:19,004 /tmp/cc0J34Vm.s:40480: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:19,018 /tmp/cc0J34Vm.s:45124: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:19,019 /tmp/cc0J34Vm.s:45146: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:19,019 /tmp/cc0J34Vm.s:45148: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:25,092 /tmp/cc28WMHI.s: Assembler messages: 2021-07-12T14:15:25,093 /tmp/cc28WMHI.s:46541: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:25,093 /tmp/cc28WMHI.s:46566: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:25,093 /tmp/cc28WMHI.s:46568: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:25,094 /tmp/cc28WMHI.s:47030: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:25,095 /tmp/cc28WMHI.s:47067: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:25,095 /tmp/cc28WMHI.s:47086: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:33,026 /tmp/ccq4eKzV.s: Assembler messages: 2021-07-12T14:15:33,026 /tmp/ccq4eKzV.s:22008: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:33,026 /tmp/ccq4eKzV.s:22031: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:33,026 /tmp/ccq4eKzV.s:22033: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:33,039 /tmp/ccq4eKzV.s:26153: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:33,039 /tmp/ccq4eKzV.s:26179: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:33,039 /tmp/ccq4eKzV.s:26181: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,958 /tmp/cc74QKER.s: Assembler messages: 2021-07-12T14:15:49,958 /tmp/cc74QKER.s:45219: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,958 /tmp/cc74QKER.s:45244: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,958 /tmp/cc74QKER.s:45246: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,966 /tmp/cc74QKER.s:47965: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,966 /tmp/cc74QKER.s:47989: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,966 /tmp/cc74QKER.s:47991: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,979 /tmp/cc74QKER.s:52795: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,980 /tmp/cc74QKER.s:52817: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,980 /tmp/cc74QKER.s:52819: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,981 /tmp/cc74QKER.s:53197: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,981 /tmp/cc74QKER.s:53221: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:49,981 /tmp/cc74QKER.s:53223: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:55,605 /tmp/cctm9xB5.s: Assembler messages: 2021-07-12T14:15:55,606 /tmp/cctm9xB5.s:35199: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:55,606 /tmp/cctm9xB5.s:35224: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:15:55,606 /tmp/cctm9xB5.s:35226: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:16:01,184 /tmp/ccAQTmXi.s: Assembler messages: 2021-07-12T14:16:01,184 /tmp/ccAQTmXi.s:33668: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:16:01,185 /tmp/ccAQTmXi.s:33695: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:16:01,185 /tmp/ccAQTmXi.s:33697: This coprocessor register access is deprecated in ARMv8 2021-07-12T14:16:10,590 installing to build/bdist.linux-armv7l/wheel 2021-07-12T14:16:10,591 running install 2021-07-12T14:16:10,592 running install_lib 2021-07-12T14:16:10,597 creating build/bdist.linux-armv7l 2021-07-12T14:16:10,598 creating build/bdist.linux-armv7l/wheel 2021-07-12T14:16:10,600 copying build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel 2021-07-12T14:16:10,840 running install_egg_info 2021-07-12T14:16:10,867 running egg_info 2021-07-12T14:16:10,868 creating pycryptosat.egg-info 2021-07-12T14:16:10,869 writing pycryptosat.egg-info/PKG-INFO 2021-07-12T14:16:10,872 writing dependency_links to pycryptosat.egg-info/dependency_links.txt 2021-07-12T14:16:10,875 writing top-level names to pycryptosat.egg-info/top_level.txt 2021-07-12T14:16:10,877 writing manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-12T14:16:10,887 reading manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-12T14:16:10,889 adding license file 'LICENSE' 2021-07-12T14:16:10,892 writing manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-12T14:16:10,893 Copying pycryptosat.egg-info to build/bdist.linux-armv7l/wheel/pycryptosat-0.1.2-py3.9.egg-info 2021-07-12T14:16:10,903 running install_scripts 2021-07-12T14:16:10,993 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-12T14:16:10,998 creating build/bdist.linux-armv7l/wheel/pycryptosat-0.1.2.dist-info/WHEEL 2021-07-12T14:16:11,001 creating '/tmp/pip-wheel-hv5_q815/pycryptosat-0.1.2-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-12T14:16:13,528 adding 'pycryptosat.cpython-39-arm-linux-gnueabihf.so' 2021-07-12T14:16:13,636 adding 'pycryptosat-0.1.2.dist-info/LICENSE' 2021-07-12T14:16:13,638 adding 'pycryptosat-0.1.2.dist-info/METADATA' 2021-07-12T14:16:13,639 adding 'pycryptosat-0.1.2.dist-info/WHEEL' 2021-07-12T14:16:13,641 adding 'pycryptosat-0.1.2.dist-info/top_level.txt' 2021-07-12T14:16:13,641 adding 'pycryptosat-0.1.2.dist-info/RECORD' 2021-07-12T14:16:13,722 removing build/bdist.linux-armv7l/wheel 2021-07-12T14:16:13,817 Building wheel for pycryptosat (setup.py): finished with status 'done' 2021-07-12T14:16:13,882 Created wheel for pycryptosat: filename=pycryptosat-0.1.2-cp39-cp39-linux_armv7l.whl size=5035139 sha256=8675816925786e1877f3940d0e2b9591d9c020a93d596fcb28ea1b57dda0e0cb 2021-07-12T14:16:13,882 Stored in directory: /tmp/pip-ephem-wheel-cache-s9ckv6hw/wheels/94/25/ac/1be9b37406672083f169b349493938a9d4931ee5c731ce8073 2021-07-12T14:16:13,894 Successfully built pycryptosat 2021-07-12T14:16:14,068 Removed build tracker: '/tmp/pip-req-tracker-l_q5z8o6'