Open 8BitIQ opened 5 months ago
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.
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.
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
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
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.
Didn't mean to close with my last comment. The docker build still references the hard coded data and fails to build
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)
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 |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
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: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
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: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
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: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
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: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
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: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
return {}; | ^
external/llvm-project/llvm/utils/TableGen/CodeGenRegisters.h:483:15: warning: ' |
return {}; | ^
INFO: From Compiling llvm/lib/Support/APFloat.cpp [for host]:
external/llvm-project/llvm/lib/Support/APFloat.cpp: In member function 'llvm::Expected |
(D.normalizedExponent + 1) * 28738 <= | } while (p <= D.lastSigDigit); | partCount = static_cast |
fs = roundSignificandWithExponent(decSignificand, partCount, | D.exponent, rounding_mode); | (D.normalizedExponent + 1) * 28738 <= | } while (p <= D.lastSigDigit); | partCount = static_cast |
fs = roundSignificandWithExponent(decSignificand, partCount, | D.exponent, rounding_mode); | if (Position >= End) | ^~ external/llvm-project/llvm/lib/Support/YAMLParser.cpp:1624:23: note: 'LongestAllSpaceLine' was declared here 1624 | StringRef::iterator LongestAllSpaceLine; | ^ |
switch (Kind) { | ^ |
unsigned ZveELen; | ^ |
Address = AliaseeInfo->StringIndex; | MCSectionELF *AddrsigSection; | ^ |
writeRelocSection(DataSectionIndex, "DATA", DataRelocations); | writeRelocSection(CodeSectionIndex, "CODE", CodeRelocations); | 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::optional |
return BlockID == bitc::METADATA_BLOCK_ID && Code == bitc::METADATA_STRINGS; | 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) { | ^ |
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 |
^ 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) { | ^ |
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) { | ^ |
IndexCursor.readRecord(Entry.ID, Record, &Blob)) { | ^
external/llvm-project/llvm/lib/Bitcode/Reader/MetadataLoader.cpp: In member function 'llvm::Expected |
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) { | ^ |
Expected |
^ 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) { | ^ |
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) { | ^ |
static_cast |
^ |
unsigned InstrCount; | ^ |
unsigned InstrCount, FunctionSize = 0; | ^ |
Expected |
^ 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) { | ^ |
Expected |
^ 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) { | ^ |
switch (Entry.Kind) { | ^ |
if (Expected |
^
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp: In function 'llvm::Expected |
if (Error E = Stream.skipRecord(Entry.ID).takeError()) | 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) { | ^ |
BitstreamEntry Entry; | ^~~~~
external/llvm-project/llvm/lib/Bitcode/Reader/BitcodeReader.cpp: In function 'llvm::Expected<std::__cxx11::basic_string |
if (Error E = Stream.skipRecord(Entry.ID).takeError()) | 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) { | ^ |
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 |
SavedLaneValue + SavedNoUndefs != (unsigned)NextLaneValue) | return wrap(InlineAsm::get(unwrap |
StringRef(AsmString, AsmStringSize), | StringRef(Constraints, ConstraintsSize), | HasSideEffects, IsAlignStack, AD, CanThrow)); | 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); | uint64_t EndAugmentationOffset; | ^ |
uint64_t StartAugmentationOffset; | ^ |
Pair->Dst = SE->getSignExtendExpr(Dst, widestType); | for (const char *Ptr = DigitsBegin; Ptr < End; ++Ptr) { | if (!Delimited && Count != NumHexDigits) { | 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 |
^~ 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); | Cond = A; | if (Value *NewSel = foldAddNegate(E, F, LHS)) | Cond = D; | if (Value *NewSel = foldAddNegate(B, C, RHS)) | auto *NewShAmt = dyn_cast_or_null |
simplifyAddInst(XShAmt, YShAmt, /isNSW=/false, | /isNUW=/false, SQ.getWithInstruction(&I))); | Value X, XShAmt, Y, YShAmt; | ^ |
auto *NewShAmt = dyn_cast_or_null |
simplifyAddInst(XShAmt, YShAmt, /isNSW=/false, | /isNUW=/false, SQ.getWithInstruction(&I))); | Value X, XShAmt, Y, YShAmt; | ^ |
Instruction *HighBitExtract; | ^ |
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 |
ShiftShAmt, MaskShAmt, /IsNSW=/false, /IsNUW=/false, Q)); | : Status(Status), ToFreeze(ToFreeze) {} | ^ external/llvm-project/llvm/lib/Transforms/Vectorize/VectorCombine.cpp:1044:10: note: 'IdxBase' was declared here 1044 | Value *IdxBase; | ^ |
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); | static_cast |
^ |
unsigned NewOpcode; | ^ |
for (unsigned I = 1; I < TmpInst->getNumOperands(); ++I) { | PartVT, IntermediateVT, V, CallConv); | ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:373:70: warning: ' |
PartVT, IntermediateVT, V, CallConv); | ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:196:48: warning: ' |
PartVT, HalfVT, V); | ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:198:64: warning: ' |
RoundParts / 2, PartVT, HalfVT, V); | ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:214:43: warning: ' |
OddVT, V, CC); | ^
external/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp:244:76: warning: ' |
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; | 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 { | ^ |
rewriteScheduledInstr(NewBB, InstrMap, CurStageNum, np, &*BBI, PhiOp2, | NewReg); | 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) | ^ |
MappedCS->replaceAllUsesWith(SuspendResult); | Value *SuspendResult; | ^ |
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::ArrayRef |
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; | ^ |
CreateSignExtend ? getSignExtendExpr(TruncatedExpr, Expr->getType()) | : getZeroExtendExpr(TruncatedExpr, Expr->getType()); | uint32_t Depth, LineOffset, Discriminator; | ^ |
if (Flags & SymbolRef::SF_Common) | uint64_t CurSegAddress; | ^ |
uint32_t TempVal = static_cast |
^ |
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 |
^ |
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) && | isInt<8>(AddrDispShift)) | int64_t AddrDispShift; | ^ |
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), | 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~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:26: note: 'A' was declared here
479 | Value ~
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~
external/llvm-project/llvm/lib/Target/X86/X86LowerAMXIntrinsics.cpp:479:10: note: 'M' was declared here
479 | Value ~~~~^~~~~~~~
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::SmallVectorImpl<clang::format::{anonymous}::IncludeDirective>&, llvm::ArrayRef~~~~~~~~^~~~~~~
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~~~~~~^~
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: '~~~^~~~~~
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~~~~~~~~~
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)
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_foreigncc: 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_homomorphicencryption:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin =/usr/bin/env
/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 -DDATE=redacted -DTIMESTAMP=redacted -DTIME=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 -DDATE=redacted -DTIMESTAMP=redacted -DTIME=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; | ^ |
int callback_result = pCnfFunc(pCnfMan, message, pCex); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
if (add > INT_MAX - cap | (((data = (T)::realloc(data, (cap += add) sizeof(T))) == NULL) && errno == ENOMEM)) | 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; | ^ |
if (add > INT_MAX - cap | (((data = (T)::realloc(data, (cap += add) sizeof(T))) == NULL) && errno == ENOMEM)) | 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); | ^ |
int RetValue = bmcg_sat_solver_addclause( pSats[0], &Lit, 1 ); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
if (ext_cap > INT_MAX | (((data = (T)::realloc(data, ext_cap sizeof(T))) == NULL) && errno == ENOMEM)) | 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 |
if (ext_cap > INT_MAX | (((data = (T)::realloc(data, ext_cap sizeof(T))) == NULL) && errno == ENOMEM)) | 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 |
if (add > INT_MAX - cap | (((data = (T)::realloc(data, (cap += add) sizeof(T))) == NULL) && errno == ENOMEM)) | 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 |
if (ext_cap > INT_MAX | (((data = (T)::realloc(data, ext_cap sizeof(T))) == NULL) && errno == ENOMEM)) | 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 |
if (add > INT_MAX - cap | (((data = (T)::realloc(data, (cap += add) sizeof(T))) == NULL) && errno == ENOMEM)) | 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 ); | ^ |
if (ext_cap > INT_MAX | (((data = (T)::realloc(data, ext_cap sizeof(T))) == NULL) && errno == ENOMEM)) | 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 |
if (ext_cap > INT_MAX | (((data = (T)::realloc(data, ext_cap sizeof(T))) == NULL) && errno == ENOMEM)) | 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: '%0*d' 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%0*d", pPrefix, nDigits, Num ); | ^ |
return builtin___sprintf_chk (s, __USE_FORTIFY_LEVEL - 1, | ^ |
bos (s), fmt, va_arg_pack ()); | 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 ); | ^ |
return builtin___sprintf_chk (s, __USE_FORTIFY_LEVEL - 1, | ^ |
bos (s), fmt, va_arg_pack ()); | 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 ); | ^ |
return builtin___sprintf_chk (s, __USE_FORTIFY_LEVEL - 1, | ^ |
bos (s), fmt, va_arg_pack ()); | 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 ); | ^ |
return builtin___sprintf_chk (s, __USE_FORTIFY_LEVEL - 1, | ^ |
bos (s), fmt, va_arg_pack ()); | 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 ); | ^ |
return builtin___sprintf_chk (s, __USE_FORTIFY_LEVEL - 1, | ^ |
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; | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
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 'XdblTest':
./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable]
183 |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
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 'XdblTest':
./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable]
183 |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
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 'XdblTest':
./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable]
183 |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
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 'XdblTest':
./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable]
183 |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
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}; | ^ |
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; | ^ |
int nVarsMax = 13; | ^ |
int nVarsMax = 13; | ^ |
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 'XdblTest':
./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable]
183 |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
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 'XdblTest':
./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable]
183 |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
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; | ^ |
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 'XdblTest':
./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable]
183 |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
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; | ^ |
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; | ^ |
int nVarsMax = 13; | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
int nVarsMax = 13; | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
int nVarsMax = 13; | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
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; | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
int nVarsMax = 13; | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
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 'XdblTest':
./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable]
183 |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
int nVarsMax = 13; | ^ |
int nVarsMax = 13; | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^ |
xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^ |
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 'XdblTest':
./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: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 97 [-Wformat-overflow=]
30575 | sprintf( pSuffix, "_li%0d", 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: '%0d' 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%0d", nDigits, i );
| ^~~~
src/base/io/ioReadPla.c:468:38: note: directive argument in the range [0, 2147483646]
468 | sprintf( Buffer, "z%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: '_builtinsprintf_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 'XdblTest':
./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 'XdblTest':
./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 'AbcCommandAbc9Cone':
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%0d.aig", ExtraFileNameGeneric(pAbc->pGia->pSpec), nDigits, i );
| ^~~~
src/base/abci/abc.c:43683:30: note: directive argument in the range [0, 2147483647]
43683 | sprintf( Buffer, "%s%0d.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$
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.
I'm having the same problem, but without Docker.
$ bazel run //transpiler/examples/hangman:hangman_client
INFO: Repository com_grail_bazel_toolchain instantiated at:
/mnt/c/Users/me/Desktop/code/google-fhe-transpiler/WORKSPACE:94:13: in <toplevel>
Repository rule http_archive defined at:
/home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/bazel_tools/tools/build_defs/repo/http.bzl:355:31: in <toplevel>
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
ERROR: An error occurred during the fetch of repository 'com_grail_bazel_toolchain':
Traceback (most recent call last):
File "/home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/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 downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/com_grail_bazel_toolchain/temp7185931435083786301/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
ERROR: /mnt/c/Users/me/Desktop/code/google-fhe-transpiler/WORKSPACE:94:13: fetching http_archive rule //external:com_grail_bazel_toolchain: Traceback (most recent call last):
File "/home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/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 downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/com_grail_bazel_toolchain/temp7185931435083786301/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
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 /home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/com_grail_bazel_toolchain/temp7185931435083786301/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
INFO: Elapsed time: 1.308s
INFO: 0 processes.
FAILED: Build did NOT complete successfully (0 packages loaded)
FAILED: Build did NOT complete successfully (0 packages loaded)
I was able to get the example to run with the following change
diff --git a/WORKSPACE b/WORKSPACE
index 40b254a..a96e5a3 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -93,8 +93,8 @@ http_archive(
# Toolchain to install LLVM, a requirements for XLS
http_archive(
name = "com_grail_bazel_toolchain",
- sha256 = "06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4",
- strip_prefix = "bazel-toolchain-0.8",
+ sha256 = "2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8",
+ strip_prefix = "toolchains_llvm-0.8",
urls = [
"https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip",
],
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: