Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Failed build using supplied Docker #77

Open
8BitIQ opened this issue Mar 11, 2024 · 6 comments
Open

Failed build using supplied Docker #77

8BitIQ opened this issue Mar 11, 2024 · 6 comments

Comments

@8BitIQ
Copy link

8BitIQ commented Mar 11, 2024

While using the supplied instructions to build the docker image, the process fails. There seems to be some checksum error with loading com_grail_bazel_toolchain

Error message log data is below:

[6/7] RUN bazel build @llvm_toolchain//:all:
3.270 2024/03/11 00:54:40 Downloading https://releases.bazel.build/5.4.1/release/bazel-5.4.1-linux-x86_64...
6.849 Extracting Bazel installation...
130.8 Starting local Bazel server and connecting to it...
134.2 Loading:
134.3 Loading: 0 packages loaded
135.3 Loading: 0 packages loaded"/bin/sh -c bazel build @llvm_toolchain//:all" did not complete successfully: exit code:136.3 Loading: 0 packages loaded
137.3 Loading: 0 packages loaded
137.4 INFO: Repository com_grail_bazel_toolchain instantiated at:-encryption-main>docker run --rm -i -t google-fhe-trans137.4 /usr/src/fhe/WORKSPACE:94:13: in
137.4 Repository rule http_archive defined at:test' locally
137.4 /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/bazel_tools/tools/build_defs/repo/http.bzl:355:31: in : requested access to the resource is denied.
137.5 WARNING: Download from https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip failed: class com.google.devtools.build.lib.bazel.repository.downloader.UnrecoverableHttpException Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4:default
137.5 ERROR: An error occurred during the fetch of repository 'com_grail_bazel_toolchain': 0.8s
137.5 Traceback (most recent call last): 0.0s
137.5 ntFile "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/bazel_tools/tools/build_defs/repo/http.bzl", line 125, column 45, in _http_archive_implcker.io 0.0s
137.5 nternal] ldownload_info = ctx.download_and_extract( 0.8s
137.5 Error in download_and_extract: java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/com_grail_bazel_toolchain/temp15147802889498845463/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4 0.1s
137.5 ERROR: /usr/src/fhe/WORKSPACE:94:13: fetching http_archive rule //external:com_grail_bazel_toolchain: Traceback (most recent call last):get -O bazel "https://github.com/bazelbuild/bazelisk/releases/download/v1.12.0/bazelisk-lin 0.0s
137.5 CHFile "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/bazel_tools/tools/build_defs/repo/http.bzl", line 125, column 45, in _http_archive_impl 0.0s
137.5 /7] RUN badownload_info = ctx.download_and_extract( 116.7s
137.5 Error in download_and_extract: java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/com_grail_bazel_toolchain/temp15147802889498845463/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
137.5 ERROR: no such package '@com_grail_bazel_toolchain//toolchain': java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/com_grail_bazel_toolchain/temp15147802889498845463/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
137.6 INFO: Elapsed time: 130.645s
137.6 INFO: 0 processes.
137.6 FAILED: Build did NOT complete successfully (0 packages loaded)
137.6 FAILED: Build did NOT complete successfully (0 packages loaded)


debian-bullseye.Dockerfile:51

49 | # it's necessary for some reason, this will allow docker to cache the resulting
50 | # image and build failures unrelated to LLVM will not incur a rebuild of LLVM.
51 | >>> RUN bazel build @llvm_toolchain//:all
52 |
53 | # Build all targets.

ERROR: failed to solve: process "/bin/sh -c bazel build @llvm_toolchain//:all" did not complete successfully: exit code: 1

@j2kun
Copy link
Collaborator

j2kun commented Mar 12, 2024

I think I know why this is happening: bazelisk downloads a dynamically chosen bazel binary when run, and they recently pushed a new version of bazel by default. I don't know why we're doing a checksum in the dockerfile, and you could just delete that checksum as a temporary workaround.

@8BitIQ
Copy link
Author

8BitIQ commented Mar 12, 2024

I tried the alternative version to download the code and build from scratch and manually updated the WORKSPACE file to point to the hash identified in the error. Ran again and had to update the remaining fields for strip_prefix and url based on new errors. It made it further in the build process but then could not find required functions when executing the demo code. I'm not overly familiar with Bazel /Bazalisk so I may have done something wrong. If there is a way we can update the code so it points to the correct dependencies versus the latest versions and make the build stable that would be greatly appreciated.

@8BitIQ
Copy link
Author

8BitIQ commented Mar 14, 2024

To follow up with my efforts. I attempted to modify the WORKSPACE file on an Ubuntu VM before running the command:
bazel run //transpiler/examples/hangman:hangman_client

The first edit I did was to remove the reference to the SHA256 hash for com_grail_bazel_toolchain.
This resulted in an new set of errors:

bazel run //transpiler/examples/hangman:hangman_client
INFO: Repository com_grail_bazel_toolchain instantiated at:
/home/ubuntu/Documents/fully-homomorphic-encryption/WORKSPACE:94:13: in
Repository rule http_archive defined at:
/home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/bazel_tools/tools/build_defs/repo/http.bzl:355:31: in
ERROR: An error occurred during the fetch of repository 'com_grail_bazel_toolchain':
Traceback (most recent call last):
File "/home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/bazel_tools/tools/build_defs/repo/http.bzl", line 125, column 45, in _http_archive_impl
download_info = ctx.download_and_extract(
Error in download_and_extract: java.io.IOException: Error extracting /home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/com_grail_bazel_toolchain/temp15112593718089429024/0.8.zip to /home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/com_grail_bazel_toolchain/temp15112593718089429024: Prefix "bazel-toolchain-0.8" was given, but not found in the archive. Here are possible prefixes for this archive: "toolchains_llvm-0.8".
ERROR: /home/ubuntu/Documents/fully-homomorphic-encryption/WORKSPACE:94:13: fetching http_archive rule //external:com_grail_bazel_toolchain: Traceback (most recent call last):
File "/home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/bazel_tools/tools/build_defs/repo/http.bzl", line 125, column 45, in _http_archive_impl
download_info = ctx.download_and_extract(
Error in download_and_extract: java.io.IOException: Error extracting /home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/com_grail_bazel_toolchain/temp15112593718089429024/0.8.zip to /home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/com_grail_bazel_toolchain/temp15112593718089429024: Prefix "bazel-toolchain-0.8" was given, but not found in the archive. Here are possible prefixes for this archive: "toolchains_llvm-0.8".
ERROR: no such package '@com_grail_bazel_toolchain//toolchain': java.io.IOException: Error extracting /home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/com_grail_bazel_toolchain/temp15112593718089429024/0.8.zip to /home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/com_grail_bazel_toolchain/temp15112593718089429024: Prefix "bazel-toolchain-0.8" was given, but not found in the archive. Here are possible prefixes for this archive: "toolchains_llvm-0.8".
INFO: Elapsed time: 2.223s
INFO: 0 processes.
FAILED: Build did NOT complete successfully (0 packages loaded)
FAILED: Build did NOT complete successfully (0 packages loaded)
Fetching ...lchain; Extracting /home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/com_grail_bazel_toolcha
in/temp15112593718089429024/0.8.zip


This seems to indicate that the WORKSPACE entry also has a bad reference to the source file has been renamed from "bazel-toolchain-0.8" to "toolchains_llvm-0.8".
I then removed the Prefix reference as well and below was the output:

ubuntu@ubun2004:/Documents/fully-homomorphic-encryption$ bazel run //transpiler/examples/hangman:hangman_client
DEBUG: Rule 'com_grail_bazel_toolchain' indicated that a canonical reproducible form can be obtained by modifying arguments sha256 = "2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8"
DEBUG: Repository com_grail_bazel_toolchain instantiated at:
/home/ubuntu/Documents/fully-homomorphic-encryption/WORKSPACE:94:13: in
Repository rule http_archive defined at:
/home/ubuntu/.cache/bazel/_bazel_ubuntu/6aefe7915c1e3a300d44cbe577773fa5/external/bazel_tools/tools/build_defs/repo/http.bzl:355:31: in
ERROR: error loading package '': Every .bzl file must have a corresponding package, but '@com_grail_bazel_toolchain//toolchain:deps.bzl' does not have one. Please create a BUILD file in the same or any parent directory. Note that this BUILD file does not need to do anything except exist.
INFO: Elapsed time: 3.754s
INFO: 0 processes.
FAILED: Build did NOT complete successfully (0 packages loaded)
FAILED: Build did NOT complete successfully (0 packages loaded)
ubuntu@ubun2004:
/Documents/fully-homomorphic-encryption$ ls
BUILD Cargo.Bazel.lock Cargo.lock CONTRIBUTING.md docker LICENSE patches README.md requirements.txt transpiler WORKSPACE


I then modified the WORKSPACE file again to set the prefix to "toolchains_llvm-0.8" and ran again. It spent about an hour building and then failed. However I think the failure was due to running out out space on a partition on the VM I was using. I'll have to try again with a bigger allocation. It Failed after 10GB was added to the /home directory. Not sure how big the entire system is to adjust the size.

@8BitIQ 8BitIQ closed this as completed Mar 14, 2024
@8BitIQ
Copy link
Author

8BitIQ commented Mar 14, 2024

Didn't mean to close with my last comment. The docker build still references the hard coded data and fails to build

@8BitIQ 8BitIQ reopened this Mar 14, 2024
@8BitIQ
Copy link
Author

8BitIQ commented Mar 16, 2024

Ok this is a bit of a long log. I tried to build on an EC2 Ubnuntu instance just to test if the process worked. After editing the WORKSPACE as described above, I tired to build one of the examples. After about 2 hours it failed.

Any idea why it failed?

The error from the below logs is extracted here followed by the full logs:


Generating IR...
ERROR: /root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/external/abc/BUILD.bazel:7:5: Foreign Cc - Make: Building abc failed: (Exit 2): bash failed: error executing command
(cd /root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption &&
exec env -
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin
/bin/bash -c bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/wrapper_build_script.sh)

Configuration: 625532f7154e1e5cbaf1a4b5258178981d880ae5b5931cdec360902c2ad0c853

Execution platform: @local_config_platform//:host

Use --sandbox_debug to see verbose messages from the sandbox and retain the sandbox build root for debugging
rules_foreign_cc: Build failed!
rules_foreign_cc: Keeping temp build directory and dependencies directory for debug.
rules_foreign_cc: Please note that the directories inside a sandbox are still cleaned unless you specify --sandbox_debug Bazel command line flag.
rules_foreign_cc: Printing build logs:


ubuntu@ip-172-31-6-221:/fully-homomorphic-encryption$ sudo bazel run --verbose_failures //transpiler/examples/fibonacci:fibonacci_rs_main
DEBUG: Rule 'com_grail_bazel_toolchain' indicated that a canonical reproducible form can be obtained by modifying arguments sha256 = "2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8"
DEBUG: Repository com_grail_bazel_toolchain instantiated at:
/home/ubuntu/fully-homomorphic-encryption/WORKSPACE:94:13: in
Repository rule http_archive defined at:
/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/external/bazel_tools/tools/build_defs/repo/http.bzl:355:31: in
DEBUG: /root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/external/com_grail_bazel_toolchain/toolchain/internal/llvm_distributions.bzl:283:14: LLVM archive URLs missing for host OS key 'ubuntu-20.04-x86_64'; checking fallback with key ''
DEBUG: Rule 'llvm_toolchain_llvm' indicated that a canonical reproducible form can be obtained by modifying arguments sha256 = {"": "61582215dafafb7b576ea30cc136be92c877ba1f1c31ddbbd372d6d65622fef5"}
DEBUG: Repository llvm_toolchain_llvm instantiated at:
/home/ubuntu/fully-homomorphic-encryption/WORKSPACE:109:15: in
/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/external/com_grail_bazel_toolchain/toolchain/rules.bzl:276:13: in llvm_toolchain
Repository rule llvm defined at:
/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/external/com_grail_bazel_toolchain/toolchain/rules.bzl:256:23: in
INFO: Analyzed target //transpiler/examples/fibonacci:fibonacci_rs_main (0 packages loaded, 0 targets configured).
INFO: Found 1 target...
INFO: From Compiling llvm/utils/TableGen/RegisterInfoEmitter.cpp [for host]:
In file included from external/llvm-project/llvm/utils/TableGen/RegisterInfoEmitter.cpp:16:
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h: In function '_ForwardIterator std::__lower_bound(_ForwardIterator, _ForwardIterator, const _Tp&, _Compare) [with _ForwardIterator = const llvm::CodeGenRegisterClass**; _Tp = const llvm::CodeGenRegisterClass*; _Compare = __gnu_cxx::__ops::_Iter_comp_val<{anonymous}::RegisterInfoEmitter::runTargetDesc(llvm::raw_ostream&, llvm::CodeGenTarget&, llvm::CodeGenRegBank&)::BaseClassOrdering>]':
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h: In function '_ForwardIterator std::__upper_bound(_ForwardIterator, _ForwardIterator, const _Tp&, _Compare) [with _ForwardIterator = const llvm::CodeGenRegisterClass**; _Tp = const llvm::CodeGenRegisterClass*; _Compare = __gnu_cxx::__ops::_Val_comp_iter<{anonymous}::RegisterInfoEmitter::runTargetDesc(llvm::raw_ostream&, llvm::CodeGenTarget&, llvm::CodeGenRegBank&)::BaseClassOrdering>]':
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h: In function '_OutputIterator std::__move_merge(_InputIterator, _InputIterator, _InputIterator, _InputIterator, _OutputIterator, _Compare) [with _InputIterator = const llvm::CodeGenRegisterClass**; _OutputIterator = const llvm::CodeGenRegisterClass**; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<{anonymous}::RegisterInfoEmitter::runTargetDesc(llvm::raw_ostream&, llvm::CodeGenTarget&, llvm::CodeGenRegBank&)::BaseClassOrdering>]':
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = const llvm::CodeGenRegisterClass**; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<{anonymous}::RegisterInfoEmitter::runTargetDesc(llvm::raw_ostream&, llvm::CodeGenTarget&, llvm::CodeGenRegBank&)::BaseClassOrdering>]':
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h: In function 'void std::__merge_without_buffer(_BidirectionalIterator, _BidirectionalIterator, _BidirectionalIterator, _Distance, _Distance, _Compare) [with _BidirectionalIterator = const llvm::CodeGenRegisterClass**; _Distance = long int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<{anonymous}::RegisterInfoEmitter::runTargetDesc(llvm::raw_ostream&, llvm::CodeGenTarget&, llvm::CodeGenRegBank&)::BaseClassOrdering>]':
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h: In function 'void std::__merge_adaptive(_BidirectionalIterator, _BidirectionalIterator, _BidirectionalIterator, _Distance, _Distance, _Pointer, _Distance, _Compare) [with _BidirectionalIterator = const llvm::CodeGenRegisterClass**; _Distance = long int; _Pointer = const llvm::CodeGenRegisterClass**; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<{anonymous}::RegisterInfoEmitter::runTargetDesc(llvm::raw_ostream&, llvm::CodeGenTarget&, llvm::CodeGenRegBank&)::BaseClassOrdering>]':
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
483 | return {};
| ^
INFO: From Compiling llvm/lib/Support/APFloat.cpp [for host]:
external/llvm-project/llvm/lib/Support/APFloat.cpp: In member function 'llvm::Expectedllvm::APFloatBase::opStatus llvm::detail::IEEEFloat::convertFromDecimalString(llvm::StringRef, llvm::APFloatBase::roundingMode)':
external/llvm-project/llvm/lib/Support/APFloat.cpp:3027:36: warning: 'D.llvm::decimalInfo::normalizedExponent' may be used uninitialized in this function [-Wmaybe-uninitialized]
3027 | (D.normalizedExponent + 1) * 28738 <=
| ~~~~~~~~~~~~~~~~~~~~~~^~~~
external/llvm-project/llvm/lib/Support/APFloat.cpp:3088:16: warning: 'D.llvm::decimalInfo::lastSigDigit' may be used uninitialized in this function [-Wmaybe-uninitialized]
3088 | } while (p <= D.lastSigDigit);
| ~~^~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Support/APFloat.cpp:3047:58: warning: 'D.llvm::decimalInfo::firstSigDigit' may be used uninitialized in this function [-Wmaybe-uninitialized]
3047 | partCount = static_cast(D.lastSigDigit - D.firstSigDigit) + 1;
| ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Support/APFloat.cpp:3091:38: warning: 'D.llvm::decimalInfo::exponent' may be used uninitialized in this function [-Wmaybe-uninitialized]
3091 | fs = roundSignificandWithExponent(decSignificand, partCount,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
3092 | D.exponent, rounding_mode);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Support/APFloat.cpp:
external/llvm-project/llvm/lib/Support/APFloat.cpp: In member function 'llvm::Expectedllvm::APFloatBase::opStatus llvm::detail::IEEEFloat::convertFromDecimalString(llvm::StringRef, llvm::APFloatBase::roundingMode)':
external/llvm-project/llvm/lib/Support/APFloat.cpp:3027:36: warning: 'D.llvm::decimalInfo::normalizedExponent' may be used uninitialized in this function [-Wmaybe-uninitialized]
3027 | (D.normalizedExponent + 1) * 28738 <=
| ~~~~~~~~~~~~~~~~~~~~~~^~~~
external/llvm-project/llvm/lib/Support/APFloat.cpp:3088:16: warning: 'D.llvm::decimalInfo::lastSigDigit' may be used uninitialized in this function [-Wmaybe-uninitialized]
3088 | } while (p <= D.lastSigDigit);
| ~~^~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Support/APFloat.cpp:3047:58: warning: 'D.llvm::decimalInfo::firstSigDigit' may be used uninitialized in this function [-Wmaybe-uninitialized]
3047 | partCount = static_cast(D.lastSigDigit - D.firstSigDigit) + 1;
| ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Support/APFloat.cpp:3091:38: warning: 'D.llvm::decimalInfo::exponent' may be used uninitialized in this function [-Wmaybe-uninitialized]
3091 | fs = roundSignificandWithExponent(decSignificand, partCount,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
3092 | D.exponent, rounding_mode);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Support/YAMLParser.cpp:
external/llvm-project/llvm/lib/Support/YAMLParser.cpp: In member function 'bool llvm::yaml::Scanner::findBlockScalarIndent(unsigned int&, unsigned int, unsigned int&, bool&)':
external/llvm-project/llvm/lib/Support/YAMLParser.cpp:267:5: warning: 'LongestAllSpaceLine' may be used uninitialized in this function [-Wmaybe-uninitialized]
267 | if (Position >= End)
| ^~
external/llvm-project/llvm/lib/Support/YAMLParser.cpp:1624:23: note: 'LongestAllSpaceLine' was declared here
1624 | StringRef::iterator LongestAllSpaceLine;
| ^~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Support/VirtualFileSystem.cpp:
external/llvm-project/llvm/lib/Support/VirtualFileSystem.cpp: In member function 'std::unique_ptrllvm::vfs::RedirectingFileSystem::Entry llvm::vfs::RedirectingFileSystemParser::parseEntry(llvm::yaml::Node*, llvm::vfs::RedirectingFileSystem*, bool)':
external/llvm-project/llvm/lib/Support/VirtualFileSystem.cpp:1961:5: warning: 'Kind' may be used uninitialized in this function [-Wmaybe-uninitialized]
1961 | switch (Kind) {
| ^~~~~~
INFO: From Compiling llvm/lib/Support/RISCVISAInfo.cpp:
external/llvm-project/llvm/lib/Support/RISCVISAInfo.cpp: In member function 'void llvm::RISCVISAInfo::updateMaxELen()':
external/llvm-project/llvm/lib/Support/RISCVISAInfo.cpp:1082:16: warning: 'ZveELen' may be used uninitialized in this function [-Wmaybe-uninitialized]
1082 | unsigned ZveELen;
| ^~~~~~~
INFO: From Compiling llvm/lib/MC/MachObjectWriter.cpp:
external/llvm-project/llvm/lib/MC/MachObjectWriter.cpp: In member function 'void llvm::MachObjectWriter::writeNlist(llvm::MachObjectWriter::MachSymbolData&, const llvm::MCAsmLayout&)':
external/llvm-project/llvm/lib/MC/MachObjectWriter.cpp:382:13: warning: 'AliaseeInfo' may be used uninitialized in this function [-Wmaybe-uninitialized]
382 | Address = AliaseeInfo->StringIndex;
| ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/MC/ELFObjectWriter.cpp:
external/llvm-project/llvm/lib/MC/ELFObjectWriter.cpp: In function 'uint64_t {anonymous}::ELFWriter::writeObject(llvm::MCAssembler&, const llvm::MCAsmLayout&)':
external/llvm-project/llvm/lib/MC/ELFObjectWriter.cpp:1168:19: warning: 'AddrsigSection' may be used uninitialized in this function [-Wmaybe-uninitialized]
1168 | MCSectionELF AddrsigSection;
| ^~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/MC/WasmObjectWriter.cpp:
external/llvm-project/llvm/lib/MC/WasmObjectWriter.cpp: In member function 'uint64_t {anonymous}::WasmObjectWriter::writeOneObject(llvm::MCAssembler&, const llvm::MCAsmLayout&, {anonymous}::WasmObjectWriter::DwoMode)':
external/llvm-project/llvm/lib/MC/WasmObjectWriter.cpp:1954:22: warning: 'DataSectionIndex' may be used uninitialized in this function [-Wmaybe-uninitialized]
1954 | writeRelocSection(DataSectionIndex, "DATA", DataRelocations);
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/MC/WasmObjectWriter.cpp:1953:22: warning: 'CodeSectionIndex' may be used uninitialized in this function [-Wmaybe-uninitialized]
1953 | writeRelocSection(CodeSectionIndex, "CODE", CodeRelocations);
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp:
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp: In member function 'llvm::Error llvm::BitcodeAnalyzer::decodeMetadataStringsBlob(llvm::StringRef, llvm::ArrayRef, llvm::StringRef, llvm::raw_ostream&)':
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp:544:26: warning: 'Size' may be used uninitialized in this function [-Wmaybe-uninitialized]
544 | if (Strings.size() < Size)
| ^~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp: In member function 'llvm::Error llvm::BitcodeAnalyzer::parseBlock(unsigned int, unsigned int, std::optionalllvm::BCDumpOptions, std::optionalllvm::StringRef)':
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp:516:53: warning: 'Code' may be used uninitialized in this function [-Wmaybe-uninitialized]
516 | return BlockID == bitc::METADATA_BLOCK_ID && Code == bitc::METADATA_STRINGS;
| ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp:848:14: note: 'Code' was declared here
848 | unsigned Code;
| ^~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp:803:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
803 | switch (Entry.Kind) {
| ^~~~~~
INFO: From Compiling llvm/lib/Bitcode/Reader/MetadataLoader.cpp:
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp: In member function 'llvm::Error llvm::MetadataLoader::MetadataLoaderImpl::parseMetadataStrings(llvm::ArrayRef, llvm::StringRef, llvm::function_ref<void(llvm::StringRef)>)':
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:2191:26: warning: 'Size' may be used uninitialized in this function [-Wmaybe-uninitialized]
2191 | if (Strings.size() < Size)
| ^~~~
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp: In member function 'llvm::Error llvm::MetadataLoader::MetadataLoaderImpl::parseMetadataKinds()':
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:2348:70: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
2348 | Expected MaybeCode = Stream.readRecord(Entry.ID, Record);
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:2334:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
2334 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp: In member function 'llvm::Expected llvm::MetadataLoader::MetadataLoaderImpl::lazyLoadModuleMetadataBlock()':
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:706:16: warning: 'Code' may be used uninitialized in this function [-Wmaybe-uninitialized]
706 | unsigned Code;
| ^~~~
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:785:56: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
785 | IndexCursor.readRecord(Entry.ID, Record)) {
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:695:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
695 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp: In member function 'void llvm::MetadataLoader::MetadataLoaderImpl::lazyLoadOneMetadata(unsigned int, {anonymous}::{anonymous}::PlaceholderQueue&)':
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:1088:57: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
1088 | IndexCursor.readRecord(Entry.ID, Record, &Blob)) {
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp: In member function 'llvm::Expected llvm::MetadataLoader::MetadataLoaderImpl::loadGlobalDeclAttachments()':
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:933:51: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
933 | TempCursor.readRecord(Entry.ID, Record))
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:903:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
903 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp: In member function 'llvm::Error llvm::MetadataLoader::MetadataLoaderImpl::parseMetadataAttachment(llvm::Function&, llvm::ArrayRefllvm::Instruction*)':
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:2246:72: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
2246 | Expected MaybeRecord = Stream.readRecord(Entry.ID, Record);
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:2231:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
2231 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp: In member function 'llvm::Error llvm::MetadataLoader::MetadataLoaderImpl::parseMetadata(bool)':
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:1047:54: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
1047 | Stream.readRecord(Entry.ID, Record, &Blob)) {
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp:1029:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
1029 | switch (Entry.Kind) {
| ^~~~~~
INFO: From Compiling llvm/lib/IR/LegacyPassManager.cpp:
external/llvm-project/llvm/lib/IR/LegacyPassManager.cpp: In member function 'bool llvm::legacy::PassManagerImpl::run(llvm::Module&)':
external/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1557:27: warning: 'InstrCount' may be used uninitialized in this function [-Wmaybe-uninitialized]
1557 | static_cast<int64_t>(InstrCount);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1521:12: note: 'InstrCount' was declared here
1521 | unsigned InstrCount;
| ^~~~~~~~~~
external/llvm-project/llvm/lib/IR/LegacyPassManager.cpp: In member function 'bool llvm::FPPassManager::runOnFunction(llvm::Function&)':
external/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1402:12: warning: 'InstrCount' may be used uninitialized in this function [-Wmaybe-uninitialized]
1402 | unsigned InstrCount, FunctionSize = 0;
| ^~~~~~~~~~
INFO: From Compiling llvm/lib/Bitcode/Reader/BitcodeReader.cpp:
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp: In function 'llvm::Expected<std::__cxx11::basic_string > readIdentificationBlock(llvm::BitstreamCursor&)':
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:206:73: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
206 | Expected MaybeBitCode = Stream.readRecord(Entry.ID, Record);
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:193:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
193 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp: In function 'llvm::Expected getEnableSplitLTOUnitFlag(llvm::BitstreamCursor&, unsigned int)':
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:8061:73: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
8061 | Expected MaybeBitCode = Stream.readRecord(Entry.ID, Record);
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:8046:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
8046 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp: In member function 'llvm::Expectedllvm::BitcodeLTOInfo llvm::BitcodeModule::getLTOInfo()':
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:8093:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
8093 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:8125:71: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
8125 | if (Expected StreamFailed = Stream.skipRecord(Entry.ID))
| ^
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp: In function 'llvm::Expected llvm::isBitcodeContainingObjCCategory(llvm::MemoryBufferRef)':
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:330:38: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
330 | if (Error E = Stream.skipRecord(Entry.ID).takeError())
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:310:20: note: 'Entry.llvm::BitstreamEntry::ID' was declared here
310 | BitstreamEntry Entry;
| ^~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:314:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
314 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:310:20: note: 'Entry' was declared here
310 | BitstreamEntry Entry;
| ^~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp: In function 'llvm::Expected<std::__cxx11::basic_string > llvm::getBitcodeProducerString(llvm::MemoryBufferRef)':
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:252:38: warning: 'Entry.llvm::BitstreamEntry::ID' may be used uninitialized in this function [-Wmaybe-uninitialized]
252 | if (Error E = Stream.skipRecord(Entry.ID).takeError())
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:234:20: note: 'Entry.llvm::BitstreamEntry::ID' was declared here
234 | BitstreamEntry Entry;
| ^~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:238:5: warning: 'Entry' may be used uninitialized in this function [-Wmaybe-uninitialized]
238 | switch (Entry.Kind) {
| ^~~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp:234:20: note: 'Entry' was declared here
234 | BitstreamEntry Entry;
| ^~~~~
INFO: From Compiling llvm/lib/IR/Instructions.cpp:
external/llvm-project/llvm/lib/IR/Instructions.cpp: In static member function 'static bool llvm::ShuffleVectorInst::isInterleaveMask(llvm::ArrayRef, unsigned int, unsigned int, llvm::SmallVectorImpl&)':
external/llvm-project/llvm/lib/IR/Instructions.cpp:2790:28: warning: 'SavedLaneValue' may be used uninitialized in this function [-Wmaybe-uninitialized]
2790 | SavedLaneValue + SavedNoUndefs != (unsigned)NextLaneValue)
| ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/IR/Core.cpp:
external/llvm-project/llvm/lib/IR/Core.cpp: In function 'LLVMOpaqueValue
LLVMGetInlineAsm(LLVMTypeRef, char*, size_t, char*, size_t, LLVMBool, LLVMBool, LLVMInlineAsmDialect, LLVMBool)':
external/llvm-project/llvm/lib/IR/Core.cpp:481:29: warning: 'AD' may be used uninitialized in this function [-Wmaybe-uninitialized]
481 | return wrap(InlineAsm::get(unwrap(Ty),
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
482 | StringRef(AsmString, AsmStringSize),
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
483 | StringRef(Constraints, ConstraintsSize),
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
484 | HasSideEffects, IsAlignStack, AD, CanThrow));
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/IR/Attributes.cpp:
external/llvm-project/llvm/lib/IR/Attributes.cpp: In function 'void adjustCallerStackProbeSize(llvm::Function&, const llvm::Function&)':
external/llvm-project/llvm/lib/IR/Attributes.cpp:2086:7: warning: 'CalleeStackProbeSize' may be used uninitialized in this function [-Wmaybe-uninitialized]
2086 | if (CallerStackProbeSize > CalleeStackProbeSize) {
| ^~
external/llvm-project/llvm/lib/IR/Attributes.cpp:2086:7: warning: 'CallerStackProbeSize' may be used uninitialized in this function [-Wmaybe-uninitialized]
external/llvm-project/llvm/lib/IR/Attributes.cpp: In function 'void adjustMinLegalVectorWidth(llvm::Function&, const llvm::Function&)':
external/llvm-project/llvm/lib/IR/Attributes.cpp:2113:7: warning: 'CalleeVectorWidth' may be used uninitialized in this function [-Wmaybe-uninitialized]
2113 | if (CallerVectorWidth < CalleeVectorWidth)
| ^

external/llvm-project/llvm/lib/IR/Attributes.cpp:2113:7: warning: 'CallerVectorWidth' may be used uninitialized in this function [-Wmaybe-uninitialized]
external/llvm-project/llvm/lib/IR/Attributes.cpp: In function 'void llvm::AttributeFuncs::updateMinLegalVectorWidthAttr(llvm::Function&, uint64_t)':
external/llvm-project/llvm/lib/IR/Attributes.cpp:2210:5: warning: 'OldWidth' may be used uninitialized in this function [-Wmaybe-uninitialized]
2210 | if (Width > OldWidth)
| ^~
INFO: From Compiling llvm/lib/IR/Verifier.cpp:
external/llvm-project/llvm/lib/IR/Verifier.cpp: In member function 'void {anonymous}::Verifier::visitMDNode(const llvm::MDNode&, {anonymous}::Verifier::AreDebugLocsAllowed)':
external/llvm-project/llvm/lib/IR/Verifier.cpp:621:5: warning: 'Size' may be used uninitialized in this function [-Wmaybe-uninitialized]
621 | if (!(C)) {
| ^~
external/llvm-project/llvm/lib/IR/Verifier.cpp:1288:12: note: 'Size' was declared here
1288 | size_t Size;
| ^~~~
INFO: From Compiling llvm/lib/DebugInfo/DWARF/DWARFUnit.cpp:
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFUnit.cpp: In member function 'void llvm::DWARFUnit::updateVariableDieMap(llvm::DWARFDie)':
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFUnit.cpp:816:20: warning: 'LocationAddr' may be used uninitialized in this function [-Wmaybe-uninitialized]
816 | LocationAddr += It->getRawOperand(0);
| ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/DebugInfo/DWARF/DWARFDebugFrame.cpp:
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFDebugFrame.cpp: In member function 'llvm::Error llvm::DWARFDebugFrame::parse(llvm::DWARFDataExtractor)':
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFDebugFrame.cpp:1096:18: warning: 'EndAugmentationOffset' may be used uninitialized in this function [-Wmaybe-uninitialized]
1096 | uint64_t EndAugmentationOffset;
| ^~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFDebugFrame.cpp:1095:18: warning: 'StartAugmentationOffset' may be used uninitialized in this function [-Wmaybe-uninitialized]
1095 | uint64_t StartAugmentationOffset;
| ^~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Analysis/DependenceAnalysis.cpp:
external/llvm-project/llvm/lib/Analysis/DependenceAnalysis.cpp: In member function 'void llvm::DependenceInfo::unifySubscriptType(llvm::ArrayRefllvm::DependenceInfo::Subscript*)':
external/llvm-project/llvm/lib/Analysis/DependenceAnalysis.cpp:935:40: warning: 'widestType' may be used uninitialized in this function [-Wmaybe-uninitialized]
935 | Pair->Dst = SE->getSignExtendExpr(Dst, widestType);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Lex/LiteralSupport.cpp:
external/llvm-project/clang/lib/Lex/LiteralSupport.cpp: In member function 'bool clang::NumericLiteralParser::GetFixedPointValue(llvm::APInt&, unsigned int)':
external/llvm-project/clang/lib/Lex/LiteralSupport.cpp:1509:43: warning: 'ExponentBegin' may be used uninitialized in this function [-Wmaybe-uninitialized]
1509 | for (const char Ptr = DigitsBegin; Ptr < End; ++Ptr) {
| ~~~~^~~~~
INFO: From Compiling clang/lib/Lex/Lexer.cpp:
external/llvm-project/clang/lib/Lex/Lexer.cpp: In member function 'std::optional clang::Lexer::tryReadNumericUCN(const char
&, const char*, clang::Token*)':
external/llvm-project/clang/lib/Lex/Lexer.cpp:3337:27: warning: 'NumHexDigits' may be used uninitialized in this function [-Wmaybe-uninitialized]
3337 | if (!Delimited && Count != NumHexDigits) {
| ~~~~~~^~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Transforms/Scalar/LoopSink.cpp:
external/llvm-project/llvm/lib/Transforms/Scalar/LoopSink.cpp: In function 'bool sinkLoopInvariantInstructions(llvm::Loop&, llvm::AAResults&, llvm::LoopInfo&, llvm::DominatorTree&, llvm::BlockFrequencyInfo&, llvm::MemorySSA&, llvm::ScalarEvolution*)':
external/llvm-project/llvm/lib/Transforms/Scalar/LoopSink.cpp:215:51: warning: '((void)& SortedBBsToSinkInto +16)' may be used uninitialized in this function [-Wmaybe-uninitialized]
215 | BasicBlock MoveBB = SortedBBsToSinkInto.begin();
| ^
INFO: From Compiling llvm/lib/Transforms/Scalar/SROA.cpp:
external/llvm-project/llvm/lib/Transforms/Scalar/SROA.cpp: In function 'void rewriteMemOpOfSelect(llvm::SelectInst&, T&, llvm::sroa::SelectHandSpeculativity, llvm::DomTreeUpdater&) [with T = llvm::StoreInst]':
external/llvm-project/llvm/lib/Transforms/Scalar/SROA.cpp:1647:12: warning: 'PN' may be used uninitialized in this function [-Wmaybe-uninitialized]
1647 | PHINode PN;
| ^~
INFO: From Compiling llvm/lib/Transforms/Scalar/EarlyCSE.cpp:
external/llvm-project/llvm/lib/Transforms/Scalar/EarlyCSE.cpp: In member function 'bool {anonymous}::EarlyCSE::processNode(llvm::DomTreeNode
)':
external/llvm-project/llvm/lib/Transforms/Scalar/EarlyCSE.cpp:1404:17: warning: unused variable 'CI' [-Wunused-variable]
1404 | if (auto CI = dyn_cast(&Inst)) {
| ^~
INFO: From Compiling llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:
external/llvm-project/llvm/lib/Transforms/InstCombine/InstructionCombining.cpp: In member function 'llvm::Value
llvm::InstCombinerImpl::SimplifySelectsFeedingBinaryOp(llvm::BinaryOperator&, llvm::Value
, llvm::Value
)':
external/llvm-project/llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:920:25: warning: 'B' may be used uninitialized in this function [-Wmaybe-uninitialized]
920 | True = simplifyBinOp(Opcode, B, RHS, FMF, Q);
| ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:907:10: warning: 'A' may be used uninitialized in this function [-Wmaybe-uninitialized]
907 | Cond = A;
| ~~~~~^~~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:929:38: warning: 'F' may be used uninitialized in this function [-Wmaybe-uninitialized]
929 | if (Value NewSel = foldAddNegate(E, F, LHS))
| ~~~~~~~~~~~~~^~~~~~~~~~~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:929:38: warning: 'E' may be used uninitialized in this function [-Wmaybe-uninitialized]
external/llvm-project/llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:926:10: warning: 'D' may be used uninitialized in this function [-Wmaybe-uninitialized]
926 | Cond = D;
| ~~~~~^~~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:922:38: warning: 'C' may be used uninitialized in this function [-Wmaybe-uninitialized]
922 | if (Value NewSel = foldAddNegate(B, C, RHS))
| ~~~~~~~~~~~~~^~~~~~~~~~~
INFO: From Compiling llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp:
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp: In member function 'llvm::Instruction
llvm::InstCombinerImpl::foldICmpBinOp(llvm::ICmpInst&, const llvm::SimplifyQuery&)':
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp:3914:46: warning: 'YShAmt' may be used uninitialized in this function [-Wmaybe-uninitialized]
3914 | auto NewShAmt = dyn_cast_or_null(
| ~~~~~~~~~~~~~~~~~~~~~~~~~~^
3915 | simplifyAddInst(XShAmt, YShAmt, /isNSW=/false,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3916 | /isNUW=/false, SQ.getWithInstruction(&I)));
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp:3870:27: note: 'YShAmt' was declared here
3870 | Value X, XShAmt, Y, YShAmt;
| ^~~~~~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp:3914:46: warning: 'XShAmt' may be used uninitialized in this function [-Wmaybe-uninitialized]
3914 | auto NewShAmt = dyn_cast_or_null(
| ~~~~~~~~~~~~~~~~~~~~~~~~~~^
3915 | simplifyAddInst(XShAmt, YShAmt, /isNSW=/false,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3916 | /isNUW=/false, SQ.getWithInstruction(&I)));
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp:3870:14: note: 'XShAmt' was declared here
3870 | Value X, XShAmt, Y, YShAmt;
| ^~~~~~
INFO: From Compiling llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp:
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp: In member function 'llvm::Instruction
llvm::InstCombinerImpl::foldVariableSignZeroExtensionOfVariableHighBitExtract(llvm::BinaryOperator&)':
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp:1466:16: warning: 'HighBitExtract' may be used uninitialized in this function [-Wmaybe-uninitialized]
1466 | Instruction HighBitExtract;
| ^~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp: In function 'llvm::Value
getShiftedValue(llvm::Value
, unsigned int, bool, llvm::InstCombinerImpl&, const llvm::DataLayout&)':
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp:608:16: warning: 'C1' may be used uninitialized in this function [-Wmaybe-uninitialized]
608 | const APInt C1;
| ^~
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp: In function 'llvm::Instruction
dropRedundantMaskingOfLeftShiftInput(llvm::BinaryOperator
, const llvm::SimplifyQuery&, llvm::InstCombiner::BuilderTy&)':
external/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp:266:50: warning: 'ShiftShAmt' may be used uninitialized in this function [-Wmaybe-uninitialized]
266 | auto ShAmtsDiff = dyn_cast_or_null(simplifySubInst(
| ~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
267 | ShiftShAmt, MaskShAmt, /IsNSW=/false, /IsNUW=/false, Q));
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Transforms/Vectorize/VectorCombine.cpp:
external/llvm-project/llvm/lib/Transforms/Vectorize/VectorCombine.cpp: In function '{anonymous}::ScalarizationResult canScalarizeAccess(llvm::FixedVectorType
, llvm::Value
, llvm::Instruction, llvm::AssumptionCache&, const llvm::DominatorTree&)':
external/llvm-project/llvm/lib/Transforms/Vectorize/VectorCombine.cpp:970:42: warning: 'IdxBase' may be used uninitialized in this function [-Wmaybe-uninitialized]
970 | : Status(Status), ToFreeze(ToFreeze) {}
| ^
external/llvm-project/llvm/lib/Transforms/Vectorize/VectorCombine.cpp:1044:10: note: 'IdxBase' was declared here
1044 | Value IdxBase;
| ^~~~~~~
[1,280 / 2,315] 4 actions running
INFO: From Compiling llvm/lib/Target/AArch64/MCTargetDesc/AArch64TargetStreamer.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/MCTargetDesc/AArch64TargetStreamer.cpp:15:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/CodeGen/BranchFolding.cpp:
external/llvm-project/llvm/lib/CodeGen/BranchFolding.cpp: In member function 'bool llvm::BranchFolder::TailMergeBlocks(llvm::MachineFunction&)':
external/llvm-project/llvm/lib/CodeGen/BranchFolding.cpp:1095:9: warning: 'ML' may be used uninitialized in this function [-Wmaybe-uninitialized]
1095 | if (ML != MLI->getLoopFor(PBB))
| ^~
INFO: From Compiling llvm/lib/CodeGen/AtomicExpandPass.cpp:
external/llvm-project/llvm/lib/CodeGen/AtomicExpandPass.cpp: In function 'bool {anonymous}::AtomicExpand::expandAtomicCmpXchg(llvm::AtomicCmpXchgInst
)':
external/llvm-project/llvm/lib/CodeGen/AtomicExpandPass.cpp:1389:31: warning: 'SecondLoad' may be used uninitialized in this function [-Wmaybe-uninitialized]
1389 | LoadedNoStore->addIncoming(SecondLoad, ReleasedLoadBB);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/CodeGen/MachineFunctionPass.cpp:
external/llvm-project/llvm/lib/CodeGen/MachineFunctionPass.cpp: In member function 'virtual bool llvm::MachineFunctionPass::runOnFunction(llvm::Function&)':
external/llvm-project/llvm/lib/CodeGen/MachineFunctionPass.cpp:101:25: warning: 'CountBefore' may be used uninitialized in this function [-Wmaybe-uninitialized]
101 | static_cast<int64_t>(CountBefore);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/CodeGen/GlobalISel/CombinerHelper.cpp:
external/llvm-project/llvm/lib/CodeGen/GlobalISel/CombinerHelper.cpp: In static member function 'static void std::_Function_handler<void(_ArgTypes ...), _Functor>::_M_invoke(const std::_Any_data&, _ArgTypes&& ...) [with _Functor = llvm::CombinerHelper::matchAddEToAddO(llvm::MachineInstr&, llvm::BuildFnTy&)::<lambda(llvm::MachineIRBuilder&)>; _ArgTypes = {llvm::MachineIRBuilder&}]':
external/llvm-project/llvm/lib/CodeGen/GlobalISel/CombinerHelper.cpp:4877:14: warning: 'NewOpcode' may be used uninitialized in this function [-Wmaybe-uninitialized]
4877 | unsigned NewOpcode;
| ^~~~~~~~~
external/llvm-project/llvm/lib/CodeGen/GlobalISel/CombinerHelper.cpp: In member function 'bool llvm::CombinerHelper::matchCombineInsertVecElts(llvm::MachineInstr&, llvm::SmallVectorImplllvm::Register&)':
external/llvm-project/llvm/lib/CodeGen/GlobalISel/CombinerHelper.cpp:2688:53: warning: 'TmpInst' may be used uninitialized in this function [-Wmaybe-uninitialized]
2688 | for (unsigned I = 1; I < TmpInst->getNumOperands(); ++I) {
| ~~~~~~~~~~~~~~~~~~~~~~~^~
INFO: From Compiling llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp: In function 'llvm::SDValue getCopyFromParts(llvm::SelectionDAG&, const llvm::SDLoc&, const llvm::SDValue, unsigned int, llvm::MVT, llvm::EVT, const llvm::Value, std::optional, std::optionalllvm::ISD::NodeType)':
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:364:70: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
364 | PartVT, IntermediateVT, V, CallConv);
| ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:373:70: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
373 | PartVT, IntermediateVT, V, CallConv);
| ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:196:48: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
196 | PartVT, HalfVT, V);
| ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:198:64: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
198 | RoundParts / 2, PartVT, HalfVT, V);
| ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:214:43: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
214 | OddVT, V, CC);
| ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:244:76: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
244 | Val = getCopyFromParts(DAG, DL, Parts, NumParts, PartVT, IntVT, V, CC);
| ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp: In member function 'void llvm::SelectionDAGBuilder::visitAlloca(const llvm::AllocaInst&)':
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:4091:15: warning: 'Alignment' may be used uninitialized in this function [-Wmaybe-uninitialized]
4091 | Alignment = std::nullopt;
| ~~~~~~~~~~^~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/CodeGen/RegisterPressure.cpp:
external/llvm-project/llvm/lib/CodeGen/RegisterPressure.cpp: In member function 'void llvm::PressureDiffs::init(unsigned int)':
external/llvm-project/llvm/lib/CodeGen/RegisterPressure.cpp:650:51: warning: 'void memset(void, int, size_t)' clearing an object of non-trivial type 'class llvm::PressureDiff'; use assignment or value-initialization instead [-Wclass-memaccess]
650 | memset(PDiffArray, 0, N * sizeof(PressureDiff));
| ^
In file included from external/llvm-project/llvm/lib/CodeGen/RegisterPressure.cpp:14:
external/llvm-project/llvm/include/llvm/CodeGen/RegisterPressure.h:140:7: note: 'class llvm::PressureDiff' declared here
140 | class PressureDiff {
| ^~~~~~~~~~~~
INFO: From Compiling llvm/lib/CodeGen/ModuloSchedule.cpp:
external/llvm-project/llvm/lib/CodeGen/ModuloSchedule.cpp: In member function 'void llvm::ModuloScheduleExpander::generatePhis(llvm::MachineBasicBlock, llvm::MachineBasicBlock, llvm::MachineBasicBlock*, llvm::MachineBasicBlock*, llvm::ModuloScheduleExpander::ValueMapTy*, llvm::ModuloScheduleExpander::ValueMapTy*, llvm::ModuloScheduleExpander::InstrMapTy&, unsigned int, unsigned int, bool)':
external/llvm-project/llvm/lib/CodeGen/ModuloSchedule.cpp:703:32: warning: 'PhiOp2' may be used uninitialized in this function [-Wmaybe-uninitialized]
703 | rewriteScheduledInstr(NewBB, InstrMap, CurStageNum, np, &BBI, PhiOp2,
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
704 | NewReg);
| ~~~~~~~
INFO: From Compiling llvm/lib/CodeGen/MIRParser/MIParser.cpp:
external/llvm-project/llvm/lib/CodeGen/MIRParser/MIParser.cpp: In function 'bool llvm::parseMachineMetadata(llvm::PerFunctionMIParsingState&, llvm::StringRef, llvm::SMRange, llvm::SMDiagnostic&)':
external/llvm-project/llvm/lib/CodeGen/MIRParser/MIParser.cpp:1328:15: warning: 'MD' may be used uninitialized in this function [-Wmaybe-uninitialized]
1328 | Metadata MD;
| ^~
INFO: From Compiling llvm/lib/Transforms/IPO/SampleProfile.cpp:
external/llvm-project/llvm/lib/Transforms/IPO/SampleProfile.cpp: In member function 'void {anonymous}::SampleProfileLoader::generateMDProfMetadata(llvm::Function&)':
external/llvm-project/llvm/lib/Transforms/IPO/SampleProfile.cpp:1767:16: warning: 'MaxDestInst' may be used uninitialized in this function [-Wmaybe-uninitialized]
1767 | return OptimizationRemark(DEBUG_TYPE, "PopularDest", MaxDestInst)
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Transforms/Coroutines/CoroSplit.cpp:
external/llvm-project/llvm/lib/Transforms/Coroutines/CoroSplit.cpp: In member function 'void {anonymous}::CoroCloner::create()':
external/llvm-project/llvm/lib/Transforms/Coroutines/CoroSplit.cpp:607:33: warning: 'SuspendResult' may be used uninitialized in this function [-Wmaybe-uninitialized]
607 | MappedCS->replaceAllUsesWith(SuspendResult);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Transforms/Coroutines/CoroSplit.cpp:577:10: note: 'SuspendResult' was declared here
577 | Value SuspendResult;
| ^~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Target/AArch64/AArch64MacroFusion.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64MacroFusion.cpp:15:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64FastISel.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64FastISel.cpp:19:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64TargetMachine.h:17,
from external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp:14:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp: In function 'int getIntOperandFromRegisterString(llvm::StringRef)':
external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp:3784: warning: '
((void
)& Ops +16)' may be used uninitialized in this function [-Wmaybe-uninitialized]
3784 | return (Ops[0] << 14) | (Ops[1] << 11) | (Ops[2] << 7) |
|
external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp:3784: warning: '
((void*)& Ops +20)' may be used uninitialized in this function [-Wmaybe-uninitialized]
external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp:3784: warning: '((void)& Ops +24)' may be used uninitialized in this function [-Wmaybe-uninitialized]
external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp:3785: warning: '((void)& Ops +28)' may be used uninitialized in this function [-Wmaybe-uninitialized]
3785 | (Ops[3] << 3) | (Ops[4]);
|
external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp:3785: warning: '((void)& Ops +32)' may be used uninitialized in this function [-Wmaybe-uninitialized]
3785 | (Ops[3] << 3) | (Ops[4]);
INFO: From Compiling llvm/lib/Target/AArch64/AArch64InstrInfo.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64InstrInfo.cpp:15:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64DeadRegisterDefinitionsPass.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64DeadRegisterDefinitionsPass.cpp:15:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:
In file included from external/llvm-project/llvm/include/llvm/MC/MCContext.h:18,
from external/llvm-project/llvm/include/llvm/CodeGen/MachineModuleInfo.h:36,
from external/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:206:
external/llvm-project/llvm/include/llvm/BinaryFormat/Dwarf.h: In member function 'uint8_t llvm::dwarf::FormParams::getRefAddrByteSize() const':
external/llvm-project/llvm/include/llvm/BinaryFormat/Dwarf.h:745: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
745 | return getDwarfOffsetByteSize();
|
external/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp: In lambda function:
external/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:2864: warning: 'LdrOpc' may be used uninitialized in this function [-Wmaybe-uninitialized]
2864 | unsigned LdrOpc;
|
external/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:2865: warning: 'Size' may be used uninitialized in this function [-Wmaybe-uninitialized]
2865 | unsigned Size;
|
external/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp: In member function 'virtual bool llvm::AArch64FrameLowering::spillCalleeSavedRegisters(llvm::MachineBasicBlock&, llvm::MachineBasicBlock::iterator, llvm::ArrayRefllvm::CalleeSavedInfo, const llvm::TargetRegisterInfo*) const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:2825: warning: 'Size' may be used uninitialized in this function [-Wmaybe-uninitialized]
2825 | MachineMemOperand::MOStore, Size, Alignment));
|
external/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:2749: warning: 'StrOpc' may be used uninitialized in this function [-Wmaybe-uninitialized]
2749 | unsigned StrOpc;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64CondBrTuning.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64CondBrTuning.cpp:29:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64CompressJumpTables.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64CompressJumpTables.cpp:16:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64ISelLowering.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp:19:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp: In function 'void createTblForTrunc(llvm::TruncInst*, bool)':
external/llvm-project/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp:14109: warning: 'TblID' may be used uninitialized in this function [-Wmaybe-uninitialized]
14109 | auto F = Intrinsic::getDeclaration(TI->getModule(), TblID, VecTy);
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64A57FPLoadBalancing.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64A57FPLoadBalancing.cpp:32:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64MachineScheduler.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64MachineScheduler.cpp:11:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64SelectionDAGInfo.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64TargetMachine.h:17,
from external/llvm-project/llvm/lib/Target/AArch64/AArch64SelectionDAGInfo.cpp:13:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64KCFI.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64KCFI.cpp:15:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AsmParser/AArch64AsmParser.cpp:
external/llvm-project/llvm/lib/Target/AArch64/AsmParser/AArch64AsmParser.cpp: In constructor '{anonymous}::AArch64AsmParser::AArch64AsmParser(const llvm::MCSubtargetInfo&, llvm::MCAsmParser&, const llvm::MCInstrInfo&, const llvm::MCTargetOptions&)':
external/llvm-project/llvm/lib/Target/AArch64/AsmParser/AArch64AsmParser.cpp:307: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
307 | Parser.addAliasForDirective(".hword", ".2byte");
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64TargetObjectFile.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64TargetObjectFile.cpp:11:
external/llvm-project/llvm/include/llvm/BinaryFormat/Dwarf.h: In member function 'uint8_t llvm::dwarf::FormParams::getRefAddrByteSize() const':
external/llvm-project/llvm/include/llvm/BinaryFormat/Dwarf.h:745: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
745 | return getDwarfOffsetByteSize();
|
INFO: From Compiling llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp:16:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/GISel/AArch64PreLegalizerCombiner.cpp:
In file included from bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64TargetMachine.h:17,
from external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64PreLegalizerCombiner.cpp:15:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/GISel/AArch64PostLegalizerLowering.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64PostLegalizerLowering.cpp:23:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/GISel/AArch64PostLegalizerCombiner.cpp:
In file included from bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64TargetMachine.h:17,
from external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64PostLegalizerCombiner.cpp:22:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64SLSHardening.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64SLSHardening.cpp:15:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64TargetTransformInfo.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64TargetTransformInfo.h:20,
from external/llvm-project/llvm/lib/Target/AArch64/AArch64TargetTransformInfo.cpp:9:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64RegisterInfo.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64RegisterInfo.cpp:22:
external/llvm-project/llvm/include/llvm/BinaryFormat/Dwarf.h: In member function 'uint8_t llvm::dwarf::FormParams::getRefAddrByteSize() const':
external/llvm-project/llvm/include/llvm/BinaryFormat/Dwarf.h:745: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
745 | return getDwarfOffsetByteSize();
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64SpeculationHardening.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64SpeculationHardening.cpp:94:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64StackTagging.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64StackTagging.cpp:12:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/GISel/AArch64PostSelectOptimize.cpp:
In file included from bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64TargetMachine.h:17,
from external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64PostSelectOptimize.cpp:15:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64Subtarget.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.cpp:35:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64CommonTableGen/AArch64GenSubtargetInfo.inc: In member function 'void llvm::AArch64Subtarget::ParseSubtargetFeatures(llvm::StringRef, llvm::StringRef, llvm::StringRef)':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64CommonTableGen/AArch64GenSubtargetInfo.inc:35748: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
35748 | if (Bits[AArch64::FeatureAM]) HasAM = true;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64A53Fix835769.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64A53Fix835769.cpp:18:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64CallingConvention.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64CallingConvention.cpp:207:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64CommonTableGen/AArch64GenCallingConv.inc: In function 'bool llvm::CC_AArch64_Win64_VarArg(unsigned int, llvm::MVT, llvm::MVT, llvm::CCValAssign::LocInfo, llvm::ISD::ArgFlagsTy, llvm::CCState&)':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64CommonTableGen/AArch64GenCallingConv.inc:1152: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
1152 | return true; // CC didn't match.
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64BranchTargets.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64BranchTargets.cpp:20:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64MachineFunctionInfo.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64MachineFunctionInfo.cpp:18:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64LoadStoreOptimizer.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64LoadStoreOptimizer.cpp:22:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64AsmPrinter.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64AsmPrinter.cpp:18:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/GISel/AArch64CallLowering.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64CallLowering.cpp:19:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64TargetMachine.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64TargetMachine.h:17,
from external/llvm-project/llvm/lib/Target/AArch64/AArch64TargetMachine.cpp:12:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/GISel/AArch64O0PreLegalizerCombiner.cpp:
In file included from bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64TargetMachine.h:17,
from external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64O0PreLegalizerCombiner.cpp:15:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/GISel/AArch64InstructionSelector.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64InstructionSelector.cpp:19:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/AArch64UtilsAndDesc/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64InstructionSelector.cpp: In member function 'virtual bool {anonymous}::AArch64InstructionSelector::select(llvm::MachineInstr&)':
external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64InstructionSelector.cpp:3629: warning: 'Mopcode' may be used uninitialized in this function [-Wmaybe-uninitialized]
3629 | {DstPtrCopy, SrcValCopy, SizeCopy});
|
external/llvm-project/llvm/lib/Target/AArch64/GISel/AArch64InstructionSelector.cpp:3580: note: 'Mopcode' was declared here
3580 | unsigned Mopcode;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64LowerHomogeneousPrologEpilog.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64LowerHomogeneousPrologEpilog.cpp:14:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64FalkorHWPFFix.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64FalkorHWPFFix.cpp:17:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Target/AArch64/AArch64ExpandPseudoInsts.cpp:
In file included from external/llvm-project/llvm/lib/Target/AArch64/AArch64ExpandPseudoInsts.cpp:19:
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h: In member function 'unsigned int llvm::AArch64Subtarget::getMinVectorRegisterBitWidth() const':
external/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.h:208: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
208 | return MinVectorRegisterBitWidth;
|
INFO: From Compiling llvm/lib/Analysis/LoopPass.cpp:
external/llvm-project/llvm/lib/Analysis/LoopPass.cpp: In member function 'virtual bool llvm::LPPassManager::runOnFunction(llvm::Function&)':
external/llvm-project/llvm/lib/Analysis/LoopPass.cpp:164:12: warning: 'InstrCount' may be used uninitialized in this function [-Wmaybe-uninitialized]
164 | unsigned InstrCount, FunctionSize = 0;
| ^~~~~~~~~~
INFO: From Compiling llvm/lib/Analysis/ScalarEvolution.cpp:
external/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp: In member function 'std::optional<std::pair<const llvm::SCEV
, llvm::SmallVector<const llvm::SCEVPredicate*, 3> > > llvm::ScalarEvolution::createAddRecFromPHIWithCastsImpl(const llvm::SCEVUnknown*)':
external/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp:5530:26: warning: 'Signed' may be used uninitialized in this function [-Wmaybe-uninitialized]
5530 | CreateSignExtend ? getSignExtendExpr(TruncatedExpr, Expr->getType())
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5531 | : getZeroExtendExpr(TruncatedExpr, Expr->getType());
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/ProfileData/SampleProfReader.cpp:
external/llvm-project/llvm/lib/ProfileData/SampleProfReader.cpp: In member function 'virtual std::error_code llvm::sampleprof::SampleProfileReaderText::readImpl()':
external/llvm-project/llvm/lib/ProfileData/SampleProfReader.cpp:369:35: warning: 'Discriminator' may be used uninitialized in this function [-Wmaybe-uninitialized]
369 | uint32_t Depth, LineOffset, Discriminator;
| ^~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Object/ObjectFile.cpp:
external/llvm-project/llvm/lib/Object/ObjectFile.cpp: In member function 'llvm::Expected llvm::object::ObjectFile::getSymbolValue(llvm::object::DataRefImpl) const':
external/llvm-project/llvm/lib/Object/ObjectFile.cpp:64:13: warning: 'Flags' may be used uninitialized in this function [-Wmaybe-uninitialized]
64 | if (Flags & SymbolRef::SF_Common)
| ~~~~~~^~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Object/MachOObjectFile.cpp:
external/llvm-project/llvm/lib/Object/MachOObjectFile.cpp: In constructor 'llvm::object::BindRebaseSegInfo::BindRebaseSegInfo(const llvm::object::MachOObjectFile*)':
external/llvm-project/llvm/lib/Object/MachOObjectFile.cpp:4348:12: warning: 'CurSegAddress' may be used uninitialized in this function [-Wmaybe-uninitialized]
4348 | uint64_t CurSegAddress;
| ^~~~~~~~~~~~~
INFO: From Compiling llvm/lib/AsmParser/LLParser.cpp:
external/llvm-project/llvm/lib/AsmParser/LLParser.cpp: In function 'bool llvm::LLParser::parseMDField(llvm::StringRef, FieldTy&) [with FieldTy = {anonymous}::DIFlagField]':
external/llvm-project/llvm/lib/AsmParser/LLParser.cpp:4591:16: warning: 'Val' may be used uninitialized in this function [-Wmaybe-uninitialized]
4591 | uint32_t TempVal = static_cast<uint32_t>(Val);
| ^~~~~~~
external/llvm-project/llvm/lib/AsmParser/LLParser.cpp:4611:21: note: 'Val' was declared here
4611 | DINode::DIFlags Val;
| ^~~
external/llvm-project/llvm/lib/AsmParser/LLParser.cpp: In member function 'bool llvm::LLParser::parseDISubprogram(llvm::MDNode*&, bool)':
external/llvm-project/llvm/lib/AsmParser/LLParser.cpp:4631:16: warning: 'Val' may be used uninitialized in this function [-Wmaybe-uninitialized]
4631 | uint32_t TempVal = static_cast<uint32_t>(Val);
| ^~~~~~~
external/llvm-project/llvm/lib/AsmParser/LLParser.cpp:4651:29: note: 'Val' was declared here
4651 | DISubprogram::DISPFlags Val;
| ^~~
INFO: From Compiling llvm/lib/Target/X86/X86OptimizeLEAs.cpp:
external/llvm-project/llvm/lib/Target/X86/X86OptimizeLEAs.cpp: In member function 'bool {anonymous}::X86OptimizeLEAPass::removeRedundantAddrCalc({anonymous}::X86OptimizeLEAPass::MemOpMap&)':
external/llvm-project/llvm/lib/Target/X86/X86OptimizeLEAs.cpp:537:5: warning: 'Dist' may be used uninitialized in this function [-Wmaybe-uninitialized]
537 | if (Dist < 0) {
| ^~
external/llvm-project/llvm/lib/Target/X86/X86OptimizeLEAs.cpp:377:62: warning: 'AddrDispShift' may be used uninitialized in this function [-Wmaybe-uninitialized]
377 | if (BestLEA != nullptr && !isInt<8>(AddrDispShiftTemp) &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
378 | isInt<8>(AddrDispShift))
| ~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86OptimizeLEAs.cpp:526:13: note: 'AddrDispShift' was declared here
526 | int64_t AddrDispShift;
| ^~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Target/X86/X86ISelDAGToDAG.cpp:
In file included from external/llvm-project/llvm/lib/Target/X86/X86ISelDAGToDAG.cpp:203:
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/X86CommonTableGen/X86GenDAGISel.inc: In member function 'virtual bool {anonymous}::X86DAGToDAGISel::CheckNodePredicate(llvm::SDNode*, unsigned int) const':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/llvm/_virtual_includes/X86CommonTableGen/X86GenDAGISel.inc:333777: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
333777 | return true;
|
external/llvm-project/llvm/lib/Target/X86/X86ISelDAGToDAG.cpp: In member function 'virtual void {anonymous}::X86DAGToDAGISel::PostprocessISelDAG()':
external/llvm-project/llvm/lib/Target/X86/X86ISelDAGToDAG.cpp:1530: warning: 'NewOpc' may be used uninitialized in this function [-Wmaybe-uninitialized]
1530 | MachineSDNode Test = CurDAG->getMachineNode(NewOpc, SDLoc(N),
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1531 | MVT::i32, MVT::Other, Ops);
|
INFO: From Compiling llvm/lib/Target/X86/X86InstructionSelector.cpp:
external/llvm-project/llvm/lib/Target/X86/X86InstructionSelector.cpp: In member function 'const llvm::TargetRegisterClass
{anonymous}::X86InstructionSelector::getRegClass(llvm::LLT, const llvm::RegisterBank&) const':
external/llvm-project/llvm/lib/Target/X86/X86InstructionSelector.cpp:175: note: '-Wmisleading-indentation' is disabled from this point onwards, since column-tracking was disabled due to the size of the code/headers
175 | if (Ty.getSizeInBits() == 16)
|
INFO: From Compiling llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp: In member function 'bool {anonymous}::X86LowerAMXIntrinsics::lowerTileLoadStore(llvm::Instruction*) [with bool IsTileLoad = true]':
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:190:30: warning: 'Ptr' may be used uninitialized in this function [-Wmaybe-uninitialized]
190 | Value *EltPtr = B.CreateGEP(EltTy, EltBasePtr, Offset);
| ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:517:18: note: 'Ptr' was declared here
517 | Value *M, *N, *Ptr, *Stride, *Tile;
| ^~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:165:35: warning: 'M' may be used uninitialized in this function [-Wmaybe-uninitialized]
165 | BasicBlock *RowBody = createLoop(Start, End, Row, B.getInt16(1),
| ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
166 | IntrinName + ".scalarize.rows", B, RowLoop);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:517:10: note: 'M' was declared here
517 | Value *M, *N, *Ptr, *Stride, *Tile;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp: In member function 'bool {anonymous}::X86LowerAMXIntrinsics::visit()':
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:536:10: warning: 'Tile' may be used uninitialized in this function [-Wmaybe-uninitialized]
536 | Value *ResVec = createTileLoadStoreLoops(
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:517:33: note: 'Tile' was declared here
517 | Value *M, *N, *Ptr, *Stride, *Tile;
| ^~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:531:45: warning: 'Stride' may be used uninitialized in this function [-Wmaybe-uninitialized]
531 | Value *StrideDWord = PreBuilder.CreateLShr(Stride, PreBuilder.getInt64(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:517:24: note: 'Stride' was declared here
517 | Value *M, *N, *Ptr, *Stride, *Tile;
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:536:10: warning: 'Ptr' may be used uninitialized in this function [-Wmaybe-uninitialized]
536 | Value *ResVec = createTileLoadStoreLoops(
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:517:18: note: 'Ptr' was declared here
517 | Value *M, *N, *Ptr, *Stride, *Tile;
| ^~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:530:40: warning: 'N' may be used uninitialized in this function [-Wmaybe-uninitialized]
530 | Value *NDWord = PreBuilder.CreateLShr(N, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:517:14: note: 'N' was declared here
517 | Value *M, *N, *Ptr, *Stride, *Tile;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:536:10: warning: 'M' may be used uninitialized in this function [-Wmaybe-uninitialized]
536 | Value *ResVec = createTileLoadStoreLoops(
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:517:10: note: 'M' was declared here
517 | Value *M, *N, *Ptr, *Stride, *Tile;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'B' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:30: note: 'B' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'A' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'C' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:22: note: 'C' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:489:40: warning: 'K' may be used uninitialized in this function [-Wmaybe-uninitialized]
489 | Value *KDWord = PreBuilder.CreateLShr(K, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:18: note: 'K' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:488:40: warning: 'N' may be used uninitialized in this function [-Wmaybe-uninitialized]
488 | Value *NDWord = PreBuilder.CreateLShr(N, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:14: note: 'N' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'M' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'B' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:30: note: 'B' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'A' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'C' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:22: note: 'C' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:489:40: warning: 'K' may be used uninitialized in this function [-Wmaybe-uninitialized]
489 | Value *KDWord = PreBuilder.CreateLShr(K, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:18: note: 'K' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:488:40: warning: 'N' may be used uninitialized in this function [-Wmaybe-uninitialized]
488 | Value *NDWord = PreBuilder.CreateLShr(N, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:14: note: 'N' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'M' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'B' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:30: note: 'B' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'A' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'C' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:22: note: 'C' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:489:40: warning: 'K' may be used uninitialized in this function [-Wmaybe-uninitialized]
489 | Value *KDWord = PreBuilder.CreateLShr(K, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:18: note: 'K' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:488:40: warning: 'N' may be used uninitialized in this function [-Wmaybe-uninitialized]
488 | Value *NDWord = PreBuilder.CreateLShr(N, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:14: note: 'N' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'M' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'B' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:30: note: 'B' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'A' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'C' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:22: note: 'C' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:489:40: warning: 'K' may be used uninitialized in this function [-Wmaybe-uninitialized]
489 | Value *KDWord = PreBuilder.CreateLShr(K, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:18: note: 'K' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:488:40: warning: 'N' may be used uninitialized in this function [-Wmaybe-uninitialized]
488 | Value *NDWord = PreBuilder.CreateLShr(N, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:14: note: 'N' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'M' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'B' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:30: note: 'B' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'A' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value *M, *N, *K, *C, *A, *B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'C' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value *ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:22: note: 'C' was declared here
479 | Value *M, N, K, C, A, B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:489:40: warning: 'K' may be used uninitialized in this function [-Wmaybe-uninitialized]
489 | Value KDWord = PreBuilder.CreateLShr(K, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:18: note: 'K' was declared here
479 | Value M, N, K, C, A, B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:488:40: warning: 'N' may be used uninitialized in this function [-Wmaybe-uninitialized]
488 | Value NDWord = PreBuilder.CreateLShr(N, PreBuilder.getInt16(2));
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:14: note: 'N' was declared here
479 | Value M, N, K, C, A, B;
| ^
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:494:10: warning: 'M' may be used uninitialized in this function [-Wmaybe-uninitialized]
494 | Value ResVec = createTileDPLoops(Start, End, Builder, M, NDWord,
| ^~~~~~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value M, N, K, C, A, B;
| ^
INFO: From Compiling llvm/lib/Target/X86/X86ISelLowering.cpp:
external/llvm-project/llvm/lib/Target/X86/X86ISelLowering.cpp: In function 'llvm::SDValue LowerBuildVectorv4x32(llvm::SDValue, llvm::SelectionDAG&, const llvm::X86Subtarget&)':
external/llvm-project/llvm/lib/Target/X86/X86ISelLowering.cpp:9187:27: warning: 'FirstNonZeroIdx' may be used uninitialized in this function [-Wmaybe-uninitialized]
9187 | if (Elt == FirstNonZero && EltIdx == FirstNonZeroIdx)
| ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Format/Format.cpp:
external/llvm-project/clang/lib/Format/Format.cpp: In function 'void clang::format::sortCppIncludes(const clang::format::FormatStyle&, const llvm::SmallVectorImplclang::format::{anonymous}::IncludeDirective&, llvm::ArrayRefclang::tooling::Range, llvm::StringRef, llvm::StringRef, clang::tooling::Replacements&, unsigned int
)':
external/llvm-project/clang/lib/Format/Format.cpp:2934:53: warning: 'CursorToEOLOffset' may be used uninitialized in this function [-Wmaybe-uninitialized]
2934 | Cursor = IncludesBeginOffset + result.size() - CursorToEOLOffset;
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~
external/llvm-project/clang/lib/Format/Format.cpp:2933:16: warning: 'CursorIndex' may be used uninitialized in this function [-Wmaybe-uninitialized]
2933 | if (Cursor && CursorIndex == Index)
| ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/AST/Interp/Interp.cpp:
In file included from external/llvm-project/clang/lib/AST/Interp/Interp.cpp:9:
external/llvm-project/clang/lib/AST/Interp/Interp.h: In instantiation of 'bool clang::interp::CastFloatingIntegral(clang::interp::InterpState&, clang::interp::CodePtr) [with clang::interp::PrimType Name = clang::interp::PT_Bool; T = clang::interp::Boolean]':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/clang/lib/AST/Interp/Opcodes.inc:3421:45: required from here
external/llvm-project/clang/lib/AST/Interp/Interp.h:1327:51: warning: parameter 'OpPC' set but not used [-Wunused-but-set-parameter]
1327 | bool CastFloatingIntegral(InterpState &S, CodePtr OpPC) {
| ~~~~~~~~^~~~
INFO: From Compiling clang/lib/AST/ASTContext.cpp:
external/llvm-project/clang/lib/AST/ASTContext.cpp: In function 'clang::GVALinkage basicGVALinkageForFunction(const clang::ASTContext&, const clang::FunctionDecl
)':
external/llvm-project/clang/lib/AST/ASTContext.cpp:11667:12: warning: 'External' may be used uninitialized in this function [-Wmaybe-uninitialized]
11667 | return External;
| ^~~~~~~~
external/llvm-project/clang/lib/AST/ASTContext.cpp: In member function 'clang::QualType clang::ASTContext::removeAddrSpaceQualType(clang::QualType) const':
external/llvm-project/clang/lib/AST/ASTContext.cpp:3207:12: warning: 'TypeNode' may be used uninitialized in this function [-Wmaybe-uninitialized]
3207 | return QualType(TypeNode, Quals.getFastQualifiers());
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/clang/lib/AST/ASTContext.cpp: In member function 'clang::GVALinkage clang::ASTContext::GetGVALinkageForVariable(const clang::VarDecl
) const':
external/llvm-project/clang/lib/AST/ASTContext.cpp:11830:51: warning: 'StrongLinkage' may be used uninitialized in this function [-Wmaybe-uninitialized]
11830 | return adjustGVALinkageForExternalDefinitionKind(this, VD,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~
11831 | adjustGVALinkageForAttributes(this, VD,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
11832 | basicGVALinkageForVariable(this, VD)));
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/AST/ASTImporter.cpp:
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitObjCPropertyImplDecl(clang::ObjCPropertyImplDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:5530:21: warning: 'Property' may be used uninitialized in this function [-Wmaybe-uninitialized]
5530 | ObjCPropertyDecl Property;
| ^~~~~~~~
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitObjCCategoryImplDecl(clang::ObjCCategoryImplDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:5355:32: warning: 'Category' may be used uninitialized in this function [-Wmaybe-uninitialized]
5355 | Category->setImplementation(ToImpl);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitObjCImplementationDecl(clang::ObjCImplementationDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:5415:54: warning: 'Super' may be used uninitialized in this function [-Wmaybe-uninitialized]
5415 | !declaresSameEntity(Super->getCanonicalDecl(),
| ^
external/llvm-project/clang/lib/AST/ASTImporter.cpp:5368:22: warning: 'Iface' may be used uninitialized in this function [-Wmaybe-uninitialized]
5368 | ObjCInterfaceDecl Iface;
| ^~~~~
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitObjCCategoryDecl(clang::ObjCCategoryDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:4621:43: warning: 'ToInterface' may be used uninitialized in this function [-Wmaybe-uninitialized]
4621 | = ToInterface->FindCategoryDeclaration(Name.getAsIdentifierInfo());
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitClassTemplateDecl(clang::ClassTemplateDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:5845:37: warning: 'ToTemplated' may be used uninitialized in this function [-Wmaybe-uninitialized]
5845 | ToTemplated->setPreviousDecl(PrevTemplated);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitFunctionTemplateDecl(clang::FunctionTemplateDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:6404:37: warning: 'TemplatedFD' may be used uninitialized in this function [-Wmaybe-uninitialized]
6404 | TemplatedFD->setPreviousDecl(PrevTemplated);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitVarTemplateDecl(clang::VarTemplateDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:6147:7: warning: 'ToTemplated' may be used uninitialized in this function [-Wmaybe-uninitialized]
6147 | if (ToTemplated != PrevTemplated)
| ^~
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitClassTemplateSpecializationDecl(clang::ClassTemplateSpecializationDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:5885:56: warning: 'ClassTemplate' may be used uninitialized in this function [-Wmaybe-uninitialized]
5885 | PrevDecl = ClassTemplate->findPartialSpecialization(TemplateArgs,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~
5886 | ToTPListOrErr,
| ~~~~~~~~~~~~~~~
5887 | InsertPos);
| ~~~~~~~~~~
external/llvm-project/clang/lib/AST/ASTImporter.cpp: In member function 'clang::ExpectedDecl clang::ASTNodeImporter::VisitRecordDecl(clang::RecordDecl
)':
external/llvm-project/clang/lib/AST/ASTImporter.cpp:2985:69: warning: 'ToDescribed' may be used uninitialized in this function [-Wmaybe-uninitialized]
2985 | InjSpec = ToDescribed->getInjectedClassNameSpecialization();
| ^
INFO: From Compiling clang/lib/AST/Interp/EvalEmitter.cpp:
In file included from external/llvm-project/clang/lib/AST/Interp/EvalEmitter.cpp:11:
external/llvm-project/clang/lib/AST/Interp/Interp.h: In instantiation of 'bool clang::interp::CastFloatingIntegral(clang::interp::InterpState&, clang::interp::CodePtr) [with clang::interp::PrimType Name = clang::interp::PT_Bool; T = clang::interp::Boolean]':
bazel-out/k8-opt-exec-2B5CBBC6/bin/external/llvm-project/clang/lib/AST/Interp/Opcodes.inc:3583:47: required from here
external/llvm-project/clang/lib/AST/Interp/Interp.h:1327:51: warning: parameter 'OpPC' set but not used [-Wunused-but-set-parameter]
1327 | bool CastFloatingIntegral(InterpState &S, CodePtr OpPC) {
| ~~~~~~~~^~~~
INFO: From Compiling clang/lib/AST/ExprConstant.cpp:
external/llvm-project/clang/lib/AST/ExprConstant.cpp: In function '{anonymous}::RecordExprEvaluator::VisitBinCmp(const clang::BinaryOperator
)::<lambda({anonymous}::CmpResult, const clang::BinaryOperator)>':
external/llvm-project/clang/lib/AST/ExprConstant.cpp:13195:30: warning: 'CCR' may be used uninitialized in this function [-Wmaybe-uninitialized]
13195 | ComparisonCategoryResult CCR;
| ^~~
external/llvm-project/clang/lib/AST/ExprConstant.cpp: In member function 'bool {anonymous}::PointerExprEvaluator::VisitBuiltinCallExpr(const clang::CallExpr, unsigned int)':
external/llvm-project/clang/lib/AST/ExprConstant.cpp:9336:7: warning: 'DesiredVal' may be used uninitialized in this function [-Wmaybe-uninitialized]
9336 | if (Char.getInt().getZExtValue() == DesiredVal)
| ^~
external/llvm-project/clang/lib/AST/ExprConstant.cpp: In member function 'bool {anonymous}::IntExprEvaluator::VisitBuiltinCallExpr(const clang::CallExpr, unsigned int)':
external/llvm-project/clang/lib/AST/ExprConstant.cpp:12106:14: warning: 'Arg' may be used uninitialized in this function [-Wmaybe-uninitialized]
12106 | unsigned Arg;
| ^~~
INFO: From Compiling clang/lib/Driver/ToolChains/Clang.cpp:
external/llvm-project/clang/lib/Driver/ToolChains/Clang.cpp: In member function 'void clang::driver::tools::Clang::AddLanaiTargetArgs(const llvm::opt::ArgList&, llvm::opt::ArgStringList&) const':
external/llvm-project/clang/lib/Driver/ToolChains/Clang.cpp:2335:7: warning: 'Mregparm' may be used uninitialized in this function [-Wmaybe-uninitialized]
2335 | if (Mregparm != 4) {
| ^~
INFO: From Compiling clang/lib/Driver/Driver.cpp:
external/llvm-project/clang/lib/Driver/Driver.cpp: In member function 'clang::driver::InputInfoList clang::driver::Driver::BuildJobsForActionNoCache(clang::driver::Compilation&, const clang::driver::Action, const clang::driver::ToolChain, llvm::StringRef, bool, bool, const char, std::map<std::pair<const clang::driver::Action, std::__cxx11::basic_string >, llvm::SmallVector<clang::driver::InputInfo, 4> >&, clang::driver::Action::OffloadKind) const':
external/llvm-project/clang/lib/Driver/Driver.cpp:5373:53: warning: '((void)& InputInfos +48)' may be used uninitialized in this function [-Wmaybe-uninitialized]
5373 | const char BaseInput = InputInfos[0].getBaseInput();
| ~~~~~~~~~~~~~~~~~~~~~~~~~~^~
INFO: From Compiling clang/lib/Driver/ToolChains/Cuda.cpp:
external/llvm-project/clang/lib/Driver/ToolChains/Cuda.cpp: In constructor 'clang::driver::CudaInstallationDetector::CudaInstallationDetector(const clang::driver::Driver&, const llvm::Triple&, const llvm::opt::ArgList&)':
external/llvm-project/clang/lib/Driver/ToolChains/Cuda.cpp:75:3: warning: 'RawVersion' may be used uninitialized in this function [-Wmaybe-uninitialized]
75 | if (raw_version < 11090)
| ^~
external/llvm-project/clang/lib/Driver/ToolChains/Cuda.cpp:98:16: note: 'RawVersion' was declared here
98 | uint32_t RawVersion;
| ^~~~~~~~~~
INFO: From Compiling clang/lib/Driver/ToolChains/Darwin.cpp:
external/llvm-project/clang/lib/Driver/ToolChains/Darwin.cpp: In member function 'bool clang::driver::toolchains::Darwin::isAlignedAllocationUnavailable() const':
external/llvm-project/clang/lib/Driver/ToolChains/Darwin.cpp:2790:24: warning: 'OS' may be used uninitialized in this function [-Wmaybe-uninitialized]
2790 | llvm::Triple::OSType OS;
| ^~
INFO: From Compiling clang/lib/Parse/ParseOpenMP.cpp:
external/llvm-project/clang/lib/Parse/ParseOpenMP.cpp: In member function 'void clang::Parser::ParseOpenMPAssumesDirective(clang::OpenMPDirectiveKind, clang::SourceLocation)':
external/llvm-project/clang/lib/Parse/ParseOpenMP.cpp:1728:14: warning: 'Idx' may be used uninitialized in this function [-Wmaybe-uninitialized]
1728 | if (ACMI.HasDirectiveList || ACMI.HasExpression) {
| ~~~~~^~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Parse/ParsePragma.cpp:
external/llvm-project/clang/lib/Parse/ParsePragma.cpp: In member function 'void clang::Parser::HandlePragmaFPContract()':
external/llvm-project/clang/lib/Parse/ParsePragma.cpp:796:32: warning: 'FPC' may be used uninitialized in this function [-Wmaybe-uninitialized]
796 | Actions.ActOnPragmaFPContract(PragmaLoc, FPC);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~
external/llvm-project/clang/lib/Parse/ParsePragma.cpp: In member function 'void clang::Parser::HandlePragmaFEnvAccess()':
external/llvm-project/clang/lib/Parse/ParsePragma.cpp:836:32: warning: 'IsEnabled' may be used uninitialized in this function [-Wmaybe-uninitialized]
836 | Actions.ActOnPragmaFEnvAccess(PragmaLoc, IsEnabled);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Sema/SemaModule.cpp:
external/llvm-project/clang/lib/Sema/SemaModule.cpp: In member function 'clang::Sema::DeclGroupPtrTy clang::Sema::ActOnModuleDecl(clang::SourceLocation, clang::SourceLocation, clang::Sema::ModuleDeclKind, clang::ModuleIdPath, clang::ModuleIdPath, clang::Sema::ModuleImportState&)':
external/llvm-project/clang/lib/Sema/SemaModule.cpp:394:27: warning: 'Mod' may be used uninitialized in this function [-Wmaybe-uninitialized]
394 | ImportDecl::Create(Context, CurContext, ModuleLoc, Mod, Path[0].second);
| ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Sema/SemaChecking.cpp:
external/llvm-project/clang/lib/Sema/SemaChecking.cpp: In member function 'bool clang::Sema::SemaBuiltinARMSpecialReg(unsigned int, clang::CallExpr
, int, unsigned int, bool)':
external/llvm-project/clang/lib/Sema/SemaChecking.cpp:8441:37: warning: 'IntField' may be used uninitialized in this function [-Wmaybe-uninitialized]
8441 | ValidString &= (IntField >= 0 && IntField <= Ranges[i]);
| ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
external/llvm-project/clang/lib/Sema/SemaChecking.cpp: In member function 'clang::ExprResult clang::Sema::CheckBuiltinFunctionCall(clang::FunctionDecl, unsigned int, clang::CallExpr)':
external/llvm-project/clang/lib/Sema/SemaChecking.cpp:1920:36: warning: '' may be used uninitialized in this function [-Wmaybe-uninitialized]
1920 | return std::optional{};
| ^
INFO: From Compiling clang/lib/Sema/SemaOpenMP.cpp:
external/llvm-project/clang/lib/Sema/SemaOpenMP.cpp: In function 'bool actOnOMPReductionKindClause(clang::Sema&, {anonymous}::DSAStackTy, clang::OpenMPClauseKind, llvm::ArrayRefclang::Expr*, clang::SourceLocation, clang::SourceLocation, clang::SourceLocation, clang::SourceLocation, clang::CXXScopeSpec&, const clang::DeclarationNameInfo&, llvm::ArrayRefclang::Expr*, {anonymous}::ReductionData&)':
external/llvm-project/clang/lib/Sema/SemaOpenMP.cpp:19718:24: warning: 'ParentBOK' may be used uninitialized in this function [-Wmaybe-uninitialized]
19718 | (IsParentBOK && BOK != ParentBOK) || IsParentReductionOp) {
| ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Sema/SemaType.cpp:
external/llvm-project/clang/lib/Sema/SemaType.cpp: In member function 'bool clang::Sema::RequireCompleteTypeImpl(clang::SourceLocation, clang::QualType, clang::Sema::CompleteTypeKind, clang::Sema::TypeDiagnoser)':
external/llvm-project/clang/lib/Sema/SemaType.cpp:8922:24: warning: 'IM' may be used uninitialized in this function [-Wmaybe-uninitialized]
8922 | MSInheritanceModel IM;
| ^~
INFO: From Compiling clang/lib/Frontend/FrontendAction.cpp:
external/llvm-project/clang/lib/Frontend/FrontendAction.cpp: In function 'clang::SourceLocation ReadOriginalFileName(clang::CompilerInstance&, std::string&, bool)':
external/llvm-project/clang/lib/Frontend/FrontendAction.cpp:293:38: warning: 'LineNo' may be used uninitialized in this function [-Wmaybe-uninitialized]
293 | CI.getSourceManager().AddLineNote(
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
294 | LineNoLoc, LineNo, SourceMgr.getLineTableFilenameID(InputFile), false,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
295 | false, SrcMgr::C_User_ModuleMap);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling xls/contrib/xlscc/translator.cc:
In file included from external/com_google_absl/absl/base/macros.h:36,
from external/com_google_absl/absl/base/internal/raw_logging.h:28,
from external/com_google_absl/absl/container/internal/btree.h:61,
from external/com_google_absl/absl/container/btree_map.h:56,
from external/com_google_xls/xls/contrib/xlscc/translator.h:25,
from external/com_google_xls/xls/contrib/xlscc/translator.cc:15:
external/com_google_xls/xls/common/logging/check_ops.h: In instantiation of 'std::string xls::logging_internal::Check_EQImpl(const T1&, const T2&, const char) [with T1 = char [29]; T2 = std::nullptr_t; std::string = std::__cxx11::basic_string]':
external/com_google_xls/xls/contrib/xlscc/translator.cc:3204:9: required from here
external/com_google_xls/xls/common/logging/check_ops.h:200:46: warning: the compiler can assume that the address of 'v1' will never be NULL [-Waddress]
200 | XLS_LOGGING_INTERNAL_CHECK_OP_IMPL(Check_EQ, ==)
external/com_google_absl/absl/base/optimization.h:178:58: note: in definition of macro 'ABSL_PREDICT_TRUE'
178 | #define ABSL_PREDICT_TRUE(x) (__builtin_expect(false || (x), true))
| ^
external/com_google_xls/xls/common/logging/check_ops.h:200:1: note: in expansion of macro 'XLS_LOGGING_INTERNAL_CHECK_OP_IMPL'
200 | XLS_LOGGING_INTERNAL_CHECK_OP_IMPL(Check_EQ, ==)
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Serialization/ASTReader.cpp:
external/llvm-project/clang/lib/Serialization/ASTReader.cpp: In member function 'clang::serialization::reader::ASTDeclContextNameLookupTrait::internal_key_type clang::serialization::reader::ASTDeclContextNameLookupTrait::ReadKey(const unsigned char, unsigned int)':
external/llvm-project/clang/lib/Serialization/ASTReader.cpp:1171:39: warning: 'Data' may be used uninitialized in this function [-Wmaybe-uninitialized]
1171 | return DeclarationNameKey(Kind, Data);
| ^
INFO: From Compiling clang/lib/Sema/SemaLambda.cpp:
external/llvm-project/clang/lib/Sema/SemaLambda.cpp: In member function 'void clang::Sema::ActOnStartOfLambdaDefinition(clang::LambdaIntroducer&, clang::Declarator&, const clang::DeclSpec&)':
external/llvm-project/clang/lib/Sema/SemaLambda.cpp:1294:14: warning: 'Index' may be used uninitialized in this function [-Wmaybe-uninitialized]
1294 | unsigned Index;
| ^~~~~
external/llvm-project/clang/lib/Sema/SemaLambda.cpp: In member function 'void clang::Sema::ActOnLambdaExpressionAfterIntroducer(clang::LambdaIntroducer&, clang::Scope)':
external/llvm-project/clang/lib/Sema/SemaLambda.cpp:1115:43: warning: 'InitStyle' may be used uninitialized in this function [-Wmaybe-uninitialized]
1115 | Var = createLambdaInitCaptureVarDecl(C->Loc, C->InitCaptureType.get(),
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1116 | C->EllipsisLoc, C->Id, InitStyle,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1117 | C->Init.get(), Method);
| ~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Sema/SemaOverload.cpp:
external/llvm-project/clang/lib/Sema/SemaOverload.cpp: In member function 'clang::FunctionDecl clang::Sema::resolveAddressOfSingleOverloadCandidate(clang::Expr, clang::DeclAccessPair&)':
external/llvm-project/clang/lib/Sema/SemaOverload.cpp:12721:10: warning: 'DAP.clang::DeclAccessPair::Ptr' may be used uninitialized in this function [-Wmaybe-uninitialized]
12721 | Pair = DAP;
| ~~~~~^~~~~
[2,262 / 2,317] 4 actions running
INFO: From Compiling clang/lib/Analysis/FlowSensitive/Transfer.cpp:
external/llvm-project/clang/lib/Analysis/FlowSensitive/Transfer.cpp: In member function 'void clang::dataflow::{anonymous}::TransferVisitor::VisitMemberExpr(const clang::MemberExpr)':
external/llvm-project/clang/lib/Analysis/FlowSensitive/Transfer.cpp:553:17: warning: unused variable 'V' [-Wunused-variable]
553 | if (auto *V = Env.getValue(MemberLoc)) {
| ^
INFO: From Compiling clang/lib/Sema/SemaExpr.cpp:
external/llvm-project/clang/lib/Sema/SemaExpr.cpp: In function '{anonymous}::OdrUseContext isOdrUseContext(clang::Sema&)':
external/llvm-project/clang/lib/Sema/SemaExpr.cpp:18250:10: warning: 'Result' may be used uninitialized in this function [-Wmaybe-uninitialized]
18250 | return Result;
| ^~~~~~
INFO: From Action transpiler/examples/fibonacci/fibonacci_rs_fhe_lib.ir:
Parsing file 'transpiler/examples/fibonacci/fibonacci.cc' with clang...
Generating IR...
ERROR: /root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/external/abc/BUILD.bazel:7:5: Foreign Cc - Make: Building abc failed: (Exit 2): bash failed: error executing command
(cd /root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption &&
exec env -
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin
/bin/bash -c bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/wrapper_build_script.sh)

Configuration: 625532f7154e1e5cbaf1a4b5258178981d880ae5b5931cdec360902c2ad0c853

Execution platform: @local_config_platform//:host

Use --sandbox_debug to see verbose messages from the sandbox and retain the sandbox build root for debugging
rules_foreign_cc: Build failed!
rules_foreign_cc: Keeping temp build directory and dependencies directory for debug.
rules_foreign_cc: Please note that the directories inside a sandbox are still cleaned unless you specify --sandbox_debug Bazel command line flag.
rules_foreign_cc: Printing build logs:
_____ BEGIN BUILD LOGS _____

Bazel external C/C++ Rules. Building library abc

Environment:______________
BUILD_SCRIPT=bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/build_script.sh
EXT_BUILD_ROOT=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption
BUILD_LOG=bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/Make.log
PWD=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption
BUILD_WRAPPER_SCRIPT=bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/wrapper_build_script.sh
TMPDIR=/tmp
EXT_BUILD_DEPS=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.ext_build_deps
BUILD_TMPDIR=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.build_tmpdir
SHLVL=2
INSTALLDIR=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc
PATH=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin
_=/usr/bin/env


  • ARFLAGS=rcsD
  • ASFLAGS='-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE__=redacted -D__TIMESTAMP__=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0'
  • CFLAGS='-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE__=redacted -D__TIMESTAMP__=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0'
  • CXXFLAGS='-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -std=c++17 -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE__=redacted -D__TIMESTAMP__=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0'
  • LDFLAGS='-fuse-ld=gold -Wl,-no-as-needed -Wl,-z,relro,-z,now -B/usr/bin -pass-exit-codes -Wl,--gc-sections -lstdc++ -lm'
  • AR=/usr/bin/ar
  • CC=/usr/bin/gcc
  • CXX=/usr/bin/gcc
  • CPPFLAGS=
  • /root/.cache/bazel/bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/rules_foreign_cc/toolchains/make/bin/make -C /root/.cache/bazel/bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.build_tmpdir abc -j16 PREFIX=/root/.cache/bazel/bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc
    make: Entering directory '/root/.cache/bazel/bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.build_tmpdir'
    Using CC=gcc
    Using CXX=g++
    Using AR=ar
    Using LD=g++
    Compiling with CUDD
    Using libreadline
    Using pthreads
    Found GCC_VERSION 9
    Found GCC_MAJOR>=5
    Using CFLAGS=-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE
    =redacted -D__TIMESTAMP
    =redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0 -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -Wno-unused-but-set-variable
    Generating dependency: /src/bdd/llb/llb4Sweep.c Generating dependency: /src/bdd/llb/llb4Nonlin.c
    Generating dependency: /src/bdd/llb/llb4Image.c Generating dependency: /src/bdd/llb/llb4Cex.c
    Generating dependency: /src/bdd/llb/llb3Nonlin.c Generating dependency: /src/bdd/llb/llb3Image.c
    Generating dependency: /src/bdd/llb/llb2Image.c Generating dependency: /src/bdd/llb/llb2Flow.c
    Generating dependency: /src/bdd/llb/llb2Dump.c Generating dependency: /src/bdd/llb/llb2Driver.c
    Generating dependency: /src/bdd/llb/llb2Core.c Generating dependency: /src/bdd/llb/llb2Bad.c
    Generating dependency: /src/bdd/llb/llb1Sched.c Generating dependency: /src/bdd/llb/llb1Reach.c
    Generating dependency: /src/bdd/llb/llb1Pivot.c Generating dependency: /src/bdd/llb/llb1Matrix.c
    Generating dependency: /src/bdd/llb/llb1Man.c Generating dependency: /src/bdd/llb/llb1Hint.c
    Generating dependency: /src/bdd/llb/llb1Group.c Generating dependency: /src/bdd/llb/llb1Core.c
    Generating dependency: /src/bdd/llb/llb1Constr.c Generating dependency: /src/bdd/llb/llb1Cluster.c
    Generating dependency: /src/bdd/bbr/bbrReach.c Generating dependency: /src/bdd/bbr/bbrNtbdd.c
    Generating dependency: /src/bdd/bbr/bbrImage.c Generating dependency: /src/bdd/bbr/bbrCex.c
    Generating dependency: /src/bdd/cas/casDec.c Generating dependency: /src/bdd/cas/casCore.c
    Generating dependency: /src/bdd/reo/reoUnits.c Generating dependency: /src/bdd/reo/reoTransfer.c
    Generating dependency: /src/bdd/reo/reoSwap.c Generating dependency: /src/bdd/reo/reoSift.c
    Generating dependency: /src/bdd/reo/reoShuffle.c Generating dependency: /src/bdd/reo/reoProfile.c
    Generating dependency: /src/bdd/reo/reoCore.c Generating dependency: /src/bdd/reo/reoApi.c
    Generating dependency: /src/bdd/mtr/mtrGroup.c Generating dependency: /src/bdd/mtr/mtrBasic.c
    Generating dependency: /src/bdd/epd/epd.c Generating dependency: /src/bdd/dsd/dsdTree.c
    Generating dependency: /src/bdd/dsd/dsdProc.c Generating dependency: /src/bdd/dsd/dsdMan.c
    Generating dependency: /src/bdd/dsd/dsdLocal.c Generating dependency: /src/bdd/dsd/dsdCheck.c
    Generating dependency: /src/bdd/dsd/dsdApi.c Generating dependency: /src/bdd/extrab/extraBddUnate.c
    Generating dependency: /src/bdd/extrab/extraBddTime.c Generating dependency: /src/bdd/extrab/extraBddThresh.c
    Generating dependency: /src/bdd/extrab/extraBddSymm.c Generating dependency: /src/bdd/extrab/extraBddSet.c
    Generating dependency: /src/bdd/extrab/extraBddMisc.c Generating dependency: /src/bdd/extrab/extraBddMaxMin.c
    Generating dependency: /src/bdd/extrab/extraBddKmap.c Generating dependency: /src/bdd/extrab/extraBddImage.c
    Generating dependency: /src/bdd/extrab/extraBddCas.c Generating dependency: /src/bdd/extrab/extraBddAuto.c
    Generating dependency: /src/bdd/cudd/cuddZddUtil.c Generating dependency: /src/bdd/cudd/cuddZddSymm.c
    Generating dependency: /src/bdd/cudd/cuddZddSetop.c Generating dependency: /src/bdd/cudd/cuddZddReord.c
    Generating dependency: /src/bdd/cudd/cuddZddPort.c Generating dependency: /src/bdd/cudd/cuddZddMisc.c
    Generating dependency: /src/bdd/cudd/cuddZddLin.c Generating dependency: /src/bdd/cudd/cuddZddIsop.c
    Generating dependency: /src/bdd/cudd/cuddZddGroup.c Generating dependency: /src/bdd/cudd/cuddZddFuncs.c
    Generating dependency: /src/bdd/cudd/cuddZddCount.c Generating dependency: /src/bdd/cudd/cuddWindow.c
    Generating dependency: /src/bdd/cudd/cuddUtil.c Generating dependency: /src/bdd/cudd/cuddTable.c
    Generating dependency: /src/bdd/cudd/cuddSymmetry.c Generating dependency: /src/bdd/cudd/cuddSubsetSP.c
    Generating dependency: /src/bdd/cudd/cuddSubsetHB.c Generating dependency: /src/bdd/cudd/cuddSplit.c
    Generating dependency: /src/bdd/cudd/cuddSolve.c Generating dependency: /src/bdd/cudd/cuddSign.c
    Generating dependency: /src/bdd/cudd/cuddSat.c Generating dependency: /src/bdd/cudd/cuddReorder.c
    Generating dependency: /src/bdd/cudd/cuddRef.c Generating dependency: /src/bdd/cudd/cuddRead.c
    Generating dependency: /src/bdd/cudd/cuddPriority.c Generating dependency: /src/bdd/cudd/cuddMatMult.c
    Generating dependency: /src/bdd/cudd/cuddLiteral.c Generating dependency: /src/bdd/cudd/cuddLinear.c
    Generating dependency: /src/bdd/cudd/cuddLevelQ.c Generating dependency: /src/bdd/cudd/cuddLCache.c
    Generating dependency: /src/bdd/cudd/cuddInteract.c Generating dependency: /src/bdd/cudd/cuddInit.c
    Generating dependency: /src/bdd/cudd/cuddHarwell.c Generating dependency: /src/bdd/cudd/cuddGroup.c
    Generating dependency: /src/bdd/cudd/cuddGenetic.c Generating dependency: /src/bdd/cudd/cuddGenCof.c
    Generating dependency: /src/bdd/cudd/cuddExport.c Generating dependency: /src/bdd/cudd/cuddExact.c
    Generating dependency: /src/bdd/cudd/cuddEssent.c Generating dependency: /src/bdd/cudd/cuddDecomp.c
    Generating dependency: /src/bdd/cudd/cuddCompose.c Generating dependency: /src/bdd/cudd/cuddCof.c
    Generating dependency: /src/bdd/cudd/cuddClip.c Generating dependency: /src/bdd/cudd/cuddCheck.c
    Generating dependency: /src/bdd/cudd/cuddCache.c Generating dependency: /src/bdd/cudd/cuddBridge.c
    Generating dependency: /src/bdd/cudd/cuddBddIte.c Generating dependency: /src/bdd/cudd/cuddBddCorr.c
    Generating dependency: /src/bdd/cudd/cuddBddAbs.c Generating dependency: /src/bdd/cudd/cuddApprox.c
    Generating dependency: /src/bdd/cudd/cuddApa.c Generating dependency: /src/bdd/cudd/cuddAnneal.c
    Generating dependency: /src/bdd/cudd/cuddAndAbs.c Generating dependency: /src/bdd/cudd/cuddAddWalsh.c
    Generating dependency: /src/bdd/cudd/cuddAddNeg.c Generating dependency: /src/bdd/cudd/cuddAddIte.c
    Generating dependency: /src/bdd/cudd/cuddAddInv.c Generating dependency: /src/bdd/cudd/cuddAddFind.c
    Generating dependency: /src/bdd/cudd/cuddAddApply.c Generating dependency: /src/bdd/cudd/cuddAddAbs.c
    Generating dependency: /src/bdd/cudd/cuddAPI.c Generating dependency: /src/aig/hop/hopUtil.c
    Generating dependency: /src/aig/hop/hopTruth.c Generating dependency: /src/aig/hop/hopTable.c
    Generating dependency: /src/aig/hop/hopOper.c Generating dependency: /src/aig/hop/hopObj.c
    Generating dependency: /src/aig/hop/hopMem.c Generating dependency: /src/aig/hop/hopMan.c
    Generating dependency: /src/aig/hop/hopDfs.c Generating dependency: /src/aig/hop/hopCheck.c
    Generating dependency: /src/aig/hop/hopBalance.c Generating dependency: /src/aig/ivy/ivyUtil.c
    Generating dependency: /src/aig/ivy/ivyTable.c Generating dependency: /src/aig/ivy/ivyShow.c
    Generating dependency: /src/aig/ivy/ivySeq.c Generating dependency: /src/aig/ivy/ivyRwr.c
    Generating dependency: /src/aig/ivy/ivyResyn.c Generating dependency: /src/aig/ivy/ivyOper.c
    Generating dependency: /src/aig/ivy/ivyObj.c Generating dependency: /src/aig/ivy/ivyMulti.c
    Generating dependency: /src/aig/ivy/ivyMem.c Generating dependency: /src/aig/ivy/ivyMan.c
    Generating dependency: /src/aig/ivy/ivyHaig.c Generating dependency: /src/aig/ivy/ivyFraig.c
    Generating dependency: /src/aig/ivy/ivyFastMap.c Generating dependency: /src/aig/ivy/ivyFanout.c
    Generating dependency: /src/aig/ivy/ivyDfs.c Generating dependency: /src/aig/ivy/ivyDsd.c
    Generating dependency: /src/aig/ivy/ivyCutTrav.c Generating dependency: /src/aig/ivy/ivyCheck.c
    Generating dependency: /src/aig/ivy/ivyCut.c Generating dependency: /src/aig/ivy/ivyCanon.c
    Generating dependency: /src/aig/ivy/ivyBalance.c Generating dependency: /src/aig/ioa/ioaUtil.c
    Generating dependency: /src/aig/ioa/ioaWriteAig.c Generating dependency: /src/aig/ioa/ioaReadAig.c
    Generating dependency: /src/aig/gia/giaUtil.c Generating dependency: /src/aig/gia/giaUnate.c
    Generating dependency: /src/aig/gia/giaTsim.c Generating dependency: /src/aig/gia/giaTruth.c
    Generating dependency: /src/aig/gia/giaTis.c Generating dependency: /src/aig/gia/giaTim.c
    Generating dependency: /src/aig/gia/giaSwitch.c Generating dependency: /src/aig/gia/giaSweeper.c
    Generating dependency: /src/aig/gia/giaSweep.c Generating dependency: /src/aig/gia/giaSupps.c
    Generating dependency: /src/aig/gia/giaSupp.c Generating dependency: /src/aig/gia/giaSupMin.c
    Generating dependency: /src/aig/gia/giaStr.c Generating dependency: /src/aig/gia/giaStg.c
    Generating dependency: /src/aig/gia/giaSplit.c Generating dependency: /src/aig/gia/giaSpeedup.c
    Generating dependency: /src/aig/gia/giaSort.c Generating dependency: /src/aig/gia/giaSimBase.c
    Generating dependency: /src/aig/gia/giaSim2.c Generating dependency: /src/aig/gia/giaSim.c
    Generating dependency: /src/aig/gia/giaShrink7.c Generating dependency: /src/aig/gia/giaShrink6.c
    Generating dependency: /src/aig/gia/giaShrink.c Generating dependency: /src/aig/gia/giaShow.c
    Generating dependency: /src/aig/gia/giaScript.c Generating dependency: /src/aig/gia/giaScl.c
    Generating dependency: /src/aig/gia/giaSat3.c Generating dependency: /src/aig/gia/giaSatoko.c
    Generating dependency: /src/aig/gia/giaSatMap.c Generating dependency: /src/aig/gia/giaSatLut.c
    Generating dependency: /src/aig/gia/giaSatLE.c Generating dependency: /src/aig/gia/giaSatEdge.c
    Generating dependency: /src/aig/gia/giaRex.c Generating dependency: /src/aig/gia/giaRetime.c
    Generating dependency: /src/aig/gia/giaResub3.c Generating dependency: /src/aig/gia/giaResub2.c
    Generating dependency: /src/aig/gia/giaResub.c Generating dependency: /src/aig/gia/giaReshape2.c
    Generating dependency: /src/aig/gia/giaReshape1.c Generating dependency: /src/aig/gia/giaQbf.c
    Generating dependency: /src/aig/gia/giaPf.c Generating dependency: /src/aig/gia/giaPat.c
    Generating dependency: /src/aig/gia/giaPack.c Generating dependency: /src/aig/gia/giaOf.c
    Generating dependency: /src/aig/gia/giaNf.c Generating dependency: /src/aig/gia/giaMuxes.c
    Generating dependency: /src/aig/gia/giaMinLut2.c Generating dependency: /src/aig/gia/giaMinLut.c
    Generating dependency: /src/aig/gia/giaMini.c Generating dependency: /src/aig/gia/giaMfs.c
    Generating dependency: /src/aig/gia/giaMem.c Generating dependency: /src/aig/gia/giaMan.c
    Generating dependency: /src/aig/gia/giaMf.c Generating dependency: /src/aig/gia/giaLf.c
    Generating dependency: /src/aig/gia/giaKf.c Generating dependency: /src/aig/gia/giaJf.c
    Generating dependency: /src/aig/gia/giaIso3.c Generating dependency: /src/aig/gia/giaIso2.c
    Generating dependency: /src/aig/gia/giaIso.c Generating dependency: /src/aig/gia/giaIiff.c
    Generating dependency: /src/aig/gia/giaIff.c Generating dependency: /src/aig/gia/giaIf.c
    Generating dependency: /src/aig/gia/giaHash.c Generating dependency: /src/aig/gia/giaGlitch.c
    Generating dependency: /src/aig/gia/giaGig.c Generating dependency: /src/aig/gia/giaGen.c
    Generating dependency: /src/aig/gia/giaFx.c Generating dependency: /src/aig/gia/giaFront.c
    Generating dependency: /src/aig/gia/giaFrames.c Generating dependency: /src/aig/gia/giaForce.c
    Generating dependency: /src/aig/gia/giaFanout.c Generating dependency: /src/aig/gia/giaFalse.c
    Generating dependency: /src/aig/gia/giaExist.c Generating dependency: /src/aig/gia/giaEsop.c
    Generating dependency: /src/aig/gia/giaEra2.c Generating dependency: /src/aig/gia/giaEra.c
    Generating dependency: /src/aig/gia/giaEquiv.c Generating dependency: /src/aig/gia/giaEnable.c
    Generating dependency: /src/aig/gia/giaEmbed.c Generating dependency: /src/aig/gia/giaEdge.c
    Generating dependency: /src/aig/gia/giaDup.c Generating dependency: /src/aig/gia/giaDfs.c
    Generating dependency: /src/aig/gia/giaDeep.c Generating dependency: /src/aig/gia/giaDecs.c
    Generating dependency: /src/aig/gia/giaCut.c Generating dependency: /src/aig/gia/giaCTas.c
    Generating dependency: /src/aig/gia/giaCSat2.c Generating dependency: /src/aig/gia/giaCSat.c
    Generating dependency: /src/aig/gia/giaCSatOld.c Generating dependency: /src/aig/gia/giaCone.c
    Generating dependency: /src/aig/gia/giaCof.c Generating dependency: /src/aig/gia/giaClp.c
    Generating dependency: /src/aig/gia/giaCex.c Generating dependency: /src/aig/gia/giaCCof.c
    Generating dependency: /src/aig/gia/giaBidec.c Generating dependency: /src/aig/gia/giaBalMap.c
    Generating dependency: /src/aig/gia/giaBalLut.c Generating dependency: /src/aig/gia/giaBalAig.c
    Generating dependency: /src/aig/gia/giaAigerExt.c Generating dependency: /src/aig/gia/giaAiger.c
    Generating dependency: /src/aig/gia/giaAgi.c Generating dependency: /src/aig/gia/giaAig.c
    Generating dependency: /src/aig/saig/saigWnd.c Generating dependency: /src/aig/saig/saigTrans.c
    Generating dependency: /src/aig/saig/saigTempor.c Generating dependency: /src/aig/saig/saigSynch.c
    Generating dependency: /src/aig/saig/saigSwitch.c Generating dependency: /src/aig/saig/saigStrSim.c
    Generating dependency: /src/aig/saig/saigSimSeq.c Generating dependency: /src/aig/saig/saigSimMv.c
    Generating dependency: /src/aig/saig/saigSimFast.c Generating dependency: /src/aig/saig/saigScl.c
    Generating dependency: /src/aig/saig/saigRetStep.c Generating dependency: /src/aig/saig/saigRetMin.c
    Generating dependency: /src/aig/saig/saigRetFwd.c Generating dependency: /src/aig/saig/saigPhase.c
    Generating dependency: /src/aig/saig/saigOutDec.c Generating dependency: /src/aig/saig/saigMiter.c
    Generating dependency: /src/aig/saig/saigIsoSlow.c Generating dependency: /src/aig/saig/saigIsoFast.c
    Generating dependency: /src/aig/saig/saigIso.c Generating dependency: /src/aig/saig/saigIoa.c
    Generating dependency: /src/aig/saig/saigInd.c Generating dependency: /src/aig/saig/saigDup.c
    Generating dependency: /src/aig/saig/saigDual.c Generating dependency: /src/aig/saig/saigConstr2.c
    Generating dependency: /src/aig/saig/saigConstr.c Generating dependency: /src/aig/saig/saigCone.c
    Generating dependency: /src/aig/aig/aigWin.c Generating dependency: /src/aig/aig/aigUtil.c
    Generating dependency: /src/aig/aig/aigTruth.c Generating dependency: /src/aig/aig/aigTiming.c
    Generating dependency: /src/aig/aig/aigTsim.c Generating dependency: /src/aig/aig/aigTable.c
    Generating dependency: /src/aig/aig/aigSplit.c Generating dependency: /src/aig/aig/aigShow.c
    Generating dependency: /src/aig/aig/aigScl.c Generating dependency: /src/aig/aig/aigRetF.c
    Generating dependency: /src/aig/aig/aigRet.c Generating dependency: /src/aig/aig/aigRepr.c
    Generating dependency: /src/aig/aig/aigPartSat.c Generating dependency: /src/aig/aig/aigPartReg.c
    Generating dependency: /src/aig/aig/aigPart.c Generating dependency: /src/aig/aig/aigPack.c
    Generating dependency: /src/aig/aig/aigOrder.c Generating dependency: /src/aig/aig/aigOper.c
    Generating dependency: /src/aig/aig/aigObj.c Generating dependency: /src/aig/aig/aigMffc.c
    Generating dependency: /src/aig/aig/aigMem.c Generating dependency: /src/aig/aig/aigMan.c
    Generating dependency: /src/aig/aig/aigJust.c Generating dependency: /src/aig/aig/aigInter.c
    Generating dependency: /src/aig/aig/aigFrames.c Generating dependency: /src/aig/aig/aigFanout.c
    Generating dependency: /src/aig/aig/aigDup.c Generating dependency: /src/aig/aig/aigDfs.c
    Generating dependency: /src/aig/aig/aigCuts.c Generating dependency: /src/aig/aig/aigCanon.c
    Generating dependency: /src/aig/aig/aigCheck.c Generating dependency: /src/proof/ssw/sswUnique.c
    Generating dependency: /src/proof/ssw/sswSweep.c Generating dependency: /src/proof/ssw/sswSimSat.c
    Generating dependency: /src/proof/ssw/sswSim.c Generating dependency: /src/proof/ssw/sswSemi.c
    Generating dependency: /src/proof/ssw/sswSat.c Generating dependency: /src/proof/ssw/sswRarity.c
    Generating dependency: /src/proof/ssw/sswPairs.c Generating dependency: /src/proof/ssw/sswPart.c
    Generating dependency: /src/proof/ssw/sswMan.c Generating dependency: /src/proof/ssw/sswLcorr.c
    Generating dependency: /src/proof/ssw/sswIslands.c Generating dependency: /src/proof/ssw/sswFilter.c
    Generating dependency: /src/proof/ssw/sswDyn.c Generating dependency: /src/proof/ssw/sswCore.c
    Generating dependency: /src/proof/ssw/sswConstr.c Generating dependency: /src/proof/ssw/sswCnf.c
    Generating dependency: /src/proof/ssw/sswClass.c Generating dependency: /src/proof/ssw/sswBmc.c
    Generating dependency: /src/proof/ssw/sswAig.c Generating dependency: /src/proof/fra/fraSim.c
    Generating dependency: /src/proof/fra/fraSec.c Generating dependency: /src/proof/fra/fraSat.c
    Generating dependency: /src/proof/fra/fraPart.c Generating dependency: /src/proof/fra/fraMan.c
    Generating dependency: /src/proof/fra/fraLcr.c Generating dependency: /src/proof/fra/fraIndVer.c
    Generating dependency: /src/proof/fra/fraInd.c Generating dependency: /src/proof/fra/fraImp.c
    Generating dependency: /src/proof/fra/fraHot.c Generating dependency: /src/proof/fra/fraCore.c
    Generating dependency: /src/proof/fra/fraCnf.c Generating dependency: /src/proof/fra/fraClaus.c
    Generating dependency: /src/proof/fra/fraClau.c Generating dependency: /src/proof/fra/fraClass.c
    Generating dependency: /src/proof/fra/fraCec.c Generating dependency: /src/proof/fra/fraBmc.c
    Generating dependency: /src/proof/fraig/fraigVec.c Generating dependency: /src/proof/fraig/fraigUtil.c
    Generating dependency: /src/proof/fraig/fraigTable.c Generating dependency: /src/proof/fraig/fraigSat.c
    Generating dependency: /src/proof/fraig/fraigPrime.c Generating dependency: /src/proof/fraig/fraigNode.c
    Generating dependency: /src/proof/fraig/fraigMem.c Generating dependency: /src/proof/fraig/fraigMan.c
    Generating dependency: /src/proof/fraig/fraigFeed.c Generating dependency: /src/proof/fraig/fraigFanout.c
    Generating dependency: /src/proof/fraig/fraigCanon.c Generating dependency: /src/proof/fraig/fraigApi.c
    Generating dependency: /src/proof/dch/dchSweep.c Generating dependency: /src/proof/dch/dchSim.c
    Generating dependency: /src/proof/dch/dchSimSat.c Generating dependency: /src/proof/dch/dchSat.c
    Generating dependency: /src/proof/dch/dchMan.c Generating dependency: /src/proof/dch/dchCore.c
    Generating dependency: /src/proof/dch/dchCnf.c Generating dependency: /src/proof/dch/dchClass.c
    Generating dependency: /src/proof/dch/dchChoice.c Generating dependency: /src/proof/dch/dchAig.c
    Generating dependency: /src/proof/acec/acecXor.c Generating dependency: /src/proof/acec/acec2Mult.c
    Generating dependency: /src/proof/acec/acecUtil.c Generating dependency: /src/proof/acec/acecTree.c
    Generating dependency: /src/proof/acec/acecSt.c Generating dependency: /src/proof/acec/acecPolyn.c
    Generating dependency: /src/proof/acec/acecOrder.c Generating dependency: /src/proof/acec/acecNorm.c
    Generating dependency: /src/proof/acec/acecMult.c Generating dependency: /src/proof/acec/acecFadds.c
    Generating dependency: /src/proof/acec/acecCover.c Generating dependency: /src/proof/acec/acecPool.c
    Generating dependency: /src/proof/acec/acecPo.c Generating dependency: /src/proof/acec/acecPa.c
    Generating dependency: /src/proof/acec/acecRe.c Generating dependency: /src/proof/acec/acecBo.c
    Generating dependency: /src/proof/acec/acecCo.c Generating dependency: /src/proof/acec/acecCore.c
    Generating dependency: /src/proof/acec/acecCl.c Generating dependency: /src/proof/cec/cecSweep.c
    Generating dependency: /src/proof/cec/cecSynth.c Generating dependency: /src/proof/cec/cecSplit.c
    Generating dependency: /src/proof/cec/cecSolveG.c Generating dependency: /src/proof/cec/cecSolve.c
    Generating dependency: /src/proof/cec/cecSim.c Generating dependency: /src/proof/cec/cecSeq.c
    Generating dependency: /src/proof/cec/cecSatG2.c Generating dependency: /src/proof/cec/cecSatG.c
    Generating dependency: /src/proof/cec/cecSat.c Generating dependency: /src/proof/cec/cecPat.c
    Generating dependency: /src/proof/cec/cecMan.c Generating dependency: /src/proof/cec/cecIso.c
    Generating dependency: /src/proof/cec/cecCorr.c Generating dependency: /src/proof/cec/cecCore.c
    Generating dependency: /src/proof/cec/cecClass.c Generating dependency: /src/proof/cec/cecChoice.c
    Generating dependency: /src/proof/cec/cecCec.c Generating dependency: /src/proof/int/intUtil.c
    Generating dependency: /src/proof/int/intMan.c Generating dependency: /src/proof/int/intM114.c
    Generating dependency: /src/proof/int/intInter.c Generating dependency: /src/proof/int/intFrames.c
    Generating dependency: /src/proof/int/intDup.c Generating dependency: /src/proof/int/intCtrex.c
    Generating dependency: /src/proof/int/intCore.c Generating dependency: /src/proof/int/intContain.c
    Generating dependency: /src/proof/int/intCheck.c Generating dependency: /src/proof/ssc/sscUtil.c
    Generating dependency: /src/proof/ssc/sscSim.c Generating dependency: /src/proof/ssc/sscSat.c
    Generating dependency: /src/proof/ssc/sscCore.c Generating dependency: /src/proof/ssc/sscClass.c
    Generating dependency: /src/proof/live/combination.c Generating dependency: /src/proof/live/kLiveConstraints.c
    Generating dependency: /src/proof/live/arenaViolation.c Generating dependency: /src/proof/live/disjunctiveMonotone.c
    Generating dependency: /src/proof/live/monotone.c Generating dependency: /src/proof/live/kliveness.c
    Generating dependency: /src/proof/live/ltl_parser.c Generating dependency: /src/proof/live/liveness_sim.c
    Generating dependency: /src/proof/live/liveness.c Generating dependency: /src/proof/abs/absUtil.c
    Generating dependency: /src/proof/abs/absVta.c Generating dependency: /src/proof/abs/absRpmOld.c
    Generating dependency: /src/proof/abs/absRpm.c Generating dependency: /src/proof/abs/absRefSelect.c
    Generating dependency: /src/proof/abs/absRef.c Generating dependency: /src/proof/abs/absPth.c
    Generating dependency: /src/proof/abs/absOut.c Generating dependency: /src/proof/abs/absOldSim.c
    Generating dependency: /src/proof/abs/absOldSat.c Generating dependency: /src/proof/abs/absOldRef.c
    Generating dependency: /src/proof/abs/absOldCex.c Generating dependency: /src/proof/abs/absIter.c
    Generating dependency: /src/proof/abs/absGlaOld.c Generating dependency: /src/proof/abs/absGla.c
    Generating dependency: /src/proof/abs/absDup.c Generating dependency: /src/proof/pdr/pdrUtil.c
    Generating dependency: /src/proof/pdr/pdrTsim3.c Generating dependency: /src/proof/pdr/pdrTsim2.c
    Generating dependency: /src/proof/pdr/pdrTsim.c Generating dependency: /src/proof/pdr/pdrSat.c
    Generating dependency: /src/proof/pdr/pdrMan.c Generating dependency: /src/proof/pdr/pdrInv.c
    Generating dependency: /src/proof/pdr/pdrIncr.c Generating dependency: /src/proof/pdr/pdrCore.c
    Generating dependency: /src/proof/pdr/pdrCnf.c Generating dependency: /src/bool/rpo/rpo.c
    Generating dependency: /src/bool/rsb/rsbMan.c Generating dependency: /src/bool/rsb/rsbDec6.c
    Generating dependency: /src/bool/lucky/luckySwap.c Generating dependency: /src/bool/lucky/luckySwapIJ.c
    Generating dependency: /src/bool/lucky/luckySimple.c Generating dependency: /src/bool/lucky/luckyRead.c
    Generating dependency: /src/bool/lucky/luckyFast6.c Generating dependency: /src/bool/lucky/luckyFast16.c
    Generating dependency: /src/bool/lucky/lucky.c Generating dependency: /src/bool/kit/kitTruth.c
    Generating dependency: /src/bool/kit/kitSop.c Generating dependency: /src/bool/kit/kitPla.c
    Generating dependency: /src/bool/kit/kitIsop.c Generating dependency: /src/bool/kit/kitHop.c
    Generating dependency: /src/bool/kit/kitGraph.c Generating dependency: /src/bool/kit/kitFactor.c
    Generating dependency: /src/bool/kit/kitDsd.c Generating dependency: /src/bool/kit/cloud.c
    Generating dependency: /src/bool/kit/kitCloud.c Generating dependency: /src/bool/kit/kitBdd.c
    Generating dependency: /src/bool/kit/kitAig.c Generating dependency: /src/bool/dec/decUtil.c
    Generating dependency: /src/bool/dec/decPrint.c Generating dependency: /src/bool/dec/decMan.c
    Generating dependency: /src/bool/dec/decFactor.c Generating dependency: /src/bool/dec/decAbc.c
    Generating dependency: /src/bool/bdc/bdcTable.c Generating dependency: /src/bool/bdc/bdcSpfd.c
    Generating dependency: /src/bool/bdc/bdcDec.c Generating dependency: /src/bool/bdc/bdcCore.c
    Generating dependency: /src/sat/bmc/bmcUnroll.c Generating dependency: /src/sat/bmc/bmcMulti.c
    Generating dependency: /src/sat/bmc/bmcMesh2.c Generating dependency: /src/sat/bmc/bmcMesh.c
    Generating dependency: /src/sat/bmc/bmcMaxi.c Generating dependency: /src/sat/bmc/bmcMaj3.c
    Generating dependency: /src/sat/bmc/bmcMaj2.c Generating dependency: /src/sat/bmc/bmcMaj.c
    Generating dependency: /src/sat/bmc/bmcLoad.c Generating dependency: /src/sat/bmc/bmcInse.c
    Generating dependency: /src/sat/bmc/bmcICheck.c Generating dependency: /src/sat/bmc/bmcGen.c
    Generating dependency: /src/sat/bmc/bmcFx.c Generating dependency: /src/sat/bmc/bmcFault.c
    Generating dependency: /src/sat/bmc/bmcExpand.c Generating dependency: /src/sat/bmc/bmcEco.c
    Generating dependency: /src/sat/bmc/bmcClp.c Generating dependency: /src/sat/bmc/bmcChain.c
    Generating dependency: /src/sat/bmc/bmcCexTools.c Generating dependency: /src/sat/bmc/bmcCexMin2.c
    Generating dependency: /src/sat/bmc/bmcCexMin1.c Generating dependency: /src/sat/bmc/bmcCexDepth.c
    Generating dependency: /src/sat/bmc/bmcCexCut.c Generating dependency: /src/sat/bmc/bmcCexCare.c
    Generating dependency: /src/sat/bmc/bmcBmcS.c Generating dependency: /src/sat/bmc/bmcBmcG.c
    Generating dependency: /src/sat/bmc/bmcBmci.c Generating dependency: /src/sat/bmc/bmcBmcAnd.c
    Generating dependency: /src/sat/bmc/bmcBmc3.c Generating dependency: /src/sat/bmc/bmcBmc2.c
    Generating dependency: /src/sat/bmc/bmcBmc.c Generating dependency: /src/sat/bmc/bmcBCore.c
    Generating dependency: /src/sat/cnf/cnfWrite.c Generating dependency: /src/sat/cnf/cnfUtil.c
    Generating dependency: /src/sat/cnf/cnfPost.c Generating dependency: /src/sat/cnf/cnfMap.c
    Generating dependency: /src/sat/cnf/cnfMan.c Generating dependency: /src/sat/cnf/cnfFast.c
    Generating dependency: /src/sat/cnf/cnfData.c Generating dependency: /src/sat/cnf/cnfCut.c
    Generating dependency: /src/sat/cnf/cnfCore.c Generating dependency: /src/sat/msat/msatVec.c
    Generating dependency: /src/sat/msat/msatSort.c Generating dependency: /src/sat/msat/msatSolverSearch.c
    Generating dependency: /src/sat/msat/msatSolverIo.c Generating dependency: /src/sat/msat/msatSolverCore.c
    Generating dependency: /src/sat/msat/msatSolverApi.c Generating dependency: /src/sat/msat/msatRead.c
    Generating dependency: /src/sat/msat/msatQueue.c Generating dependency: /src/sat/msat/msatOrderH.c
    Generating dependency: /src/sat/msat/msatMem.c Generating dependency: /src/sat/msat/msatClauseVec.c
    Generating dependency: /src/sat/msat/msatClause.c Generating dependency: /src/sat/msat/msatActivity.c
    Generating dependency: /src/sat/csat/csat_apis.c Generating dependency: /src/sat/satoko/cnf_reader.c
    Generating dependency: /src/sat/satoko/solver_api.c Generating dependency: /src/sat/satoko/solver.c
    Generating dependency: /src/sat/xsat/xsatCnfReader.c Generating dependency: /src/sat/xsat/xsatSolverAPI.c
    Generating dependency: /src/sat/xsat/xsatSolver.c Generating dependency: /src/sat/bsat/satUtil.c
    Generating dependency: /src/sat/bsat/satTruth.c Generating dependency: /src/sat/bsat/satTrace.c
    Generating dependency: /src/sat/bsat/satStore.c Generating dependency: /src/sat/bsat/satSolver3.c
    Generating dependency: /src/sat/bsat/satSolver2i.c Generating dependency: /src/sat/bsat/satSolver2.c
    Generating dependency: /src/sat/bsat/satSolver.c Generating dependency: /src/sat/bsat/satProof.c
    Generating dependency: /src/sat/bsat/satInterP.c Generating dependency: /src/sat/bsat/satInterB.c
    Generating dependency: /src/sat/bsat/satInterA.c Generating dependency: /src/sat/bsat/satInter.c
    Generating dependency: /src/sat/bsat/satMem.c Generating dependency: /src/opt/sbd/sbdWin.c
    Generating dependency: /src/opt/sbd/sbdPath.c Generating dependency: /src/opt/sbd/sbdSat.c
    Generating dependency: /src/opt/sbd/sbdLut.c Generating dependency: /src/opt/sbd/sbdCut2.c
    Generating dependency: /src/opt/sbd/sbdCut.c Generating dependency: /src/opt/sbd/sbdCore.c
    Generating dependency: /src/opt/sbd/sbdCnf.c Generating dependency: /src/opt/sbd/sbd.c
    Generating dependency: /src/opt/sfm/sfmMit.c Generating dependency: /src/opt/sfm/sfmWin.c
    Generating dependency: /src/opt/sfm/sfmTim.c Generating dependency: /src/opt/sfm/sfmSat.c
    Generating dependency: /src/opt/sfm/sfmNtk.c Generating dependency: /src/opt/sfm/sfmLib.c
    Generating dependency: /src/opt/sfm/sfmDec.c Generating dependency: /src/opt/sfm/sfmCore.c
    Generating dependency: /src/opt/sfm/sfmCnf.c Generating dependency: /src/opt/sfm/sfmArea.c
    Generating dependency: /src/opt/dsc/dsc.c Generating dependency: /src/opt/dau/dauTree.c
    Generating dependency: /src/opt/dau/dauNpn2.c Generating dependency: /src/opt/dau/dauNpn.c
    Generating dependency: /src/opt/dau/dauNonDsd.c Generating dependency: /src/opt/dau/dauMerge.c
    Generating dependency: /src/opt/dau/dauGia.c Generating dependency: /src/opt/dau/dauEnum.c
    Generating dependency: /src/opt/dau/dauDsd.c Generating dependency: /src/opt/dau/dauDivs.c
    Generating dependency: /src/opt/dau/dauCount.c Generating dependency: /src/opt/dau/dauCore.c
    Generating dependency: /src/opt/dau/dauCanon.c Generating dependency: /src/opt/dar/darScript.c
    Generating dependency: /src/opt/dar/darRefact.c Generating dependency: /src/opt/dar/darPrec.c
    Generating dependency: /src/opt/dar/darMan.c Generating dependency: /src/opt/dar/darLib.c
    Generating dependency: /src/opt/dar/darData.c Generating dependency: /src/opt/dar/darCut.c
    Generating dependency: /src/opt/dar/darCore.c Generating dependency: /src/opt/dar/darBalance.c
    Generating dependency: /src/opt/csw/cswTable.c Generating dependency: /src/opt/csw/cswMan.c
    Generating dependency: /src/opt/csw/cswCut.c Generating dependency: /src/opt/csw/cswCore.c
    Generating dependency: /src/opt/cgt/cgtSat.c Generating dependency: /src/opt/cgt/cgtMan.c
    Generating dependency: /src/opt/cgt/cgtDecide.c Generating dependency: /src/opt/cgt/cgtCore.c
    Generating dependency: /src/opt/cgt/cgtAig.c Generating dependency: /src/opt/rwt/rwtUtil.c
    Generating dependency: /src/opt/rwt/rwtMan.c Generating dependency: /src/opt/rwt/rwtDec.c
    Generating dependency: /src/opt/nwk/nwkUtil.c Generating dependency: /src/opt/nwk/nwkTiming.c
    Generating dependency: /src/opt/nwk/nwkStrash.c Generating dependency: /src/opt/nwk/nwkSpeedup.c
    Generating dependency: /src/opt/nwk/nwkObj.c Generating dependency: /src/opt/nwk/nwkMerge.c
    Generating dependency: /src/opt/nwk/nwkMap.c Generating dependency: /src/opt/nwk/nwkMan.c
    Generating dependency: /src/opt/nwk/nwkFlow.c Generating dependency: /src/opt/nwk/nwkFanio.c
    Generating dependency: /src/opt/nwk/nwkDfs.c Generating dependency: /src/opt/nwk/nwkBidec.c
    Generating dependency: /src/opt/nwk/nwkCheck.c Generating dependency: /src/opt/nwk/nwkAig.c
    Generating dependency: /src/opt/lpk/lpkSets.c Generating dependency: /src/opt/lpk/lpkMux.c
    Generating dependency: /src/opt/lpk/lpkMulti.c Generating dependency: /src/opt/lpk/lpkMap.c
    Generating dependency: /src/opt/lpk/lpkMan.c Generating dependency: /src/opt/lpk/lpkCut.c
    Generating dependency: /src/opt/lpk/lpkAbcUtil.c Generating dependency: /src/opt/lpk/lpkAbcDsd.c
    Generating dependency: /src/opt/lpk/lpkAbcMux.c Generating dependency: /src/opt/lpk/lpkAbcDec.c
    Generating dependency: /src/opt/lpk/lpkCore.c Generating dependency: /src/opt/res/resWin.c
    Generating dependency: /src/opt/res/resStrash.c Generating dependency: /src/opt/res/resSim.c
    Generating dependency: /src/opt/res/resSat.c Generating dependency: /src/opt/res/resFilter.c
    Generating dependency: /src/opt/res/resDivs.c Generating dependency: /src/opt/res/resCore.c
    Generating dependency: /src/opt/fret/fretTime.c Generating dependency: /src/opt/fret/fretInit.c
    Generating dependency: /src/opt/fret/fretFlow.c Generating dependency: /src/opt/fret/fretMain.c
    Generating dependency: /src/opt/ret/retLvalue.c Generating dependency: /src/opt/ret/retInit.c
    Generating dependency: /src/opt/ret/retIncrem.c Generating dependency: /src/opt/ret/retFlow.c
    Generating dependency: /src/opt/ret/retDelay.c Generating dependency: /src/opt/ret/retCore.c
    Generating dependency: /src/opt/ret/retArea.c Generating dependency: /src/opt/sim/simUtils.c
    Generating dependency: /src/opt/sim/simSymStr.c Generating dependency: /src/opt/sim/simSymSim.c
    Generating dependency: /src/opt/sim/simSymSat.c Generating dependency: /src/opt/sim/simSym.c
    Generating dependency: /src/opt/sim/simSwitch.c Generating dependency: /src/opt/sim/simSupp.c
    Generating dependency: /src/opt/sim/simSeq.c Generating dependency: /src/opt/sim/simMan.c
    Generating dependency: /src/opt/mfs/mfsWin.c Generating dependency: /src/opt/mfs/mfsStrash.c
    Generating dependency: /src/opt/mfs/mfsSat.c Generating dependency: /src/opt/mfs/mfsResub.c
    Generating dependency: /src/opt/mfs/mfsMan.c Generating dependency: /src/opt/mfs/mfsInter.c
    Generating dependency: /src/opt/mfs/mfsDiv.c Generating dependency: /src/opt/mfs/mfsCore.c
    Generating dependency: /src/opt/rwr/rwrUtil.c Generating dependency: /src/opt/rwr/rwrPrint.c
    Generating dependency: /src/opt/rwr/rwrMan.c Generating dependency: /src/opt/rwr/rwrLib.c
    Generating dependency: /src/opt/rwr/rwrExp.c Generating dependency: /src/opt/rwr/rwrEva.c
    Generating dependency: /src/opt/rwr/rwrDec.c Generating dependency: /src/opt/fxch/FxchSCHashTable.c
    Generating dependency: /src/opt/fxch/FxchMan.c Generating dependency: /src/opt/fxch/FxchDiv.c
    Generating dependency: /src/opt/fxch/Fxch.c Generating dependency: /src/opt/fxu/fxuUpdate.c
    Generating dependency: /src/opt/fxu/fxuSingle.c Generating dependency: /src/opt/fxu/fxuSelect.c
    Generating dependency: /src/opt/fxu/fxuReduce.c Generating dependency: /src/opt/fxu/fxuPrint.c
    Generating dependency: /src/opt/fxu/fxuPair.c Generating dependency: /src/opt/fxu/fxuMatrix.c
    Generating dependency: /src/opt/fxu/fxuList.c Generating dependency: /src/opt/fxu/fxuHeapS.c
    Generating dependency: /src/opt/fxu/fxuHeapD.c Generating dependency: /src/opt/fxu/fxuCreate.c
    Generating dependency: /src/opt/fxu/fxu.c Generating dependency: /src/opt/cut/cutTruth.c
    Generating dependency: /src/opt/cut/cutSeq.c Generating dependency: /src/opt/cut/cutPre22.c
    Generating dependency: /src/opt/cut/cutOracle.c Generating dependency: /src/opt/cut/cutNode.c
    Generating dependency: /src/opt/cut/cutMerge.c Generating dependency: /src/opt/cut/cutMan.c
    Generating dependency: /src/opt/cut/cutCut.c Generating dependency: /src/opt/cut/cutApi.c
    Generating dependency: /src/misc/parse/parseStack.c Generating dependency: /src/misc/parse/parseEqn.c
    Generating dependency: /src/misc/bbl/bblif.c Generating dependency: /src/misc/bar/bar.c
    Generating dependency: /src/misc/mem/mem.c Generating dependency: /src/misc/zlib/zutil.c
    Generating dependency: /src/misc/zlib/uncompr.c Generating dependency: /src/misc/zlib/trees.c
    Generating dependency: /src/misc/zlib/inftrees.c Generating dependency: /src/misc/zlib/inflate.c
    Generating dependency: /src/misc/zlib/inffast.c Generating dependency: /src/misc/zlib/infback.c
    Generating dependency: /src/misc/zlib/gzwrite.c Generating dependency: /src/misc/zlib/gzread.c
    Generating dependency: /src/misc/zlib/gzlib.c Generating dependency: /src/misc/zlib/gzclose.c
    Generating dependency: /src/misc/zlib/deflate.c Generating dependency: /src/misc/zlib/crc32.c
    Generating dependency: /src/misc/zlib/compress_.c Generating dependency: /src/misc/zlib/adler32.c
    Generating dependency: /src/misc/bzlib/randtable.c Generating dependency: /src/misc/bzlib/huffman.c
    Generating dependency: /src/misc/bzlib/decompress.c Generating dependency: /src/misc/bzlib/crctable.c
    Generating dependency: /src/misc/bzlib/compress.c Generating dependency: /src/misc/bzlib/bzlib.c
    Generating dependency: /src/misc/bzlib/blocksort.c Generating dependency: /src/misc/tim/timTrav.c
    Generating dependency: /src/misc/tim/timTime.c Generating dependency: /src/misc/tim/timMan.c
    Generating dependency: /src/misc/tim/timDump.c Generating dependency: /src/misc/tim/timBox.c
    Generating dependency: /src/misc/nm/nmTable.c Generating dependency: /src/misc/nm/nmApi.c
    Generating dependency: /src/misc/util/utilSort.c Generating dependency: /src/misc/util/utilSignal.c
    Generating dependency: /src/misc/util/utilNam.c Generating dependency: /src/misc/util/utilIsop.c
    Generating dependency: /src/misc/util/utilFile.c Generating dependency: /src/misc/util/utilColor.c
    Generating dependency: /src/misc/util/utilBridge.c Generating dependency: /src/misc/util/utilCex.c
    Generating dependency: /src/misc/st/stmm.c Generating dependency: /src/misc/st/st.c
    Generating dependency: /src/misc/mvc/mvcUtils.c Generating dependency: /src/misc/mvc/mvcSort.c
    Generating dependency: /src/misc/mvc/mvcPrint.c Generating dependency: /src/misc/mvc/mvcOpBool.c
    Generating dependency: /src/misc/mvc/mvcOpAlg.c Generating dependency: /src/misc/mvc/mvcMan.c
    Generating dependency: /src/misc/mvc/mvcLits.c Generating dependency: /src/misc/mvc/mvcList.c
    Generating dependency: /src/misc/mvc/mvcDivisor.c Generating dependency: /src/misc/mvc/mvcDivide.c
    Generating dependency: /src/misc/mvc/mvcCube.c Generating dependency: /src/misc/mvc/mvcCover.c
    Generating dependency: /src/misc/mvc/mvcCompare.c Generating dependency: /src/misc/mvc/mvcContain.c
    Generating dependency: /src/misc/mvc/mvcApi.c Generating dependency: /src/misc/extra/extraUtilUtil.c
    Generating dependency: /src/misc/extra/extraUtilTruth.c Generating dependency: /src/misc/extra/extraUtilSupp.c
    Generating dependency: /src/misc/extra/extraUtilReader.c Generating dependency: /src/misc/extra/extraUtilProgress.c
    Generating dependency: /src/misc/extra/extraUtilPerm.c Generating dependency: /src/misc/extra/extraUtilPath.c
    Generating dependency: /src/misc/extra/extraUtilMult.c Generating dependency: /src/misc/extra/extraUtilMisc.c
    Generating dependency: /src/misc/extra/extraUtilMemory.c Generating dependency: /src/misc/extra/extraUtilMaj.c
    Generating dependency: /src/misc/extra/extraUtilMacc.c Generating dependency: /src/misc/extra/extraUtilGen.c
    Generating dependency: /src/misc/extra/extraUtilFile.c Generating dependency: /src/misc/extra/extraUtilEnum.c
    Generating dependency: /src/misc/extra/extraUtilDsd.c Generating dependency: /src/misc/extra/extraUtilCube.c
    Generating dependency: /src/misc/extra/extraUtilCfs.c Generating dependency: /src/misc/extra/extraUtilCanon.c
    Generating dependency: /src/misc/extra/extraUtilBitMatrix.c Generating dependency: /src/map/mpm/mpmTruth.c
    Generating dependency: /src/map/mpm/mpmUtil.c Generating dependency: /src/map/mpm/mpmPre.c
    Generating dependency: /src/map/mpm/mpmMig.c Generating dependency: /src/map/mpm/mpmMap.c
    Generating dependency: /src/map/mpm/mpmMan.c Generating dependency: /src/map/mpm/mpmLib.c
    Generating dependency: /src/map/mpm/mpmGates.c Generating dependency: /src/map/mpm/mpmDsd.c
    Generating dependency: /src/map/mpm/mpmCore.c Generating dependency: /src/map/mpm/mpmAbc.c
    Generating dependency: /src/map/scl/sclUtil.c Generating dependency: /src/map/scl/sclUpsize.c
    Generating dependency: /src/map/scl/sclSize.c Generating dependency: /src/map/scl/sclLoad.c
    Generating dependency: /src/map/scl/sclLibUtil.c Generating dependency: /src/map/scl/sclLibScl.c
    Generating dependency: /src/map/scl/sclLiberty.c Generating dependency: /src/map/scl/sclDnsize.c
    Generating dependency: /src/map/scl/sclBufSize.c Generating dependency: /src/map/scl/sclBuffer.c
    Generating dependency: /src/map/scl/scl.c Generating dependency: /src/map/cov/covMinUtil.c
    Generating dependency: /src/map/cov/covMinSop.c Generating dependency: /src/map/cov/covMinMan.c
    Generating dependency: /src/map/cov/covMinEsop.c Generating dependency: /src/map/cov/covMan.c
    Generating dependency: /src/map/cov/covCore.c Generating dependency: /src/map/cov/covBuild.c
    Generating dependency: /src/map/amap/amapUniq.c Generating dependency: /src/map/amap/amapRule.c
    Generating dependency: /src/map/amap/amapRead.c Generating dependency: /src/map/amap/amapPerm.c
    Generating dependency: /src/map/amap/amapParse.c Generating dependency: /src/map/amap/amapOutput.c
    Generating dependency: /src/map/amap/amapMerge.c Generating dependency: /src/map/amap/amapMatch.c
    Generating dependency: /src/map/amap/amapMan.c Generating dependency: /src/map/amap/amapLiberty.c
    Generating dependency: /src/map/amap/amapLib.c Generating dependency: /src/map/amap/amapGraph.c
    Generating dependency: /src/map/amap/amapCore.c Generating dependency: /src/map/if/ifUtil.c
    Generating dependency: /src/map/if/ifTune.c Generating dependency: /src/map/if/ifTruth.c
    Generating dependency: /src/map/if/ifTime.c Generating dependency: /src/map/if/ifTest.c
    Generating dependency: /src/map/if/ifSeq.c Generating dependency: /src/map/if/ifSelect.c
    Generating dependency: /src/map/if/ifSat.c Generating dependency: /src/map/if/ifReduce.c
    Generating dependency: /src/map/if/ifMatch2.c Generating dependency: /src/map/if/ifMap.c
    Generating dependency: /src/map/if/ifMan.c Generating dependency: /src/map/if/ifLibLut.c
    Generating dependency: /src/map/if/ifLibBox.c Generating dependency: /src/map/if/ifDsd.c
    Generating dependency: /src/map/if/ifDelay.c Generating dependency: /src/map/if/ifDec75.c
    Generating dependency: /src/map/if/ifDec16.c Generating dependency: /src/map/if/ifDec10.c
    Generating dependency: /src/map/if/ifDec08.c Generating dependency: /src/map/if/ifDec07.c
    Generating dependency: /src/map/if/ifData2.c Generating dependency: /src/map/if/ifCut.c
    Generating dependency: /src/map/if/ifCore.c Generating dependency: /src/map/if/ifCache.c
    Generating dependency: /src/map/if/ifCom.c Generating dependency: /src/map/super/superGate.c
    Generating dependency: /src/map/super/superAnd.c Generating dependency: /src/map/super/super.c
    Generating dependency: /src/map/mio/mioUtils.c Generating dependency: /src/map/mio/mioSop.c
    Generating dependency: /src/map/mio/mioRead.c Generating dependency: /src/map/mio/mioParse.c
    Generating dependency: /src/map/mio/mioFunc.c Generating dependency: /src/map/mio/mioApi.c
    Generating dependency: /src/map/mio/mio.c Generating dependency: /src/map/mapper/mapperVec.c
    Generating dependency: /src/map/mapper/mapperUtils.c Generating dependency: /src/map/mapper/mapperTruth.c
    Generating dependency: /src/map/mapper/mapperTree.c Generating dependency: /src/map/mapper/mapperTime.c
    Generating dependency: /src/map/mapper/mapperTable.c Generating dependency: /src/map/mapper/mapperSwitch.c
    Generating dependency: /src/map/mapper/mapperSuper.c Generating dependency: /src/map/mapper/mapperRefs.c
    Generating dependency: /src/map/mapper/mapperMatch.c Generating dependency: /src/map/mapper/mapperLib.c
    Generating dependency: /src/map/mapper/mapperCutUtils.c Generating dependency: /src/map/mapper/mapperCut.c
    Generating dependency: /src/map/mapper/mapperCreate.c Generating dependency: /src/map/mapper/mapperCore.c
    Generating dependency: /src/map/mapper/mapperCanon.c Generating dependency: /src/map/mapper/mapper.c
    Generating dependency: /src/base/test/test.c Generating dependency: /src/base/pla/plaWrite.c
    Generating dependency: /src/base/pla/plaRead.c Generating dependency: /src/base/pla/plaSimple.c
    Generating dependency: /src/base/pla/plaMerge.c Generating dependency: /src/base/pla/plaMan.c
    Generating dependency: /src/base/pla/plaHash.c Generating dependency: /src/base/pla/plaCom.c
    Generating dependency: /src/base/cba/cbaWriteVer.c Generating dependency: /src/base/cba/cbaWriteBlif.c
    Generating dependency: /src/base/cba/cbaReadVer.c Generating dependency: /src/base/cba/cbaReadBlif.c
    Generating dependency: /src/base/cba/cbaNtk.c Generating dependency: /src/base/cba/cbaCom.c
    Generating dependency: /src/base/cba/cbaCba.c Generating dependency: /src/base/cba/cbaBlast.c
    Generating dependency: /src/base/bac/bacWriteVer.c Generating dependency: /src/base/bac/bacWriteSmt.c
    Generating dependency: /src/base/bac/bacWriteBlif.c Generating dependency: /src/base/bac/bacReadVer.c
    Generating dependency: /src/base/bac/bacReadSmt.c Generating dependency: /src/base/bac/bacReadBlif.c
    Generating dependency: /src/base/bac/bacPtrAbc.c Generating dependency: /src/base/bac/bacPtr.c
    Generating dependency: /src/base/bac/bacPrsTrans.c Generating dependency: /src/base/bac/bacPrsBuild.c
    Generating dependency: /src/base/bac/bacNtk.c Generating dependency: /src/base/bac/bacLib.c
    Generating dependency: /src/base/bac/bacCom.c Generating dependency: /src/base/bac/bacBac.c
    Generating dependency: /src/base/bac/bacBlast.c Generating dependency: /src/base/acb/acbUtil.c
    Generating dependency: /src/base/acb/acbTest.c Generating dependency: /src/base/acb/acbSets.c
    Generating dependency: /src/base/acb/acbPush.c Generating dependency: /src/base/acb/acbMfs.c
    Generating dependency: /src/base/acb/acbFunc.c Generating dependency: /src/base/acb/acbCom.c
    Generating dependency: /src/base/acb/acbAig.c Generating dependency: /src/base/acb/acbAbc.c
    Generating dependency: /src/base/wln/wlnWriteVer.c Generating dependency: /src/base/wln/wlnWlc.c
    Generating dependency: /src/base/wln/wlnRetime.c Generating dependency: /src/base/wln/wlnObj.c
    Generating dependency: /src/base/wln/wlnNtk.c Generating dependency: /src/base/wln/wlnNdr.c
    Generating dependency: /src/base/wln/wlnMem.c Generating dependency: /src/base/wln/wln.c
    Generating dependency: /src/base/wlc/wlcWriteVer.c Generating dependency: /src/base/wlc/wlcWin.c
    Generating dependency: /src/base/wlc/wlcUif.c Generating dependency: /src/base/wlc/wlcStdin.c
    Generating dependency: /src/base/wlc/wlcShow.c Generating dependency: /src/base/wlc/wlcSim.c
    Generating dependency: /src/base/wlc/wlcReadVer.c Generating dependency: /src/base/wlc/wlcReadSmt.c
    Generating dependency: /src/base/wlc/wlcNtk.c Generating dependency: /src/base/wlc/wlcNdr.c
    Generating dependency: /src/base/wlc/wlcMem.c Generating dependency: /src/base/wlc/wlcJson.c
    Generating dependency: /src/base/wlc/wlcGraft.c Generating dependency: /src/base/wlc/wlcCom.c
    Generating dependency: /src/base/wlc/wlcBlast.c Generating dependency: /src/base/wlc/wlcPth.c
    Generating dependency: /src/base/wlc/wlcAbc.c Generating dependency: /src/base/wlc/wlcAbs2.c
    Generating dependency: /src/base/wlc/wlcAbs.c Generating dependency: /src/base/ver/verStream.c
    Generating dependency: /src/base/ver/verParse.c Generating dependency: /src/base/ver/verFormula.c
    Generating dependency: /src/base/ver/verCore.c Generating dependency: /src/base/exor/exorUtil.c
    Generating dependency: /src/base/exor/exorList.c Generating dependency: /src/base/exor/exorLink.c
    Generating dependency: /src/base/exor/exorCubes.c Generating dependency: /src/base/exor/exorBits.c
    Generating dependency: /src/base/exor/exor.c Generating dependency: /src/base/main/mainUtils.c
    Generating dependency: /src/base/main/libSupport.c Generating dependency: /src/base/main/mainReal.c
    Generating dependency: /src/base/main/mainLib.c Generating dependency: /src/base/main/mainInit.c
    Generating dependency: /src/base/main/mainFrame.c Generating dependency: /src/base/main/main.c
    Generating dependency: /src/base/io/ioWriteSmv.c Generating dependency: /src/base/io/ioWriteVerilog.c
    Generating dependency: /src/base/io/ioWritePla.c Generating dependency: /src/base/io/ioWriteList.c
    Generating dependency: /src/base/io/ioWriteGml.c Generating dependency: /src/base/io/ioWriteEqn.c
    Generating dependency: /src/base/io/ioWriteDot.c Generating dependency: /src/base/io/ioWriteCnf.c
    Generating dependency: /src/base/io/ioWriteBook.c Generating dependency: /src/base/io/ioWriteBlifMv.c
    Generating dependency: /src/base/io/ioWriteBlif.c Generating dependency: /src/base/io/ioWriteBench.c
    Generating dependency: /src/base/io/ioWriteBblif.c Generating dependency: /src/base/io/ioWriteBaf.c
    Generating dependency: /src/base/io/ioWriteAiger.c Generating dependency: /src/base/io/ioUtil.c
    Generating dependency: /src/base/io/ioReadVerilog.c Generating dependency: /src/base/io/ioReadPlaMo.c
    Generating dependency: /src/base/io/ioReadPla.c Generating dependency: /src/base/io/ioReadEqn.c
    Generating dependency: /src/base/io/ioReadEdif.c Generating dependency: /src/base/io/ioReadDsd.c
    Generating dependency: /src/base/io/ioReadBlifMv.c Generating dependency: /src/base/io/ioReadBlifAig.c
    Generating dependency: /src/base/io/ioReadBlif.c Generating dependency: /src/base/io/ioReadBench.c
    Generating dependency: /src/base/io/ioReadBblif.c Generating dependency: /src/base/io/ioReadBaf.c
    Generating dependency: /src/base/io/ioReadAiger.c Generating dependency: /src/base/io/ioJson.c
    Generating dependency: /src/base/io/io.c Generating dependency: /src/base/cmd/cmdUtils.c
    Generating dependency: /src/base/cmd/cmdStarter.c Generating dependency: /src/base/cmd/cmdPlugin.c
    Generating dependency: /src/base/cmd/cmdLoad.c Generating dependency: /src/base/cmd/cmdHist.c
    Generating dependency: /src/base/cmd/cmdFlag.c Generating dependency: /src/base/cmd/cmdAuto.c
    Generating dependency: /src/base/cmd/cmdApi.c Generating dependency: /src/base/cmd/cmdAlias.c
    Generating dependency: /src/base/cmd/cmd.c Generating dependency: /src/base/abci/abcXsim.c
    Generating dependency: /src/base/abci/abcVerify.c Generating dependency: /src/base/abci/abcUnreach.c
    Generating dependency: /src/base/abci/abcUnate.c Generating dependency: /src/base/abci/abcTiming.c
    Generating dependency: /src/base/abci/abcTim.c Generating dependency: /src/base/abci/abcSymm.c
    Generating dependency: /src/base/abci/abcSweep.c Generating dependency: /src/base/abci/abcStrash.c
    Generating dependency: /src/base/abci/abcSpeedup.c Generating dependency: /src/base/abci/abcSense.c
    Generating dependency: /src/base/abci/abcScorr.c Generating dependency: /src/base/abci/abcSaucy.c
    Generating dependency: /src/base/abci/abcSat.c Generating dependency: /src/base/abci/abcRunGen.c
    Generating dependency: /src/base/abci/abcRr.c Generating dependency: /src/base/abci/abcRpo.c
    Generating dependency: /src/base/abci/abcRewrite.c Generating dependency: /src/base/abci/abcResub.c
    Generating dependency: /src/base/abci/abcRestruct.c Generating dependency: /src/base/abci/abcReorder.c
    Generating dependency: /src/base/abci/abcRenode.c Generating dependency: /src/base/abci/abcRefactor.c
    Generating dependency: /src/base/abci/abcReach.c Generating dependency: /src/base/abci/abcReconv.c
    Generating dependency: /src/base/abci/abcRec3.c Generating dependency: /src/base/abci/abcQuant.c
    Generating dependency: /src/base/abci/abcQbf.c Generating dependency: /src/base/abci/abcProve.c
    Generating dependency: /src/base/abci/abcPrint.c Generating dependency: /src/base/abci/abcPart.c
    Generating dependency: /src/base/abci/abcOrder.c Generating dependency: /src/base/abci/abcOdc.c
    Generating dependency: /src/base/abci/abcNpnSave.c Generating dependency: /src/base/abci/abcNpn.c
    Generating dependency: /src/base/abci/abcNtbdd.c Generating dependency: /src/base/abci/abcMulti.c
    Generating dependency: /src/base/abci/abcMiter.c Generating dependency: /src/base/abci/abcMini.c
    Generating dependency: /src/base/abci/abcMfs.c Generating dependency: /src/base/abci/abcMerge.c
    Generating dependency: /src/base/abci/abcMap.c Generating dependency: /src/base/abci/abcLutmin.c
    Generating dependency: /src/base/abci/abcLut.c Generating dependency: /src/base/abci/abcLog.c
    Generating dependency: /src/base/abci/abcIvy.c Generating dependency: /src/base/abci/abcIfMux.c
    Generating dependency: /src/base/abci/abcIfif.c Generating dependency: /src/base/abci/abcIf.c
    Generating dependency: /src/base/abci/abcHaig.c Generating dependency: /src/base/abci/abcGen.c
    Generating dependency: /src/base/abci/abcFxu.c Generating dependency: /src/base/abci/abcFx.c
    Generating dependency: /src/base/abci/abcFraig.c Generating dependency: /src/base/abci/abcExtract.c
    Generating dependency: /src/base/abci/abcExact.c Generating dependency: /src/base/abci/abcEco.c
    Generating dependency: /src/base/abci/abcDsd.c Generating dependency: /src/base/abci/abcDress3.c
    Generating dependency: /src/base/abci/abcDress2.c Generating dependency: /src/base/abci/abcDress.c
    Generating dependency: /src/base/abci/abcDetect.c Generating dependency: /src/base/abci/abcDec.c
    Generating dependency: /src/base/abci/abcDebug.c Generating dependency: /src/base/abci/abcDar.c
    Generating dependency: /src/base/abci/abcCut.c Generating dependency: /src/base/abci/abcCollapse.c
    Generating dependency: /src/base/abci/abcCascade.c Generating dependency: /src/base/abci/abcCas.c
    Generating dependency: /src/base/abci/abcBmc.c Generating dependency: /src/base/abci/abcBm.c
    Generating dependency: /src/base/abci/abcBidec.c Generating dependency: /src/base/abci/abcBalance.c
    Generating dependency: /src/base/abci/abcAuto.c Generating dependency: /src/base/abci/abcAttach.c
    Generating dependency: /src/base/abci/abc.c Generating dependency: /src/base/abc/abcUtil.c
    Generating dependency: /src/base/abc/abcSop.c Generating dependency: /src/base/abc/abcShow.c
    Generating dependency: /src/base/abc/abcRefs.c Generating dependency: /src/base/abc/abcObj.c
    Generating dependency: /src/base/abc/abcNtk.c Generating dependency: /src/base/abc/abcNetlist.c
    Generating dependency: /src/base/abc/abcNames.c Generating dependency: /src/base/abc/abcMinBase.c
    Generating dependency: /src/base/abc/abcLib.c Generating dependency: /src/base/abc/abcLatch.c
    Generating dependency: /src/base/abc/abcHieNew.c Generating dependency: /src/base/abc/abcHieGia.c
    Generating dependency: /src/base/abc/abcHieCec.c Generating dependency: /src/base/abc/abcHie.c
    Generating dependency: /src/base/abc/abcFunc.c Generating dependency: /src/base/abc/abcFanOrder.c
    Generating dependency: /src/base/abc/abcFanio.c Generating dependency: /src/base/abc/abcDfs.c
    Generating dependency: /src/base/abc/abcCheck.c Generating dependency: /src/base/abc/abcBlifMv.c
    Generating dependency: /src/base/abc/abcBarBuf.c Generating dependency: /src/base/abc/abcAig.c
    Generating dependency: /src/sat/glucose2/System2.cpp Generating dependency: /src/sat/glucose2/SimpSolver2.cpp
    Generating dependency: /src/sat/glucose2/Options2.cpp Generating dependency: /src/sat/glucose2/Glucose2.cpp
    Generating dependency: /src/sat/glucose2/AbcGlucoseCmd2.cpp Generating dependency: /src/sat/glucose2/AbcGlucose2.cpp
    Generating dependency: /src/sat/glucose/System.cpp Generating dependency: /src/sat/glucose/SimpSolver.cpp
    Generating dependency: /src/sat/glucose/Options.cpp Generating dependency: /src/sat/glucose/Glucose.cpp
    Generating dependency: /src/sat/glucose/AbcGlucoseCmd.cpp Generating dependency: /src/sat/glucose/AbcGlucose.cpp
    Using CC=gcc
    Using CXX=g++
    Using AR=ar
    Using LD=g++
    Compiling with CUDD
    Using libreadline
    Using pthreads
    Found GCC_VERSION 9
    Found GCC_MAJOR>=5
    Using CFLAGS=-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE__=redacted -D__TIMESTAMP__=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0 -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -Wno-unused-but-set-variable
    Compiling: /src/sat/glucose/AbcGlucose.cpp Compiling: /src/sat/glucose/AbcGlucoseCmd.cpp
    Compiling: /src/sat/glucose/Glucose.cpp Compiling: /src/sat/glucose/Options.cpp
    Compiling: /src/sat/glucose/SimpSolver.cpp Compiling: /src/sat/glucose/System.cpp
    Compiling: /src/sat/glucose2/AbcGlucose2.cpp Compiling: /src/sat/glucose2/AbcGlucoseCmd2.cpp
    Compiling: /src/sat/glucose2/Glucose2.cpp Compiling: /src/sat/glucose2/Options2.cpp
    Compiling: /src/sat/glucose2/SimpSolver2.cpp Compiling: /src/sat/glucose2/System2.cpp
    Compiling: /src/base/abc/abcAig.c Compiling: /src/base/abc/abcBarBuf.c
    Compiling: /src/base/abc/abcBlifMv.c Compiling: /src/base/abc/abcCheck.c
    Compiling: /src/base/abc/abcDfs.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/sat/glucose/AbcGlucoseCmd.cpp:22: ./src/misc/util/utilTruth.h: In function 'int Abc_TtCheckCondDep(word*, int, int)': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/abc/abcFanio.c
    src/sat/glucose/Glucose.cpp: In member function 'Gluco::lbool Gluco::Solver::solve_()':
    src/sat/glucose/Glucose.cpp:1296:13: warning: unused variable 'callback_result' [-Wunused-variable]
    1296 | int callback_result = pCnfFunc(pCnfMan, message, pCex);
    | ^~~~~~~~~~~~~~~
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/sat/glucose/AbcGlucoseCmd.cpp:22:
    ./src/misc/util/utilDouble.h: In function 'void Xdbl_Test()':
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
    183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    In file included from ./src/sat/glucose/Sort.h:24,
    from src/sat/glucose/Glucose.cpp:32:
    ./src/sat/glucose/Vec.h: In instantiation of 'void Gluco::vec::capacity(int) [with T = Gluco::vecGluco::Solver::Watcher]':
    ./src/sat/glucose/Vec.h:118:5: required from 'void Gluco::vec::growTo(int) [with T = Gluco::vecGluco::Solver::Watcher]'
    ./src/sat/glucose/SolverTypes.h:294:39: required from 'void Gluco::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Gluco::Lit; Vec = Gluco::vecGluco::Solver::Watcher; Deleted = Gluco::Solver::WatcherDeleted]'
    src/sat/glucose/Glucose.cpp:205:35: required from here
    ./src/sat/glucose/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco::vecGluco::Solver::Watcher'; use 'new' and 'delete' instead [-Wclass-memaccess]
    102 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
    | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    In file included from ./src/sat/glucose/Sort.h:24,
    from src/sat/glucose/Glucose.cpp:32:
    ./src/sat/glucose/Vec.h:40:7: note: 'class Gluco::vecGluco::Solver::Watcher' declared here
    40 | class vec {
    | ^~~
    In file included from ./src/map/if/if.h:39,
    from ./src/base/main/mainInt.h:31,
    from src/sat/glucose2/AbcGlucoseCmd2.cpp:22:
    ./src/misc/util/utilTruth.h: In function 'int Abc_TtCheckCondDep(word*, int, int)':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    In file included from ./src/sat/glucose/Sort.h:24,
    from src/sat/glucose/SimpSolver.cpp:21:
    ./src/sat/glucose/Vec.h: In instantiation of 'void Gluco::vec::capacity(int) [with T = Gluco::vec]':
    ./src/sat/glucose/Vec.h:118:5: required from 'void Gluco::vec::growTo(int) [with T = Gluco::vec]'
    ./src/sat/glucose/SolverTypes.h:294:39: required from 'void Gluco::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = int; Vec = Gluco::vec; Deleted = Gluco::SimpSolver::ClauseDeleted]'
    src/sat/glucose/SimpSolver.cpp:88:26: required from here
    ./src/sat/glucose/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco::vec'; use 'new' and 'delete' instead [-Wclass-memaccess]
    102 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
    | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    In file included from ./src/sat/glucose/Sort.h:24,
    from src/sat/glucose/SimpSolver.cpp:21:
    ./src/sat/glucose/Vec.h:40:7: note: 'class Gluco::vec' declared here
    40 | class vec {
    | ^~~
    src/sat/glucose2/Glucose2.cpp: In member function 'Gluco2::lbool Gluco2::Solver::solve_()':
    src/sat/glucose2/Glucose2.cpp:1500:13: warning: unused variable 'callback_result' [-Wunused-variable]
    1500 | int callback_result = pCnfFunc(pCnfMan, message, pCex);
    | ^~~~~~~~~~~~~~~
    src/sat/glucose/AbcGlucose.cpp: In function 'void Gia_ManQuantLoadCnf(Gia_Man_t*, Vec_Int_t*, bmcg_sat_solver**)':
    src/sat/glucose/AbcGlucose.cpp:1221:17: warning: unused variable 'RetValue' [-Wunused-variable]
    1221 | int RetValue = bmcg_sat_solver_addclause( pSats[0], &Lit, 1 );
    | ^~~~~~~~
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/sat/glucose2/AbcGlucoseCmd2.cpp:22:
    ./src/misc/util/utilDouble.h: In function 'void Xdbl_Test()':
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
    183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    Compiling: /src/base/abc/abcFanOrder.c In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]': ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]' ./src/sat/glucose2/CGlucoseCore.h:601:43: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec<unsigned int>]': ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = int; Vec = Gluco2::vec<unsigned int>; Deleted = Gluco2::SimpSolver::ClauseDeleted]' ./src/sat/glucose2/SimpSolver.h:78:48: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<unsigned int>' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::capacity(int) [with T = Gluco2::vec<unsigned int>]': ./src/sat/glucose2/Vec.h:128:5: required from 'void Gluco2::vec<T>::growTo(int) [with T = Gluco2::vec<unsigned int>]' ./src/sat/glucose2/SolverTypes.h:300:39: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = int; Vec = Gluco2::vec<unsigned int>; Deleted = Gluco2::SimpSolver::ClauseDeleted]' src/sat/glucose2/SimpSolver2.cpp:89:26: required from here ./src/sat/glucose2/Vec.h:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess] 104 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<unsigned int>' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]': ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]' ./src/sat/glucose2/CGlucoseCore.h:601:43: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::capacity(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]': ./src/sat/glucose2/Vec.h:128:5: required from 'void Gluco2::vec<T>::growTo(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]' ./src/sat/glucose2/SolverTypes.h:300:39: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]' src/sat/glucose2/Glucose2.cpp:225:35: required from here ./src/sat/glucose2/Vec.h:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess] 104 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here 40 | class vec { | ^~~ Compiling: /src/base/abc/abcFunc.c
    Compiling: /src/base/abc/abcHie.c Compiling: /src/base/abc/abcHieCec.c
    src/sat/glucose2/AbcGlucose2.cpp: In function 'void Gia_ManQuantLoadCnf2(Gia_Man_t*, Vec_Int_t*, bmcg2_sat_solver**)':
    src/sat/glucose2/AbcGlucose2.cpp:1229:17: warning: unused variable 'RetValue' [-Wunused-variable]
    1229 | int RetValue = bmcg2_sat_solver_addclause( pSats[0], &Lit, 1 );
    | ^~~~~~~~
    In file included from ./src/sat/glucose2/Options.h:31,
    from src/sat/glucose2/AbcGlucose2.cpp:23:
    ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::prelocate(int) [with T = Gluco2::vecGluco2::Solver::Watcher]':
    ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vecGluco2::Solver::Watcher; Deleted = Gluco2::Solver::WatcherDeleted]'
    ./src/sat/glucose2/CGlucoseCore.h:601:43: required from here
    ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vecGluco2::Solver::Watcher'; use 'new' and 'delete' instead [-Wclass-memaccess]
    111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM))
    | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
    In file included from ./src/sat/glucose2/Options.h:31,
    from src/sat/glucose2/AbcGlucose2.cpp:23:
    ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vecGluco2::Solver::Watcher' declared here
    40 | class vec {
    | ^~~
    In file included from ./src/sat/glucose2/Options.h:31,
    from src/sat/glucose2/AbcGlucose2.cpp:23:
    ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::prelocate(int) [with T = Gluco2::vec]':
    ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = int; Vec = Gluco2::vec; Deleted = Gluco2::SimpSolver::ClauseDeleted]'
    ./src/sat/glucose2/SimpSolver.h:78:48: required from here
    ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec'; use 'new' and 'delete' instead [-Wclass-memaccess]
    111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM))
    | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
    In file included from ./src/sat/glucose2/Options.h:31,
    from src/sat/glucose2/AbcGlucose2.cpp:23:
    ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec' declared here
    40 | class vec {
    | ^~~
    Compiling: /src/base/abc/abcHieGia.c Compiling: /src/base/abc/abcHieNew.c
    Compiling: /src/base/abc/abcLatch.c Compiling: /src/base/abc/abcLib.c
    Compiling: /src/base/abc/abcMinBase.c Compiling: /src/base/abc/abcNames.c
    Compiling: /src/base/abc/abcNetlist.c Compiling: /src/base/abc/abcNtk.c
    Compiling: /src/base/abc/abcObj.c Compiling: /src/base/abc/abcRefs.c
    src/base/abc/abcNames.c: In function 'Abc_NtkAddDummyPiNames':
    src/base/abc/abcNames.c:125:25: warning: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 1998 [-Wformat-overflow=]
    125 | sprintf( Buffer, "%s%0
    d", pPrefix, nDigits, Num );
    | ^~~~
    src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647]
    125 | sprintf( Buffer, "%s%0d", pPrefix, nDigits, Num );
    | ^~~~~~~~
    In file included from /usr/include/stdio.h:867,
    from src/base/abc/abc.h:29,
    from src/base/abc/abcNames.c:21:
    /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 2000
    36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
    | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    37 | __bos (__s), __fmt, __va_arg_pack ());
    | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    src/base/abc/abcNames.c: In function 'Abc_NtkAddDummyPoNames':
    src/base/abc/abcNames.c:125:25: warning: '%0
    d' directive writing between 1 and 2147483647 bytes into a region of size 1998 [-Wformat-overflow=]
    125 | sprintf( Buffer, "%s%0d", pPrefix, nDigits, Num );
    | ^~~~
    src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647]
    125 | sprintf( Buffer, "%s%0
    d", pPrefix, nDigits, Num );
    | ^~~~~~~~
    In file included from /usr/include/stdio.h:867,
    from src/base/abc/abc.h:29,
    from src/base/abc/abcNames.c:21:
    /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: 'builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 2000
    36 | return builtin___sprintf_chk (s, USE_FORTIFY_LEVEL - 1,
    | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    37 | bos (s), fmt, va_arg_pack ());
    | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    Compiling: /src/base/abc/abcShow.c src/base/abc/abcNames.c: In function 'Abc_NtkAddDummyBoxNames': src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 1999 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ In file included from /usr/include/stdio.h:867, from src/base/abc/abc.h:29, from src/base/abc/abcNames.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 2000 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size between 1901 and 2000 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ In file included from /usr/include/stdio.h:867, from src/base/abc/abc.h:29, from src/base/abc/abcNames.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 2 and 2147483747 bytes into a destination of size 2000 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size between 1901 and 2000 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ In file included from /usr/include/stdio.h:867, from src/base/abc/abc.h:29, from src/base/abc/abcNames.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 2 and 2147483747 bytes into a destination of size 2000 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Compiling: /src/base/abc/abcSop.c
    Compiling: /src/base/abc/abcUtil.c Compiling: /src/base/abci/abc.c
    Compiling: /src/base/abci/abcAttach.c src/base/abc/abcSop.c: In function 'Abc_SopEncoderLog': src/base/abc/abcSop.c:1096:33: warning: unused variable 'nBits' [-Wunused-variable] 1096 | int v, Counter, fFirst = 1, nBits = Abc_Base2Log(nValues); | ^~~~~ Compiling: /src/base/abci/abcAuto.c
    In file included from ./src/map/if/if.h:39,
    from ./src/base/main/mainInt.h:31,
    from src/base/abci/abc.c:23:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/abci/abcBalance.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/abci/abc.c:23: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ Compiling: /src/base/abci/abcBidec.c
    Compiling: /src/base/abci/abcBm.c Compiling: /src/base/abci/abcBmc.c
    Compiling: /src/base/abci/abcCas.c Compiling: /src/base/abci/abcCascade.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from src/base/abci/abcBm.c:32:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    Compiling: /src/base/abci/abcCollapse.c Compiling: /src/base/abci/abcCut.c
    Compiling: /src/base/abci/abcDar.c Compiling: /src/base/abci/abcDebug.c
    Compiling: /src/base/abci/abcDec.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/sat/bsat/satStore.h:36, from src/base/abci/abcCollapse.c:25: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/abci/abcDar.c:26: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ Compiling: /src/base/abci/abcDetect.c
    Compiling: /src/base/abci/abcDress.c In file included from src/base/abci/abcDec.c:28: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/abci/abcDress2.c
    Compiling: /src/base/abci/abcDress3.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/sat/bsat/satStore.h:36, from src/base/abci/abcDetect.c:25: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ src/base/abci/abcDetect.c: In function 'Abc_NtkFinSimulateOne': src/base/abci/abcDetect.c:789:9: warning: unused variable 'nItems' [-Wunused-variable] 789 | int nItems = Vec_WecSizeSize(vRes); | ^~~~~~ Compiling: /src/base/abci/abcDsd.c
    Compiling: /src/base/abci/abcEco.c Compiling: /src/base/abci/abcExact.c
    Compiling: /src/base/abci/abcExtract.c In file included from src/base/abci/abcExact.c:28: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/abci/abcFraig.c
    Compiling: /src/base/abci/abcFx.c In file included from ./src/sat/bsat/satSolver.h:33, from src/base/abci/abcExact.c:32: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ src/base/abci/abcExact.c: In function 'Abc_ExactStoreTest': src/base/abci/abcExact.c:2987:9: warning: unused variable 'Cost' [-Wunused-variable] 2987 | int Cost = 0; | ^~~~ src/base/abci/abcExact.c:2986:10: warning: unused variable 'pPerm' [-Wunused-variable] 2986 | char pPerm[4] = {0}; | ^~~~~ src/base/abci/abcExact.c:2981:10: warning: unused variable 'pTruth' [-Wunused-variable] 2981 | word pTruth[4] = {0xcafe, 0, 0, 0}; | ^~~~~~ Compiling: /src/base/abci/abcFxu.c
    src/base/abci/abcFx.c: In function 'Fx_ManUpdate':
    src/base/abci/abcFx.c:970:11: warning: unused variable 'Diff' [-Wunused-variable]
    970 | float Diff = Vec_FltEntry(p->vWeights, iDiv) - (float)((int)Vec_FltEntry(p->vWeights, iDiv));
    | ^~~~
    Compiling: /src/base/abci/abcGen.c Compiling: /src/base/abci/abcHaig.c
    Compiling: /src/base/abci/abcIf.c Compiling: /src/base/abci/abcIfif.c
    Compiling: /src/base/abci/abcIfMux.c In file included from ./src/map/if/if.h:39, from src/base/abci/abcIfif.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/map/if/if.h:39, from src/base/abci/abcIf.c:23: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/map/if/if.h:39, from src/base/abci/abcIfMux.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ src/base/abci/abcIf.c: In function 'Abc_NtkIf': src/base/abci/abcIf.c:156:23: warning: unused variable 'p' [-Wunused-variable] 156 | If_DsdMan_t * p = (If_DsdMan_t *)Abc_FrameReadManDsd(); | ^ Compiling: /src/base/abci/abcIvy.c
    Compiling: /src/base/abci/abcLog.c Compiling: /src/base/abci/abcLut.c
    Compiling: /src/base/abci/abcLutmin.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/abci/abcIvy.c:23: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ Compiling: /src/base/abci/abcMap.c
    Compiling: /src/base/abci/abcMerge.c Compiling: /src/base/abci/abcMfs.c
    Compiling: /src/base/abci/abcMini.c Compiling: /src/base/abci/abcMiter.c
    Compiling: /src/base/abci/abcMulti.c Compiling: /src/base/abci/abcNtbdd.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/sat/bsat/satStore.h:36,
    from src/base/abci/abcMiter.c:24:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    Compiling: /src/base/abci/abcNpn.c Compiling: /src/base/abci/abcNpnSave.c
    Compiling: /src/base/abci/abcOdc.c Compiling: /src/base/abci/abcOrder.c
    Compiling: /src/base/abci/abcPart.c Compiling: /src/base/abci/abcPrint.c
    Compiling: /src/base/abci/abcProve.c Compiling: /src/base/abci/abcQbf.c
    Compiling: /src/base/abci/abcQuant.c Compiling: /src/base/abci/abcRec3.c
    Compiling: /src/base/abci/abcReconv.c Compiling: /src/base/abci/abcReach.c
    Compiling: /src/base/abci/abcRefactor.c Compiling: /src/base/abci/abcRenode.c
    In file included from ./src/map/if/if.h:39,
    from src/base/abci/abcPrint.c:27:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    In file included from ./src/map/if/if.h:39,
    from src/base/abci/abcRec3.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/abci/abcReorder.c Compiling: /src/base/abci/abcRestruct.c
    In file included from ./src/map/if/if.h:39,
    from src/base/abci/abcRenode.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/abci/abcResub.c Compiling: /src/base/abci/abcRewrite.c
    Compiling: /src/base/abci/abcRpo.c Compiling: /src/base/abci/abcRr.c
    Compiling: /src/base/abci/abcRunGen.c Compiling: /src/base/abci/abcSat.c
    Compiling: /src/base/abci/abcSaucy.c Compiling: /src/base/abci/abcScorr.c
    Compiling: /src/base/abci/abcSense.c Compiling: /src/base/abci/abcSpeedup.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from src/base/abci/abcSat.c:24:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    Compiling: /src/base/abci/abcStrash.c Compiling: /src/base/abci/abcSweep.c
    In file included from ./src/map/if/if.h:39,
    from src/base/abci/abcSpeedup.c:23:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/abci/abcSymm.c Compiling: /src/base/abci/abcTim.c
    Compiling: /src/base/abci/abcTiming.c Compiling: /src/base/abci/abcUnate.c
    In file included from src/base/abci/abcSymm.c:24:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    src/base/abci/abcResub.c: In function 'Abc_ManResubDivs12.isra.0':
    src/base/abci/abcResub.c:1367:20: warning: 'w' may be used uninitialized in this function [-Wmaybe-uninitialized]
    1367 | if ( w == p->nWords )
    | ^
    Compiling: /src/base/abci/abcUnreach.c Compiling: /src/base/abci/abcVerify.c
    Compiling: /src/base/abci/abcXsim.c Compiling: /src/base/cmd/cmd.c
    Compiling: /src/base/cmd/cmdAlias.c Compiling: /src/base/cmd/cmdApi.c
    Compiling: /src/base/cmd/cmdAuto.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmd.c:28: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/cmd/cmdFlag.c
    In file included from ./src/map/if/if.h:39,
    from ./src/base/main/mainInt.h:31,
    from src/base/cmd/cmdInt.h:29,
    from src/base/cmd/cmdAlias.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/base/cmd/cmd.c:28:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    In file included from ./src/map/if/if.h:39,
    from ./src/base/main/mainInt.h:31,
    from src/base/cmd/cmdApi.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/cmd/cmdHist.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmdInt.h:29, from src/base/cmd/cmdAlias.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ Compiling: /src/base/cmd/cmdLoad.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/base/cmd/cmdApi.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    Compiling: /src/base/cmd/cmdPlugin.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmdFlag.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/cmd/cmdStarter.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/base/cmd/cmdFlag.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    In file included from ./src/map/if/if.h:39,
    from ./src/base/main/mainInt.h:31,
    from src/base/cmd/cmdHist.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/cmd/cmdUtils.c Compiling: /src/base/io/io.c
    Compiling: /src/base/io/ioJson.c Compiling: /src/base/io/ioReadAiger.c
    In file included from ./src/map/if/if.h:39,
    from ./src/base/main/mainInt.h:31,
    from src/base/cmd/cmdLoad.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/base/cmd/cmdHist.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    In file included from ./src/map/if/if.h:39,
    from ./src/base/main/mainInt.h:31,
    from src/base/cmd/cmdPlugin.c:29:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/base/cmd/cmdLoad.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    Compiling: /src/base/io/ioReadBaf.c Compiling: /src/base/io/ioReadBblif.c
    Compiling: /src/base/io/ioReadBench.c Compiling: /src/base/io/ioReadBlif.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/base/cmd/cmdPlugin.c:29:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
    183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    In file included from ./src/map/if/if.h:39,
    from ./src/base/main/mainInt.h:31,
    from src/base/cmd/cmdUtils.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/io/ioReadBlifAig.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/io/io.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/io/ioReadBlifMv.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/base/cmd/cmdUtils.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
    183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from ./src/base/main/mainInt.h:35,
    from src/base/io/io.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
    183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    src/base/cmd/cmdUtils.c: In function 'CmdCommandPrint':
    src/base/cmd/cmdUtils.c:592:60: warning: format '%s' expects argument of type 'char ', but argument 3 has type 'int' [-Wformat=]
    592 | fprintf( pAbc->Out, " Welcome to ABC compiled on %s %s!", DATE, TIME );
    | ~^
    | |
    | char *
    | %d
    src/base/cmd/cmdUtils.c:592:63: warning: format '%s' expects argument of type 'char ', but argument 4 has type 'int' [-Wformat=]
    592 | fprintf( pAbc->Out, " Welcome to ABC compiled on %s %s!", DATE, TIME );
    | ~^
    | |
    | char *
    | %d
    Compiling: /src/base/io/ioReadDsd.c Compiling: /src/base/io/ioReadEdif.c
    Compiling: /src/base/io/ioReadEqn.c Compiling: /src/base/io/ioReadPla.c
    src/base/cmd/cmdUtils.c:592:5: warning: '%s' directive argument is null [-Wformat-overflow=]
    592 | fprintf( pAbc->Out, " Welcome to ABC compiled on %s %s!", DATE, TIME );
    | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    src/base/cmd/cmdUtils.c:592:5: warning: '%s' directive argument is null [-Wformat-overflow=]
    Compiling: /src/base/io/ioReadPlaMo.c Compiling: /src/base/io/ioReadVerilog.c
    Compiling: /src/base/io/ioUtil.c Compiling: /src/base/io/ioWriteAiger.c
    Compiling: /src/base/io/ioWriteBaf.c Compiling: /src/base/io/ioWriteBblif.c
    In file included from src/base/io/ioReadPla.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/io/ioWriteBench.c In file included from src/base/io/ioReadPlaMo.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/io/ioWriteBlif.c
    src/base/io/ioUtil.c: In function 'Io_TransformSF2PLA':
    src/base/io/ioUtil.c:902:20: warning: unused variable 'pRes' [-Wunused-variable]
    902 | char * pRes = fgets(pBuffer, Size, pFileIn);
    | ^~~~
    src/base/io/ioReadPlaMo.c: In function 'Mop_ManReduce2':
    src/base/io/ioReadPlaMo.c:662:9: warning: unused variable 'Removed' [-Wunused-variable]
    662 | int Removed = Mop_ManUnCreateGroups( p, vGroups );
    | ^~~~~~~
    Compiling: /src/base/io/ioWriteBlifMv.c Compiling: /src/base/io/ioWriteBook.c
    Compiling: /src/base/io/ioWriteCnf.c In file included from ./src/map/if/if.h:39, from src/base/io/ioWriteBlif.c:25: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/io/ioWriteDot.c
    Compiling: /src/base/io/ioWriteEqn.c Compiling: /src/base/io/ioWriteGml.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from src/base/io/ioWriteCnf.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
    183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    src/base/abci/abc.c: In function 'Abc_CommandAbc9Put':
    src/base/abci/abc.c:30575:43: warning: '%0
    d' directive writing between 1 and 2147483647 bytes into a region of size 97 [-Wformat-overflow=]
    30575 | sprintf( pSuffix, "_li%0
    d", nDigits, i-Abc_NtkPoNum(pNtk) );
    | ^~~~
    src/base/abci/abc.c:30575:39: note: directive argument in the range [-2147483647, 2147483647]
    30575 | sprintf( pSuffix, "_li%0d", nDigits, i-Abc_NtkPoNum(pNtk) );
    | ^~~~~~~~~
    In file included from /usr/include/stdio.h:867,
    from ./src/base/abc/abc.h:29,
    from src/base/abci/abc.c:21:
    /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 5 and 2147483651 bytes into a destination of size 100
    36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
    | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    37 | __bos (__s), __fmt, __va_arg_pack ());
    | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    Compiling: /src/base/io/ioWritePla.c Compiling: /src/base/io/ioWriteList.c
    Compiling: /src/base/io/ioWriteVerilog.c Compiling: /src/base/io/ioWriteSmv.c
    src/base/io/ioReadPla.c: In function 'Io_ReadPla':
    src/base/io/ioReadPla.c:451:40: warning: '%0
    d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=]
    451 | sprintf( Buffer, "x%0d", nDigits, i );
    | ^~~~
    src/base/io/ioReadPla.c:451:38: note: directive argument in the range [0, 2147483646]
    451 | sprintf( Buffer, "x%0
    d", nDigits, i );
    | ^~~~~~~
    In file included from /usr/include/stdio.h:867,
    from ./src/base/abc/abc.h:29,
    from src/base/io/ioAbc.h:29,
    from src/base/io/ioReadPla.c:21:
    /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100
    36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
    | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    37 | __bos (__s), __fmt, va_arg_pack ());
    | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    src/base/io/ioReadPla.c:468:40: warning: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=]
    468 | sprintf( Buffer, "z%0
    d", nDigits, i );
    | ^~~~
    src/base/io/ioReadPla.c:468:38: note: directive argument in the range [0, 2147483646]
    468 | sprintf( Buffer, "z%0d", nDigits, i );
    | ^~~~~~~
    In file included from /usr/include/stdio.h:867,
    from ./src/base/abc/abc.h:29,
    from src/base/io/ioAbc.h:29,
    from src/base/io/ioReadPla.c:21:
    /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100
    36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
    | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    37 | __bos (__s), fmt, va_arg_pack ());
    | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    Compiling: /src/base/main/main.c Compiling: /src/base/main/mainFrame.c
    Compiling: /src/base/main/mainInit.c Compiling: /src/base/main/mainLib.c
    Compiling: /src/base/main/mainReal.c Compiling: /src/base/main/libSupport.c
    Compiling: /src/base/main/mainUtils.c In file included from ./src/map/if/if.h:39, from src/base/main/mainInt.h:31, from src/base/main/mainFrame.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ Compiling: /src/base/exor/exor.c
    In file included from ./src/map/if/if.h:39,
    from src/base/main/mainInt.h:31,
    from src/base/main/mainInit.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/exor/exorBits.c Compiling: /src/base/exor/exorCubes.c
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from src/base/main/mainInt.h:35,
    from src/base/main/mainFrame.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    In file included from ./src/map/if/if.h:39,
    from src/base/main/mainInt.h:31,
    from src/base/main/mainLib.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    In file included from ./src/map/if/if.h:39,
    from src/base/main/mainInt.h:31,
    from src/base/main/libSupport.c:25:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    In file included from ./src/map/if/if.h:39,
    from src/base/main/mainInt.h:31,
    from src/base/main/mainReal.c:57:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    In file included from ./src/sat/bsat/satSolver.h:33,
    from ./src/proof/fra/fra.h:37,
    from src/base/main/mainInt.h:35,
    from src/base/main/mainInit.c:22:
    ./src/misc/util/utilDouble.h: In function 'Xdbl_Test':
    ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100
    ' [-Wunused-variable]
    183 | xdbl ten100
    = ABC_CONST(0x014c924d692ca61b);
    | ^~~~~~~
    ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
    182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
    | ^~~~~~
    In file included from ./src/map/if/if.h:39,
    from src/base/main/mainInt.h:31,
    from src/base/main/mainUtils.c:22:
    ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep':
    ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
    1618 | int nVarsMax = 13;
    | ^~~~~~~~
    Compiling: /src/base/exor/exorLink.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/mainLib.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/libSupport.c:25: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/mainReal.c:57: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/mainUtils.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ Compiling: /src/base/exor/exorList.c
    Compiling: /src/base/exor/exorUtil.c src/base/main/mainUtils.c: At top level: src/base/main/mainUtils.c:25:10: fatal error: readline/readline.h: No such file or directory 25 | #include <readline/readline.h> | ^~~~~~~~~~~~~~~~~~~~~ compilation terminated. make: *** [Makefile:176: src/base/main/mainUtils.o] Error 1 make: *** Waiting for unfinished jobs.... Compiling: /src/base/ver/verCore.c
    src/base/exor/exorUtil.c: In function 'WriteResultIntoFile':
    src/base/exor/exorUtil.c:192:9: warning: argument 4 null where non-null expected [-Wnonnull]
    192 | fprintf( pFile, "\n\nCannot open the output file\n" );
    | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    src/base/exor/exorUtil.c:192:9: note: in a call to built-in function '__builtin_fwrite'
    src/base/abci/abc.c: In function 'Abc_CommandAbc9Cone':
    src/base/abci/abc.c:43683:34: warning: '%0
    d' directive writing between 1 and 2147483647 bytes into a region of size 999 [-Wformat-overflow=]
    43683 | sprintf( Buffer, "%s
    %0*d.aig", Extra_FileNameGeneric(pAbc->pGia->pSpec), nDigits, i );
    | ^~~~
    src/base/abci/abc.c:43683:30: note: directive argument in the range [0, 2147483647]
    43683 | sprintf( Buffer, "%s
    %0*d.aig", Extra_FileNameGeneric(pAbc->pGia->pSpec), nDigits, i );
    | ^~~~~~~~~~~~~
    In file included from /usr/include/stdio.h:867,
    from ./src/base/abc/abc.h:29,
    from src/base/abci/abc.c:21:
    /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output 7 or more bytes (assuming 2147483653) into a destination of size 1000
    36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
    | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    37 | __bos (__s), __fmt, __va_arg_pack ());
    | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    make: Leaving directory '/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.build_tmpdir'
    _____ END BUILD LOGS _____
    rules_foreign_cc: Build wrapper script location: bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/wrapper_build_script.sh
    rules_foreign_cc: Build script location: bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/build_script.sh
    rules_foreign_cc: Build log location: bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/Make.log

Target //transpiler/examples/fibonacci:fibonacci_rs_main failed to build
INFO: Elapsed time: 7804.087s, Critical Path: 354.75s
INFO: 2322 processes: 117 internal, 2205 linux-sandbox.
FAILED: Build did NOT complete successfully
FAILED: Build did NOT complete successfully
ubuntu@ip-172-31-6-221:~/fully-homomorphic-encryption$

@j2kun
Copy link
Collaborator

j2kun commented Mar 26, 2024

In the last comment, the abc package failed to build because it was missing readline

src/base/main/mainUtils.c:25:10: fatal error: readline/readline.h: No such file or directory 25 | #include <readline/readline.h>

https://tiswww.case.edu/php/chet/readline/rltop.html

I will take a look at fixing this later this week, but if you're interested in using the transpiler, I'd recommend you try https://github.com/google/heir instead. The transpiler was a research prototype, and HEIR is our long-term plan for a production-ready compiler. If you provide some info in that repository about what you're trying to do with FHE, that can help us prioritize feature work there and/or guide you to how to use HEIR to achieve your goal.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants