nice -n 10 make -j2
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm (timeout 1200 secs)
 watching logfiles {}
 argv: ['nice', '-n', '10', 'make', '-j2']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LESSCLOSE=/usr/bin/lesspipe %s %s
  LESSOPEN=| /usr/bin/lesspipe %s
  LOGNAME=klee-buildslave
  LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.svgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:
  MAIL=/var/mail/klee-buildslave
  OLDPWD=/home/klee-buildslave
  PATH=/home/klee-buildslave/venv/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
  PS1=(venv)${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ 
  PWD=/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm
  SHELL=/bin/bash
  SHLVL=3
  SSH_CLIENT=99.119.67.25 62653 22
  SSH_CONNECTION=99.119.67.25 62653 74.208.166.209 22
  SSH_TTY=/dev/pts/1
  TERM=xterm-color
  USER=klee-buildslave
  VIRTUAL_ENV=/home/klee-buildslave/venv
  _=/home/klee-buildslave/venv/bin/buildslave
 closing stdin
 using PTY: False
llvm[0]: Constructing LLVMBuild project information.
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Support'
llvm[1]: Compiling APFloat.cpp for Release+Asserts build
llvm[1]: Compiling APInt.cpp for Release+Asserts build
llvm[1]: Compiling APSInt.cpp for Release+Asserts build
llvm[1]: Compiling Atomic.cpp for Release+Asserts build
llvm[1]: Compiling CommandLine.cpp for Release+Asserts build
llvm[1]: Compiling ConstantRange.cpp for Release+Asserts build
llvm[1]: Compiling CrashRecoveryContext.cpp for Release+Asserts build
llvm[1]: Compiling DataExtractor.cpp for Release+Asserts build
llvm[1]: Compiling Disassembler.cpp for Release+Asserts build
llvm[1]: Compiling DynamicLibrary.cpp for Release+Asserts build
llvm[1]: Compiling Errno.cpp for Release+Asserts build
llvm[1]: Compiling ErrorHandling.cpp for Release+Asserts build
llvm[1]: Compiling FileUtilities.cpp for Release+Asserts build
llvm[1]: Compiling FoldingSet.cpp for Release+Asserts build
FoldingSet.cpp: In member function ‘void llvm::FoldingSetNodeID::AddPointer(const void*)’:
FoldingSet.cpp:67: warning: dereferencing type-punned pointer will break strict-aliasing rules
llvm[1]: Compiling GraphWriter.cpp for Release+Asserts build
llvm[1]: Compiling Host.cpp for Release+Asserts build
llvm[1]: Compiling IntervalMap.cpp for Release+Asserts build
llvm[1]: Compiling IntrusiveRefCntPtr.cpp for Release+Asserts build
llvm[1]: Compiling IsInf.cpp for Release+Asserts build
llvm[1]: Compiling IsNAN.cpp for Release+Asserts build
llvm[1]: Compiling JSONParser.cpp for Release+Asserts build
llvm[1]: Compiling ManagedStatic.cpp for Release+Asserts build
llvm[1]: Compiling Memory.cpp for Release+Asserts build
llvm[1]: Compiling MemoryBuffer.cpp for Release+Asserts build
llvm[1]: Compiling Mutex.cpp for Release+Asserts build
llvm[1]: Compiling Path.cpp for Release+Asserts build
llvm[1]: Compiling PathV2.cpp for Release+Asserts build
llvm[1]: Compiling PluginLoader.cpp for Release+Asserts build
llvm[1]: Compiling PrettyStackTrace.cpp for Release+Asserts build
llvm[1]: Compiling Process.cpp for Release+Asserts build
llvm[1]: Compiling Program.cpp for Release+Asserts build
llvm[1]: Compiling RWMutex.cpp for Release+Asserts build
llvm[1]: Compiling Signals.cpp for Release+Asserts build
llvm[1]: Compiling SourceMgr.cpp for Release+Asserts build
llvm[1]: Compiling Statistic.cpp for Release+Asserts build
llvm[1]: Compiling StringExtras.cpp for Release+Asserts build
llvm[1]: Compiling StringMap.cpp for Release+Asserts build
llvm[1]: Compiling StringPool.cpp for Release+Asserts build
llvm[1]: Compiling StringRef.cpp for Release+Asserts build
llvm[1]: Compiling SystemUtils.cpp for Release+Asserts build
llvm[1]: Compiling TargetRegistry.cpp for Release+Asserts build
llvm[1]: Compiling ThreadLocal.cpp for Release+Asserts build
llvm[1]: Compiling Threading.cpp for Release+Asserts build
llvm[1]: Compiling TimeValue.cpp for Release+Asserts build
llvm[1]: Compiling Timer.cpp for Release+Asserts build
llvm[1]: Compiling Triple.cpp for Release+Asserts build
llvm[1]: Compiling Valgrind.cpp for Release+Asserts build
llvm[1]: Compiling raw_ostream.cpp for Release+Asserts build
llvm[1]: Compiling system_error.cpp for Release+Asserts build
llvm[1]: Building Release+Asserts Archive Library libLLVMSupport.a
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Support'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/TableGen'
llvm[1]: Compiling Error.cpp for Release+Asserts build
llvm[1]: Compiling Main.cpp for Release+Asserts build
llvm[1]: Compiling Record.cpp for Release+Asserts build
llvm[1]: Compiling TGLexer.cpp for Release+Asserts build
llvm[1]: Compiling TGParser.cpp for Release+Asserts build
llvm[1]: Compiling TableGenAction.cpp for Release+Asserts build
llvm[1]: Compiling TableGenBackend.cpp for Release+Asserts build
llvm[1]: Building Release+Asserts Archive Library libLLVMTableGen.a
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/TableGen'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/FileUpdate'
llvm[2]: Compiling FileUpdate.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/FileCheck'
llvm[2]: Compiling FileCheck.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable FileUpdate (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable FileUpdate (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/FileUpdate'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/TableGen'
llvm[2]: Compiling AsmMatcherEmitter.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable FileCheck (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable FileCheck (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/FileCheck'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/PerfectShuffle'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/PerfectShuffle'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/count'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/count'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/fpcmp'
llvm[2]: Compiling fpcmp.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable fpcmp (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable fpcmp (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/fpcmp'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/llvm-lit'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/llvm-lit'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/not'
llvm[2]: Linking Release+Asserts executable not (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable not (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/not'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/unittest'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/unittest/googletest'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/unittest/googletest'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/unittest/UnitTestMain'
llvm[3]: Compiling TestMain.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libgtest_main.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/unittest/UnitTestMain'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/unittest'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/json-bench'
llvm[2]: Compiling JSONBench.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable json-bench (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable json-bench (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/json-bench'
llvm[2]: Compiling AsmWriterEmitter.cpp for Release+Asserts build
llvm[2]: Compiling AsmWriterInst.cpp for Release+Asserts build
llvm[2]: Compiling CallingConvEmitter.cpp for Release+Asserts build
llvm[2]: Compiling CodeEmitterGen.cpp for Release+Asserts build
llvm[2]: Compiling CodeGenDAGPatterns.cpp for Release+Asserts build
llvm[2]: Compiling CodeGenInstruction.cpp for Release+Asserts build
llvm[2]: Compiling CodeGenRegisters.cpp for Release+Asserts build
llvm[2]: Compiling CodeGenTarget.cpp for Release+Asserts build
llvm[2]: Compiling DAGISelEmitter.cpp for Release+Asserts build
llvm[2]: Compiling DAGISelMatcher.cpp for Release+Asserts build
llvm[2]: Compiling DAGISelMatcherEmitter.cpp for Release+Asserts build
llvm[2]: Compiling DAGISelMatcherGen.cpp for Release+Asserts build
llvm[2]: Compiling DAGISelMatcherOpt.cpp for Release+Asserts build
llvm[2]: Compiling DFAPacketizerEmitter.cpp for Release+Asserts build
llvm[2]: Compiling DisassemblerEmitter.cpp for Release+Asserts build
llvm[2]: Compiling EDEmitter.cpp for Release+Asserts build
llvm[2]: Compiling FastISelEmitter.cpp for Release+Asserts build
llvm[2]: Compiling FixedLenDecoderEmitter.cpp for Release+Asserts build
llvm[2]: Compiling InstrEnumEmitter.cpp for Release+Asserts build
llvm[2]: Compiling InstrInfoEmitter.cpp for Release+Asserts build
llvm[2]: Compiling IntrinsicEmitter.cpp for Release+Asserts build
llvm[2]: Compiling PseudoLoweringEmitter.cpp for Release+Asserts build
llvm[2]: Compiling RegisterInfoEmitter.cpp for Release+Asserts build
llvm[2]: Compiling SetTheory.cpp for Release+Asserts build
llvm[2]: Compiling SubtargetEmitter.cpp for Release+Asserts build
llvm[2]: Compiling TGValueTypes.cpp for Release+Asserts build
llvm[2]: Compiling TableGen.cpp for Release+Asserts build
llvm[2]: Compiling X86DisassemblerTables.cpp for Release+Asserts build
llvm[2]: Compiling X86ModRMFilters.cpp for Release+Asserts build
llvm[2]: Compiling X86RecognizableInstr.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-tblgen (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-tblgen (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils/TableGen'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/utils'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/VMCore'
llvm[1]: Building Intrinsics.gen.tmp from Intrinsics.td
llvm[1]: Updated Intrinsics.gen because Intrinsics.gen.tmp changed significantly.
llvm[1]: Compiling AsmWriter.cpp for Release+Asserts build
llvm[1]: Compiling Attributes.cpp for Release+Asserts build
llvm[1]: Compiling AutoUpgrade.cpp for Release+Asserts build
llvm[1]: Compiling BasicBlock.cpp for Release+Asserts build
llvm[1]: Compiling ConstantFold.cpp for Release+Asserts build
llvm[1]: Compiling Constants.cpp for Release+Asserts build
llvm[1]: Compiling Core.cpp for Release+Asserts build
llvm[1]: Compiling DebugInfoProbe.cpp for Release+Asserts build
llvm[1]: Compiling DebugLoc.cpp for Release+Asserts build
llvm[1]: Compiling Dominators.cpp for Release+Asserts build
llvm[1]: Compiling Function.cpp for Release+Asserts build
llvm[1]: Compiling GCOV.cpp for Release+Asserts build
llvm[1]: Compiling GVMaterializer.cpp for Release+Asserts build
llvm[1]: Compiling Globals.cpp for Release+Asserts build
llvm[1]: Compiling IRBuilder.cpp for Release+Asserts build
llvm[1]: Compiling InlineAsm.cpp for Release+Asserts build
llvm[1]: Compiling Instruction.cpp for Release+Asserts build
llvm[1]: Compiling Instructions.cpp for Release+Asserts build
llvm[1]: Compiling IntrinsicInst.cpp for Release+Asserts build
llvm[1]: Compiling LLVMContext.cpp for Release+Asserts build
llvm[1]: Compiling LLVMContextImpl.cpp for Release+Asserts build
llvm[1]: Compiling LeakDetector.cpp for Release+Asserts build
llvm[1]: Compiling Metadata.cpp for Release+Asserts build
llvm[1]: Compiling Module.cpp for Release+Asserts build
llvm[1]: Compiling Pass.cpp for Release+Asserts build
llvm[1]: Compiling PassManager.cpp for Release+Asserts build
llvm[1]: Compiling PassRegistry.cpp for Release+Asserts build
llvm[1]: Compiling PrintModulePass.cpp for Release+Asserts build
llvm[1]: Compiling Type.cpp for Release+Asserts build
llvm[1]: Compiling Use.cpp for Release+Asserts build
llvm[1]: Compiling User.cpp for Release+Asserts build
llvm[1]: Compiling Value.cpp for Release+Asserts build
llvm[1]: Compiling ValueSymbolTable.cpp for Release+Asserts build
llvm[1]: Compiling ValueTypes.cpp for Release+Asserts build
llvm[1]: Compiling Verifier.cpp for Release+Asserts build
llvm[1]: Building Release+Asserts Archive Library libLLVMCore.a
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/VMCore'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/AsmParser'
llvm[2]: Compiling LLLexer.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/VMCore'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/VMCore'
llvm[2]: Compiling LLParser.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Bitcode'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Bitcode/Reader'
llvm[3]: Compiling BitReader.cpp for Release+Asserts build
llvm[3]: Compiling BitcodeReader.cpp for Release+Asserts build
llvm[2]: Compiling Parser.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libLLVMAsmParser.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/AsmParser'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Archive'
llvm[2]: Compiling Archive.cpp for Release+Asserts build
llvm[2]: Compiling ArchiveReader.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMBitReader.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Bitcode/Reader'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Bitcode/Writer'
llvm[3]: Compiling BitWriter.cpp for Release+Asserts build
llvm[3]: Compiling BitcodeWriter.cpp for Release+Asserts build
llvm[2]: Compiling ArchiveWriter.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libLLVMArchive.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Archive'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Analysis'
llvm[2]: Compiling AliasAnalysis.cpp for Release+Asserts build
llvm[2]: Compiling AliasAnalysisCounter.cpp for Release+Asserts build
AliasAnalysisCounter.cpp: In member function ‘virtual llvm::AliasAnalysis::ModRefResult<unnamed>::AliasAnalysisCounter::getModRefInfo(llvm::ImmutableCallSite, const llvm::AliasAnalysis::Location&)’:
AliasAnalysisCounter.cpp:156: warning: ‘MRString’ may be used uninitialized in this function
AliasAnalysisCounter.cpp: In member function ‘virtual llvm::AliasAnalysis::AliasResult<unnamed>::AliasAnalysisCounter::alias(const llvm::AliasAnalysis::Location&, const llvm::AliasAnalysis::Location&)’:
AliasAnalysisCounter.cpp:130: warning: ‘AliasString’ may be used uninitialized in this function
llvm[2]: Compiling AliasAnalysisEvaluator.cpp for Release+Asserts build
llvm[2]: Compiling AliasDebugger.cpp for Release+Asserts build
llvm[3]: Compiling BitcodeWriterPass.cpp for Release+Asserts build
llvm[2]: Compiling AliasSetTracker.cpp for Release+Asserts build
llvm[3]: Compiling ValueEnumerator.cpp for Release+Asserts build
llvm[2]: Compiling Analysis.cpp for Release+Asserts build
llvm[2]: Compiling BasicAliasAnalysis.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMBitWriter.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Bitcode/Writer'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Bitcode'
llvm[2]: Compiling BlockFrequencyInfo.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/Utils'
llvm[3]: Compiling AddrModeMatcher.cpp for Release+Asserts build
llvm[2]: Compiling BranchProbabilityInfo.cpp for Release+Asserts build
llvm[3]: Compiling BasicBlockUtils.cpp for Release+Asserts build
llvm[2]: Compiling CFGPrinter.cpp for Release+Asserts build
llvm[2]: Compiling CaptureTracking.cpp for Release+Asserts build
llvm[2]: Compiling ConstantFolding.cpp for Release+Asserts build
llvm[3]: Compiling BasicInliner.cpp for Release+Asserts build
llvm[3]: Compiling BreakCriticalEdges.cpp for Release+Asserts build
llvm[2]: Compiling DIBuilder.cpp for Release+Asserts build
llvm[2]: Compiling DbgInfoPrinter.cpp for Release+Asserts build
llvm[3]: Compiling BuildLibCalls.cpp for Release+Asserts build
llvm[2]: Compiling DebugInfo.cpp for Release+Asserts build
llvm[3]: Compiling CloneFunction.cpp for Release+Asserts build
llvm[2]: Compiling DomPrinter.cpp for Release+Asserts build
llvm[3]: Compiling CloneModule.cpp for Release+Asserts build
llvm[3]: Compiling CmpInstAnalysis.cpp for Release+Asserts build
llvm[3]: Compiling CodeExtractor.cpp for Release+Asserts build
llvm[2]: Compiling DominanceFrontier.cpp for Release+Asserts build
llvm[2]: Compiling IVUsers.cpp for Release+Asserts build
llvm[2]: Compiling InlineCost.cpp for Release+Asserts build
llvm[3]: Compiling DemoteRegToStack.cpp for Release+Asserts build
llvm[3]: Compiling InlineFunction.cpp for Release+Asserts build
llvm[2]: Compiling InstCount.cpp for Release+Asserts build
llvm[2]: Compiling InstructionSimplify.cpp for Release+Asserts build
InstructionSimplify.cpp: In function ‘llvm::Value* SimplifyShlInst(llvm::Value*, llvm::Value*, bool, bool, const llvm::TargetData*, const llvm::TargetLibraryInfo*, const llvm::DominatorTree*, unsigned int)’:
InstructionSimplify.cpp:1160: warning: ‘X’ may be used uninitialized in this function
llvm[3]: Compiling InstructionNamer.cpp for Release+Asserts build
llvm[3]: Compiling LCSSA.cpp for Release+Asserts build
llvm[2]: Compiling Interval.cpp for Release+Asserts build
llvm[2]: Compiling IntervalPartition.cpp for Release+Asserts build
llvm[3]: Compiling Local.cpp for Release+Asserts build
llvm[2]: Compiling LazyValueInfo.cpp for Release+Asserts build
llvm[3]: Compiling LoopSimplify.cpp for Release+Asserts build
llvm[2]: Compiling LibCallAliasAnalysis.cpp for Release+Asserts build
llvm[2]: Compiling LibCallSemantics.cpp for Release+Asserts build
llvm[2]: Compiling Lint.cpp for Release+Asserts build
llvm[3]: Compiling LoopUnroll.cpp for Release+Asserts build
llvm[2]: Compiling Loads.cpp for Release+Asserts build
llvm[2]: Compiling LoopDependenceAnalysis.cpp for Release+Asserts build
llvm[3]: Compiling LoopUnrollRuntime.cpp for Release+Asserts build
llvm[2]: Compiling LoopInfo.cpp for Release+Asserts build
llvm[3]: Compiling LowerExpectIntrinsic.cpp for Release+Asserts build
llvm[3]: Compiling LowerInvoke.cpp for Release+Asserts build
llvm[2]: Compiling LoopPass.cpp for Release+Asserts build
llvm[3]: Compiling LowerSwitch.cpp for Release+Asserts build
llvm[2]: Compiling MemDepPrinter.cpp for Release+Asserts build
llvm[3]: Compiling Mem2Reg.cpp for Release+Asserts build
llvm[3]: Compiling ModuleUtils.cpp for Release+Asserts build
llvm[2]: Compiling MemoryBuiltins.cpp for Release+Asserts build
llvm[3]: Compiling PromoteMemoryToRegister.cpp for Release+Asserts build
llvm[2]: Compiling MemoryDependenceAnalysis.cpp for Release+Asserts build
llvm[3]: Compiling SSAUpdater.cpp for Release+Asserts build
llvm[2]: Compiling ModuleDebugInfoPrinter.cpp for Release+Asserts build
llvm[2]: Compiling NoAliasAnalysis.cpp for Release+Asserts build
llvm[3]: Compiling SimplifyCFG.cpp for Release+Asserts build
llvm[2]: Compiling PHITransAddr.cpp for Release+Asserts build
llvm[2]: Compiling PathNumbering.cpp for Release+Asserts build
llvm[2]: Compiling PathProfileInfo.cpp for Release+Asserts build
llvm[2]: Compiling PathProfileVerifier.cpp for Release+Asserts build
llvm[3]: Compiling SimplifyIndVar.cpp for Release+Asserts build
llvm[2]: Compiling PostDominators.cpp for Release+Asserts build
llvm[3]: Compiling SimplifyInstructions.cpp for Release+Asserts build
llvm[2]: Compiling ProfileEstimatorPass.cpp for Release+Asserts build
llvm[3]: Compiling UnifyFunctionExitNodes.cpp for Release+Asserts build
llvm[3]: Compiling Utils.cpp for Release+Asserts build
llvm[3]: Compiling ValueMapper.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMTransformUtils.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/Utils'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/Instrumentation'
llvm[3]: Compiling AddressSanitizer.cpp for Release+Asserts build
llvm[2]: Compiling ProfileInfo.cpp for Release+Asserts build
llvm[3]: Compiling EdgeProfiling.cpp for Release+Asserts build
llvm[3]: Compiling GCOVProfiling.cpp for Release+Asserts build
llvm[2]: Compiling ProfileInfoLoader.cpp for Release+Asserts build
llvm[2]: Compiling ProfileInfoLoaderPass.cpp for Release+Asserts build
llvm[3]: Compiling Instrumentation.cpp for Release+Asserts build
llvm[2]: Compiling ProfileVerifierPass.cpp for Release+Asserts build
llvm[3]: Compiling OptimalEdgeProfiling.cpp for Release+Asserts build
llvm[2]: Compiling RegionInfo.cpp for Release+Asserts build
llvm[3]: Compiling PathProfiling.cpp for Release+Asserts build
llvm[3]: Compiling ProfilingUtils.cpp for Release+Asserts build
llvm[2]: Compiling RegionPass.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMInstrumentation.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/Instrumentation'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/Scalar'
llvm[3]: Compiling ADCE.cpp for Release+Asserts build
llvm[3]: Compiling BasicBlockPlacement.cpp for Release+Asserts build
llvm[2]: Compiling RegionPrinter.cpp for Release+Asserts build
llvm[3]: Compiling CodeGenPrepare.cpp for Release+Asserts build
llvm[2]: Compiling ScalarEvolution.cpp for Release+Asserts build
llvm[3]: Compiling ConstantProp.cpp for Release+Asserts build
llvm[3]: Compiling CorrelatedValuePropagation.cpp for Release+Asserts build
llvm[3]: Compiling DCE.cpp for Release+Asserts build
llvm[3]: Compiling DeadStoreElimination.cpp for Release+Asserts build
llvm[3]: Compiling EarlyCSE.cpp for Release+Asserts build
llvm[3]: Compiling GVN.cpp for Release+Asserts build
GVN.cpp: In member function ‘bool<unnamed>::GVN::propagateEquality(llvm::Value*, llvm::Value*, llvm::BasicBlock*)’:
GVN.cpp:1969: warning: ‘B’ may be used uninitialized in this function
GVN.cpp:1969: warning: ‘A’ may be used uninitialized in this function
llvm[3]: Compiling GlobalMerge.cpp for Release+Asserts build
llvm[3]: Compiling IndVarSimplify.cpp for Release+Asserts build
llvm[2]: Compiling ScalarEvolutionAliasAnalysis.cpp for Release+Asserts build
llvm[2]: Compiling ScalarEvolutionExpander.cpp for Release+Asserts build
llvm[3]: Compiling JumpThreading.cpp for Release+Asserts build
llvm[2]: Compiling ScalarEvolutionNormalization.cpp for Release+Asserts build
llvm[3]: Compiling LICM.cpp for Release+Asserts build
llvm[2]: Compiling SparsePropagation.cpp for Release+Asserts build
llvm[2]: Compiling Trace.cpp for Release+Asserts build
llvm[2]: Compiling TypeBasedAliasAnalysis.cpp for Release+Asserts build
llvm[2]: Compiling ValueTracking.cpp for Release+Asserts build
llvm[3]: Compiling LoopDeletion.cpp for Release+Asserts build
llvm[3]: Compiling LoopIdiomRecognize.cpp for Release+Asserts build
llvm[3]: Compiling LoopInstSimplify.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libLLVMAnalysis.a
llvm[3]: Compiling LoopRotation.cpp for Release+Asserts build
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Analysis/IPA'
llvm[3]: Compiling CallGraph.cpp for Release+Asserts build
llvm[3]: Compiling CallGraphSCCPass.cpp for Release+Asserts build
llvm[3]: Compiling LoopStrengthReduce.cpp for Release+Asserts build
llvm[3]: Compiling FindUsedTypes.cpp for Release+Asserts build
llvm[3]: Compiling GlobalsModRef.cpp for Release+Asserts build
llvm[3]: Compiling IPA.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMipa.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Analysis/IPA'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Analysis'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/InstCombine'
llvm[3]: Compiling InstCombineAddSub.cpp for Release+Asserts build
llvm[3]: Compiling InstCombineAndOrXor.cpp for Release+Asserts build
llvm[3]: Compiling LoopUnrollPass.cpp for Release+Asserts build
llvm[3]: Compiling LoopUnswitch.cpp for Release+Asserts build
InstCombineAndOrXor.cpp: In member function ‘llvm::Value* llvm::InstCombiner::FoldOrOfICmps(llvm::ICmpInst*, llvm::ICmpInst*)’:
InstCombineAndOrXor.cpp:1479: warning: ‘AddCst’ may be used uninitialized in this function
llvm[3]: Compiling InstCombineCalls.cpp for Release+Asserts build
llvm[3]: Compiling LowerAtomic.cpp for Release+Asserts build
llvm[3]: Compiling MemCpyOptimizer.cpp for Release+Asserts build
llvm[3]: Compiling ObjCARC.cpp for Release+Asserts build
llvm[3]: Compiling InstCombineCasts.cpp for Release+Asserts build
InstCombineCasts.cpp: In member function ‘llvm::Instruction* llvm::InstCombiner::visitZExt(llvm::ZExtInst&)’:
InstCombineCasts.cpp:874: warning: ‘X’ may be used uninitialized in this function
llvm[3]: Compiling InstCombineCompares.cpp for Release+Asserts build
llvm[3]: Compiling Reassociate.cpp for Release+Asserts build
InstCombineCompares.cpp: In member function ‘llvm::Instruction* llvm::InstCombiner::visitICmpInstWithInstAndIntCst(llvm::ICmpInst&, llvm::Instruction*, llvm::ConstantInt*)’:
InstCombineCompares.cpp:1221: warning: ‘Q’ may be used uninitialized in this function
InstCombineCompares.cpp:1221: warning: ‘P’ may be used uninitialized in this function
llvm[3]: Compiling Reg2Mem.cpp for Release+Asserts build
llvm[3]: Compiling SCCP.cpp for Release+Asserts build
InstCombineCompares.cpp: In member function ‘llvm::Instruction* llvm::InstCombiner::visitICmpInst(llvm::ICmpInst&)’:
InstCombineCompares.cpp:1885: warning: ‘CI2’ may be used uninitialized in this function
llvm[3]: Compiling InstCombineLoadStoreAlloca.cpp for Release+Asserts build
llvm[3]: Compiling InstCombineMulDivRem.cpp for Release+Asserts build
llvm[3]: Compiling Scalar.cpp for Release+Asserts build
llvm[3]: Compiling ScalarReplAggregates.cpp for Release+Asserts build
llvm[3]: Compiling InstCombinePHI.cpp for Release+Asserts build
llvm[3]: Compiling InstCombineSelect.cpp for Release+Asserts build
llvm[3]: Compiling SimplifyCFGPass.cpp for Release+Asserts build
llvm[3]: Compiling SimplifyLibCalls.cpp for Release+Asserts build
llvm[3]: Compiling InstCombineShifts.cpp for Release+Asserts build
InstCombineShifts.cpp: In member function ‘llvm::Instruction* llvm::InstCombiner::commonShiftTransforms(llvm::BinaryOperator&)’:
InstCombineShifts.cpp:43: warning: ‘B’ may be used uninitialized in this function
InstCombineShifts.cpp:43: warning: ‘A’ may be used uninitialized in this function
InstCombineShifts.cpp: In member function ‘llvm::Instruction* llvm::InstCombiner::visitShl(llvm::BinaryOperator&)’:
InstCombineShifts.cpp:714: warning: ‘A’ may be used uninitialized in this function
InstCombineShifts.cpp:713: warning: ‘C1’ may be used uninitialized in this function
llvm[3]: Compiling InstCombineSimplifyDemanded.cpp for Release+Asserts build
llvm[3]: Compiling Sink.cpp for Release+Asserts build
llvm[3]: Compiling InstCombineVectorOps.cpp for Release+Asserts build
llvm[3]: Compiling TailRecursionElimination.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMScalarOpts.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/Scalar'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/CodeGen'
llvm[2]: Compiling AggressiveAntiDepBreaker.cpp for Release+Asserts build
llvm[3]: Compiling InstructionCombining.cpp for Release+Asserts build
llvm[2]: Compiling AllocationOrder.cpp for Release+Asserts build
llvm[2]: Compiling Analysis.cpp for Release+Asserts build
llvm[2]: Compiling BranchFolding.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMInstCombine.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/InstCombine'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/IPO'
llvm[3]: Compiling ArgumentPromotion.cpp for Release+Asserts build
llvm[2]: Compiling CalcSpillWeights.cpp for Release+Asserts build
llvm[2]: Compiling CallingConvLower.cpp for Release+Asserts build
llvm[3]: Compiling ConstantMerge.cpp for Release+Asserts build
llvm[3]: Compiling DeadArgumentElimination.cpp for Release+Asserts build
llvm[2]: Compiling CodeGen.cpp for Release+Asserts build
llvm[2]: Compiling CodePlacementOpt.cpp for Release+Asserts build
llvm[2]: Compiling CriticalAntiDepBreaker.cpp for Release+Asserts build
llvm[3]: Compiling ExtractGV.cpp for Release+Asserts build
llvm[3]: Compiling FunctionAttrs.cpp for Release+Asserts build
llvm[2]: Compiling DFAPacketizer.cpp for Release+Asserts build
llvm[2]: Compiling DeadMachineInstructionElim.cpp for Release+Asserts build
llvm[2]: Compiling DwarfEHPrepare.cpp for Release+Asserts build
llvm[3]: Compiling GlobalDCE.cpp for Release+Asserts build
llvm[2]: Compiling EdgeBundles.cpp for Release+Asserts build
llvm[3]: Compiling GlobalOpt.cpp for Release+Asserts build
llvm[2]: Compiling ExecutionDepsFix.cpp for Release+Asserts build
llvm[2]: Compiling ExpandISelPseudos.cpp for Release+Asserts build
llvm[2]: Compiling ExpandPostRAPseudos.cpp for Release+Asserts build
llvm[2]: Compiling GCMetadata.cpp for Release+Asserts build
llvm[2]: Compiling GCMetadataPrinter.cpp for Release+Asserts build
llvm[2]: Compiling GCStrategy.cpp for Release+Asserts build
llvm[3]: Compiling IPConstantPropagation.cpp for Release+Asserts build
llvm[3]: Compiling IPO.cpp for Release+Asserts build
llvm[2]: Compiling IfConversion.cpp for Release+Asserts build
llvm[3]: Compiling InlineAlways.cpp for Release+Asserts build
llvm[3]: Compiling InlineSimple.cpp for Release+Asserts build
llvm[3]: Compiling Inliner.cpp for Release+Asserts build
llvm[2]: Compiling InlineSpiller.cpp for Release+Asserts build
/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/ADT/PointerIntPair.h: In member function ‘const PointerTy* llvm::PointerIntPair<PointerTy, IntBits, IntType, PtrTraits>::getAddrOfPointer() const [with PointerTy = void*, unsigned int IntBits = 1u, IntType = bool, PtrTraits = llvm::PointerUnionUIntTraits<llvm::VNInfo*, llvm::SmallVector<llvm::VNInfo*, 4u>*>]’:
/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/ADT/PointerUnion.h:153:   instantiated from ‘const PT1* llvm::PointerUnion<PT1, PT2>::getAddrOf() const [with T = llvm::VNInfo*, PT1 = llvm::VNInfo*, PT2 = llvm::SmallVector<llvm::VNInfo*, 4u>*]’
/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/ADT/TinyPtrVector.h:72:   instantiated from ‘const EltTy* llvm::TinyPtrVector<EltTy>::begin() const [with EltTy = llvm::VNInfo*]’
InlineSpiller.cpp:382:   instantiated from here
/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/ADT/PointerIntPair.h:98: warning: dereferencing type-punned pointer will break strict-aliasing rules
llvm[3]: Compiling Internalize.cpp for Release+Asserts build
llvm[3]: Compiling LoopExtractor.cpp for Release+Asserts build
llvm[2]: Compiling InterferenceCache.cpp for Release+Asserts build
llvm[3]: Compiling MergeFunctions.cpp for Release+Asserts build
llvm[2]: Compiling IntrinsicLowering.cpp for Release+Asserts build
llvm[3]: Compiling PartialInlining.cpp for Release+Asserts build
llvm[2]: Compiling JITCodeEmitter.cpp for Release+Asserts build
llvm[2]: Compiling LLVMTargetMachine.cpp for Release+Asserts build
llvm[3]: Compiling PassManagerBuilder.cpp for Release+Asserts build
llvm[3]: Compiling PruneEH.cpp for Release+Asserts build
llvm[2]: Compiling LatencyPriorityQueue.cpp for Release+Asserts build
llvm[3]: Compiling StripDeadPrototypes.cpp for Release+Asserts build
llvm[3]: Compiling StripSymbols.cpp for Release+Asserts build
llvm[2]: Compiling LexicalScopes.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMipo.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/IPO'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/Hello'
llvm[3]: Compiling Hello.cpp for Release+Asserts build (PIC)
llvm[3]: Linking Release+Asserts Loadable Module LLVMHello.so
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms/Hello'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Transforms'
llvm[2]: Compiling LiveDebugVariables.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target'
llvm[2]: Compiling Mangler.cpp for Release+Asserts build
llvm[2]: Compiling Target.cpp for Release+Asserts build
llvm[2]: Compiling TargetData.cpp for Release+Asserts build
llvm[2]: Compiling TargetELFWriterInfo.cpp for Release+Asserts build
llvm[2]: Compiling TargetInstrInfo.cpp for Release+Asserts build
llvm[2]: Compiling TargetIntrinsicInfo.cpp for Release+Asserts build
llvm[2]: Compiling TargetJITInfo.cpp for Release+Asserts build
llvm[2]: Compiling TargetLibraryInfo.cpp for Release+Asserts build
llvm[2]: Compiling LiveInterval.cpp for Release+Asserts build
llvm[2]: Compiling TargetLoweringObjectFile.cpp for Release+Asserts build
llvm[2]: Compiling TargetMachine.cpp for Release+Asserts build
llvm[2]: Compiling LiveIntervalAnalysis.cpp for Release+Asserts build
llvm[2]: Compiling TargetRegisterInfo.cpp for Release+Asserts build
llvm[2]: Compiling TargetSubtargetInfo.cpp for Release+Asserts build
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86'
llvm[3]: Building X86.td register info implementation with tblgen
llvm[3]: Building X86.td instruction information with tblgen
llvm[3]: Building X86.td subtarget information with tblgen
llvm[2]: Compiling LiveIntervalUnion.cpp for Release+Asserts build
llvm[3]: Building X86.td calling convention information with tblgen
llvm[3]: Building X86.td DAG instruction selector implementation with tblgen
llvm[2]: Compiling LiveRangeCalc.cpp for Release+Asserts build
llvm[3]: Building X86.td "fast" instruction selector implementation with tblgen
llvm[3]: Building X86.td assembly writer with tblgen
llvm[2]: Compiling LiveRangeEdit.cpp for Release+Asserts build
llvm[3]: Building X86.td assembly matcher with tblgen
llvm[2]: Compiling LiveStackAnalysis.cpp for Release+Asserts build
llvm[3]: Building X86.td assembly writer #1 with tblgen
llvm[2]: Compiling LiveVariables.cpp for Release+Asserts build
llvm[3]: Building X86.td disassembly tables with tblgen
llvm[3]: Building X86.td enhanced disassembly information with tblgen
llvm[3]: Compiling X86AsmPrinter.cpp for Release+Asserts build
llvm[2]: Compiling LocalStackSlotAllocation.cpp for Release+Asserts build
llvm[2]: Compiling MachineBasicBlock.cpp for Release+Asserts build
llvm[3]: Compiling X86COFFMachineModuleInfo.cpp for Release+Asserts build
llvm[3]: Compiling X86CodeEmitter.cpp for Release+Asserts build
llvm[2]: Compiling MachineBlockFrequencyInfo.cpp for Release+Asserts build
llvm[3]: Compiling X86ELFWriterInfo.cpp for Release+Asserts build
llvm[3]: Compiling X86FastISel.cpp for Release+Asserts build
llvm[2]: Compiling MachineBlockPlacement.cpp for Release+Asserts build
llvm[2]: Compiling MachineBranchProbabilityInfo.cpp for Release+Asserts build
llvm[2]: Compiling MachineCSE.cpp for Release+Asserts build
llvm[2]: Compiling MachineCodeEmitter.cpp for Release+Asserts build
llvm[2]: Compiling MachineCopyPropagation.cpp for Release+Asserts build
llvm[2]: Compiling MachineDominators.cpp for Release+Asserts build
llvm[3]: Compiling X86FloatingPoint.cpp for Release+Asserts build
llvm[2]: Compiling MachineFunction.cpp for Release+Asserts build
llvm[3]: Compiling X86FrameLowering.cpp for Release+Asserts build
llvm[2]: Compiling MachineFunctionAnalysis.cpp for Release+Asserts build
llvm[2]: Compiling MachineFunctionPass.cpp for Release+Asserts build
llvm[2]: Compiling MachineFunctionPrinterPass.cpp for Release+Asserts build
llvm[2]: Compiling MachineInstr.cpp for Release+Asserts build
llvm[3]: Compiling X86ISelDAGToDAG.cpp for Release+Asserts build
llvm[2]: Compiling MachineInstrBundle.cpp for Release+Asserts build
llvm[2]: Compiling MachineLICM.cpp for Release+Asserts build
llvm[3]: Compiling X86ISelLowering.cpp for Release+Asserts build
llvm[2]: Compiling MachineLoopInfo.cpp for Release+Asserts build
llvm[2]: Compiling MachineLoopRanges.cpp for Release+Asserts build
llvm[2]: Compiling MachineModuleInfo.cpp for Release+Asserts build
llvm[2]: Compiling MachineModuleInfoImpls.cpp for Release+Asserts build
llvm[2]: Compiling MachinePassRegistry.cpp for Release+Asserts build
llvm[2]: Compiling MachineRegisterInfo.cpp for Release+Asserts build
llvm[2]: Compiling MachineSSAUpdater.cpp for Release+Asserts build
llvm[2]: Compiling MachineScheduler.cpp for Release+Asserts build
llvm[2]: Compiling MachineSink.cpp for Release+Asserts build
llvm[2]: Compiling MachineVerifier.cpp for Release+Asserts build
llvm[2]: Compiling OcamlGC.cpp for Release+Asserts build
llvm[2]: Compiling OptimizePHIs.cpp for Release+Asserts build
llvm[2]: Compiling PHIElimination.cpp for Release+Asserts build
llvm[2]: Compiling PHIEliminationUtils.cpp for Release+Asserts build
llvm[2]: Compiling Passes.cpp for Release+Asserts build
llvm[2]: Compiling PeepholeOptimizer.cpp for Release+Asserts build
llvm[2]: Compiling PostRASchedulerList.cpp for Release+Asserts build
llvm[2]: Compiling ProcessImplicitDefs.cpp for Release+Asserts build
llvm[3]: Compiling X86InstrInfo.cpp for Release+Asserts build
llvm[2]: Compiling PrologEpilogInserter.cpp for Release+Asserts build
llvm[2]: Compiling PseudoSourceValue.cpp for Release+Asserts build
llvm[2]: Compiling RegAllocBase.cpp for Release+Asserts build
llvm[3]: Compiling X86JITInfo.cpp for Release+Asserts build
llvm[2]: Compiling RegAllocBasic.cpp for Release+Asserts build
llvm[3]: Compiling X86MCInstLower.cpp for Release+Asserts build
llvm[2]: Compiling RegAllocFast.cpp for Release+Asserts build
llvm[3]: Compiling X86MachineFunctionInfo.cpp for Release+Asserts build
llvm[3]: Compiling X86RegisterInfo.cpp for Release+Asserts build
llvm[2]: Compiling RegAllocGreedy.cpp for Release+Asserts build
llvm[2]: Compiling RegAllocPBQP.cpp for Release+Asserts build
llvm[3]: Compiling X86SelectionDAGInfo.cpp for Release+Asserts build
llvm[3]: Compiling X86Subtarget.cpp for Release+Asserts build
llvm[3]: Compiling X86TargetMachine.cpp for Release+Asserts build
llvm[2]: Compiling RegisterClassInfo.cpp for Release+Asserts build
llvm[3]: Compiling X86TargetObjectFile.cpp for Release+Asserts build
llvm[2]: Compiling RegisterCoalescer.cpp for Release+Asserts build
llvm[3]: Compiling X86VZeroUpper.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMX86CodeGen.a
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/InstPrinter'
llvm[4]: Compiling X86ATTInstPrinter.cpp for Release+Asserts build
llvm[4]: Compiling X86InstComments.cpp for Release+Asserts build
llvm[4]: Compiling X86IntelInstPrinter.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libLLVMX86AsmPrinter.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/InstPrinter'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/AsmParser'
llvm[4]: Compiling X86AsmLexer.cpp for Release+Asserts build
llvm[2]: Compiling RegisterScavenging.cpp for Release+Asserts build
llvm[4]: Compiling X86AsmParser.cpp for Release+Asserts build
llvm[2]: Compiling RenderMachineFunction.cpp for Release+Asserts build
llvm[2]: Compiling ScheduleDAG.cpp for Release+Asserts build
llvm[2]: Compiling ScheduleDAGEmit.cpp for Release+Asserts build
llvm[2]: Compiling ScheduleDAGInstrs.cpp for Release+Asserts build
llvm[2]: Compiling ScheduleDAGPrinter.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libLLVMX86AsmParser.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/AsmParser'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/Disassembler'
llvm[4]: Compiling X86Disassembler.cpp for Release+Asserts build
llvm[2]: Compiling ScoreboardHazardRecognizer.cpp for Release+Asserts build
llvm[2]: Compiling ShadowStackGC.cpp for Release+Asserts build
llvm[4]: Compiling X86DisassemblerDecoder.c for Release+Asserts build
llvm[2]: Compiling ShrinkWrapping.cpp for Release+Asserts build
X86DisassemblerDecoder.c: In function ‘getIDWithAttrMask’:
X86DisassemblerDecoder.c:106: warning: ‘dec’ may be used uninitialized in this function
X86DisassemblerDecoder.c:106: note: ‘dec’ was declared here
X86DisassemblerDecoder.c:106: warning: ‘dec’ may be used uninitialized in this function
X86DisassemblerDecoder.c:106: note: ‘dec’ was declared here
llvm[4]: Building Release+Asserts Archive Library libLLVMX86Disassembler.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/Disassembler'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/TargetInfo'
llvm[4]: Compiling X86TargetInfo.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libLLVMX86Info.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/TargetInfo'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/MCTargetDesc'
llvm[4]: Compiling X86AsmBackend.cpp for Release+Asserts build
llvm[4]: Compiling X86ELFObjectWriter.cpp for Release+Asserts build
llvm[4]: Compiling X86MCAsmInfo.cpp for Release+Asserts build
llvm[2]: Compiling SjLjEHPrepare.cpp for Release+Asserts build
llvm[4]: Compiling X86MCCodeEmitter.cpp for Release+Asserts build
llvm[4]: Compiling X86MCTargetDesc.cpp for Release+Asserts build
llvm[2]: Compiling SlotIndexes.cpp for Release+Asserts build
llvm[2]: Compiling SpillPlacement.cpp for Release+Asserts build
llvm[2]: Compiling Spiller.cpp for Release+Asserts build
llvm[4]: Compiling X86MachObjectWriter.cpp for Release+Asserts build
llvm[2]: Compiling SplitKit.cpp for Release+Asserts build
llvm[4]: Compiling X86WinCOFFObjectWriter.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libLLVMX86Desc.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/MCTargetDesc'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/Utils'
llvm[4]: Compiling X86ShuffleDecode.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libLLVMX86Utils.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86/Utils'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target/X86'
llvm[2]: Building Release+Asserts Archive Library libLLVMTarget.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Target'
llvm[2]: Compiling StackProtector.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine'
llvm[2]: Compiling ExecutionEngine.cpp for Release+Asserts build
llvm[2]: Compiling StackSlotColoring.cpp for Release+Asserts build
llvm[2]: Compiling ExecutionEngineBindings.cpp for Release+Asserts build
llvm[2]: Compiling TargetSelect.cpp for Release+Asserts build
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine/Interpreter'
llvm[3]: Compiling Execution.cpp for Release+Asserts build
llvm[2]: Compiling StrongPHIElimination.cpp for Release+Asserts build
llvm[2]: Compiling TailDuplication.cpp for Release+Asserts build
llvm[3]: Compiling ExternalFunctions.cpp for Release+Asserts build
llvm[3]: Compiling Interpreter.cpp for Release+Asserts build
llvm[2]: Compiling TargetFrameLoweringImpl.cpp for Release+Asserts build
llvm[2]: Compiling TargetInstrInfoImpl.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMInterpreter.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine/Interpreter'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine/JIT'
llvm[3]: Compiling Intercept.cpp for Release+Asserts build
llvm[3]: Compiling JIT.cpp for Release+Asserts build
llvm[2]: Compiling TargetLoweringObjectFileImpl.cpp for Release+Asserts build
llvm[3]: Compiling JITDwarfEmitter.cpp for Release+Asserts build
llvm[2]: Compiling TargetOptionsImpl.cpp for Release+Asserts build
llvm[2]: Compiling TwoAddressInstructionPass.cpp for Release+Asserts build
llvm[3]: Compiling JITEmitter.cpp for Release+Asserts build
llvm[3]: Compiling JITMemoryManager.cpp for Release+Asserts build
llvm[2]: Compiling UnreachableBlockElim.cpp for Release+Asserts build
llvm[3]: Compiling OProfileJITEventListener.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMJIT.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine/JIT'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine/MCJIT'
llvm[3]: Compiling Intercept.cpp for Release+Asserts build
llvm[3]: Compiling MCJIT.cpp for Release+Asserts build
llvm[2]: Compiling VirtRegMap.cpp for Release+Asserts build
llvm[3]: Compiling MCJITMemoryManager.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMMCJIT.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine/MCJIT'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine/RuntimeDyld'
llvm[3]: Compiling RuntimeDyld.cpp for Release+Asserts build
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/CodeGen/SelectionDAG'
llvm[3]: Compiling DAGCombiner.cpp for Release+Asserts build
llvm[3]: Compiling RuntimeDyldELF.cpp for Release+Asserts build
llvm[3]: Compiling RuntimeDyldMachO.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMRuntimeDyld.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine/RuntimeDyld'
llvm[2]: Building Release+Asserts Archive Library libLLVMExecutionEngine.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/ExecutionEngine'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/CodeGen/AsmPrinter'
llvm[3]: Compiling ARMException.cpp for Release+Asserts build
llvm[3]: Compiling AsmPrinter.cpp for Release+Asserts build
llvm[3]: Compiling AsmPrinterDwarf.cpp for Release+Asserts build
llvm[3]: Compiling AsmPrinterInlineAsm.cpp for Release+Asserts build
llvm[3]: Compiling DIE.cpp for Release+Asserts build
llvm[3]: Compiling DwarfAccelTable.cpp for Release+Asserts build
llvm[3]: Compiling FastISel.cpp for Release+Asserts build
llvm[3]: Compiling DwarfCFIException.cpp for Release+Asserts build
llvm[3]: Compiling DwarfCompileUnit.cpp for Release+Asserts build
llvm[3]: Compiling FunctionLoweringInfo.cpp for Release+Asserts build
llvm[3]: Compiling DwarfDebug.cpp for Release+Asserts build
llvm[3]: Compiling InstrEmitter.cpp for Release+Asserts build
llvm[3]: Compiling LegalizeDAG.cpp for Release+Asserts build
llvm[3]: Compiling DwarfException.cpp for Release+Asserts build
llvm[3]: Compiling OcamlGCPrinter.cpp for Release+Asserts build
llvm[3]: Compiling Win64Exception.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMAsmPrinter.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/CodeGen/AsmPrinter'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Linker'
llvm[2]: Compiling LinkArchives.cpp for Release+Asserts build
llvm[3]: Compiling LegalizeFloatTypes.cpp for Release+Asserts build
llvm[2]: Compiling LinkItems.cpp for Release+Asserts build
llvm[2]: Compiling LinkModules.cpp for Release+Asserts build
llvm[3]: Compiling LegalizeIntegerTypes.cpp for Release+Asserts build
llvm[2]: Compiling Linker.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libLLVMLinker.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Linker'
llvm[2]: Building Release+Asserts Archive Library libLLVMCodeGen.a
llvm[3]: Compiling LegalizeTypes.cpp for Release+Asserts build
llvm[3]: Compiling LegalizeTypesGeneric.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/MC'
llvm[2]: Compiling ELFObjectWriter.cpp for Release+Asserts build
llvm[3]: Compiling LegalizeVectorOps.cpp for Release+Asserts build
llvm[3]: Compiling LegalizeVectorTypes.cpp for Release+Asserts build
llvm[2]: Compiling MCAsmBackend.cpp for Release+Asserts build
llvm[2]: Compiling MCAsmInfo.cpp for Release+Asserts build
llvm[2]: Compiling MCAsmInfoCOFF.cpp for Release+Asserts build
llvm[2]: Compiling MCAsmInfoDarwin.cpp for Release+Asserts build
llvm[2]: Compiling MCAsmStreamer.cpp for Release+Asserts build
llvm[2]: Compiling MCAssembler.cpp for Release+Asserts build
llvm[3]: Compiling ScheduleDAGFast.cpp for Release+Asserts build
llvm[2]: Compiling MCAtom.cpp for Release+Asserts build
llvm[2]: Compiling MCCodeEmitter.cpp for Release+Asserts build
llvm[2]: Compiling MCContext.cpp for Release+Asserts build
llvm[3]: Compiling ScheduleDAGRRList.cpp for Release+Asserts build
llvm[2]: Compiling MCDwarf.cpp for Release+Asserts build
llvm[2]: Compiling MCELF.cpp for Release+Asserts build
llvm[2]: Compiling MCELFObjectTargetWriter.cpp for Release+Asserts build
llvm[2]: Compiling MCELFStreamer.cpp for Release+Asserts build
llvm[2]: Compiling MCExpr.cpp for Release+Asserts build
llvm[3]: Compiling ScheduleDAGSDNodes.cpp for Release+Asserts build
llvm[2]: Compiling MCInst.cpp for Release+Asserts build
llvm[2]: Compiling MCMachOStreamer.cpp for Release+Asserts build
llvm[2]: Compiling MCMachObjectTargetWriter.cpp for Release+Asserts build
llvm[2]: Compiling MCModule.cpp for Release+Asserts build
llvm[3]: Compiling SelectionDAG.cpp for Release+Asserts build
llvm[2]: Compiling MCNullStreamer.cpp for Release+Asserts build
llvm[2]: Compiling MCObjectFileInfo.cpp for Release+Asserts build
llvm[2]: Compiling MCObjectStreamer.cpp for Release+Asserts build
llvm[2]: Compiling MCObjectWriter.cpp for Release+Asserts build
llvm[2]: Compiling MCPureStreamer.cpp for Release+Asserts build
llvm[2]: Compiling MCSection.cpp for Release+Asserts build
llvm[2]: Compiling MCSectionCOFF.cpp for Release+Asserts build
llvm[2]: Compiling MCSectionELF.cpp for Release+Asserts build
llvm[2]: Compiling MCSectionMachO.cpp for Release+Asserts build
llvm[2]: Compiling MCStreamer.cpp for Release+Asserts build
llvm[2]: Compiling MCSubtargetInfo.cpp for Release+Asserts build
llvm[2]: Compiling MCSymbol.cpp for Release+Asserts build
llvm[2]: Compiling MCValue.cpp for Release+Asserts build
llvm[2]: Compiling MCWin64EH.cpp for Release+Asserts build
llvm[2]: Compiling MachObjectWriter.cpp for Release+Asserts build
llvm[2]: Compiling SubtargetFeature.cpp for Release+Asserts build
llvm[2]: Compiling WinCOFFObjectWriter.cpp for Release+Asserts build
llvm[2]: Compiling WinCOFFStreamer.cpp for Release+Asserts build
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/MC/MCParser'
llvm[3]: Compiling AsmParser.cpp for Release+Asserts build
llvm[3]: Compiling SelectionDAGBuilder.cpp for Release+Asserts build
llvm[3]: Compiling COFFAsmParser.cpp for Release+Asserts build
llvm[3]: Compiling DarwinAsmParser.cpp for Release+Asserts build
llvm[3]: Compiling ELFAsmParser.cpp for Release+Asserts build
llvm[3]: Compiling MCAsmLexer.cpp for Release+Asserts build
llvm[3]: Compiling MCAsmParser.cpp for Release+Asserts build
llvm[3]: Compiling MCAsmParserExtension.cpp for Release+Asserts build
llvm[3]: Compiling MCTargetAsmParser.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMMCParser.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/MC/MCParser'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/MC/MCDisassembler'
llvm[3]: Compiling Disassembler.cpp for Release+Asserts build
llvm[3]: Compiling EDDisassembler.cpp for Release+Asserts build
llvm[3]: Compiling EDInst.cpp for Release+Asserts build
llvm[3]: Compiling EDMain.cpp for Release+Asserts build
llvm[3]: Compiling EDOperand.cpp for Release+Asserts build
llvm[3]: Compiling EDToken.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMMCDisassembler.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/MC/MCDisassembler'
llvm[2]: Building Release+Asserts Archive Library libLLVMMC.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/MC'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Object'
llvm[2]: Compiling Archive.cpp for Release+Asserts build
llvm[2]: Compiling Binary.cpp for Release+Asserts build
llvm[2]: Compiling COFFObjectFile.cpp for Release+Asserts build
llvm[2]: Compiling ELFObjectFile.cpp for Release+Asserts build
llvm[3]: Compiling SelectionDAGISel.cpp for Release+Asserts build
llvm[2]: Compiling Error.cpp for Release+Asserts build
llvm[2]: Compiling MachOObject.cpp for Release+Asserts build
llvm[2]: Compiling MachOObjectFile.cpp for Release+Asserts build
llvm[2]: Compiling Object.cpp for Release+Asserts build
llvm[2]: Compiling ObjectFile.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libLLVMObject.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/Object'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/DebugInfo'
llvm[2]: Compiling DIContext.cpp for Release+Asserts build
llvm[2]: Compiling DWARFCompileUnit.cpp for Release+Asserts build
llvm[2]: Compiling DWARFContext.cpp for Release+Asserts build
llvm[2]: Compiling DWARFDebugAranges.cpp for Release+Asserts build
llvm[2]: Compiling DWARFDebugInfoEntry.cpp for Release+Asserts build
llvm[2]: Compiling DWARFFormValue.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libLLVMDebugInfo.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/DebugInfo'
llvm[3]: Compiling SelectionDAGPrinter.cpp for Release+Asserts build
llvm[3]: Compiling TargetLowering.cpp for Release+Asserts build
llvm[3]: Compiling TargetSelectionDAGInfo.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMSelectionDAG.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/CodeGen/SelectionDAG'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib/CodeGen'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/lib'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-config'
llvm[1]: Compiling llvm-config.cpp for Release+Asserts build
llvm[1]: Linking Release+Asserts executable llvm-config (without symbols)
llvm[1]: ======= Finished Linking Release+Asserts Executable llvm-config (without symbols)
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-config'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-config'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-config'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-as'
llvm[2]: Compiling llvm-as.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/opt'
llvm[2]: Compiling AnalysisWrappers.cpp for Release+Asserts build
llvm[2]: Compiling GraphPrinters.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-as (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-as (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-as'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-dis'
llvm[2]: Compiling llvm-dis.cpp for Release+Asserts build
llvm[2]: Compiling PrintSCC.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-dis (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-dis (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-dis'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llc'
llvm[2]: Compiling llc.cpp for Release+Asserts build
llvm[2]: Compiling opt.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llc (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llc (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llc'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-ranlib'
llvm[2]: Compiling llvm-ranlib.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-ranlib (without symbols)
llvm[2]: Linking Release+Asserts executable opt (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-ranlib (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-ranlib'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-ar'
llvm[2]: Compiling llvm-ar.cpp for Release+Asserts build
llvm[2]: ======= Finished Linking Release+Asserts Executable opt (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/opt'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-nm'
llvm[2]: Compiling llvm-nm.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-ar (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-ar (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-ar'
llvm[2]: Linking Release+Asserts executable llvm-nm (without symbols)
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-ld'
llvm[2]: Compiling Optimize.cpp for Release+Asserts build
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-nm (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-nm'
llvm[2]: Compiling llvm-ld.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-prof'
llvm[2]: Compiling llvm-prof.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-prof (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-prof (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-prof'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-link'
llvm[2]: Compiling llvm-link.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-ld (without symbols)
llvm[2]: Linking Release+Asserts executable llvm-link (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-ld (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-ld'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/lli'
llvm[2]: Compiling lli.cpp for Release+Asserts build
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-link (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-link'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-extract'
llvm[2]: Compiling llvm-extract.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-extract (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-extract (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-extract'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-mc'
llvm[2]: Compiling Disassembler.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable lli (without symbols)
llvm[2]: Compiling llvm-mc.cpp for Release+Asserts build
llvm[2]: ======= Finished Linking Release+Asserts Executable lli (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/lli'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/bugpoint'
llvm[2]: Compiling BugDriver.cpp for Release+Asserts build
llvm[2]: Compiling CrashDebugger.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-mc (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-mc (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-mc'
llvm[2]: Compiling ExecutionDriver.cpp for Release+Asserts build
llvm[2]: Compiling ExtractFunction.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-bcanalyzer'
llvm[2]: Compiling llvm-bcanalyzer.cpp for Release+Asserts build
llvm[2]: Compiling FindBugs.cpp for Release+Asserts build
llvm[2]: Compiling Miscompilation.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-bcanalyzer (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-bcanalyzer (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-bcanalyzer'
llvm[2]: Compiling OptimizerDriver.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-stub'
llvm[2]: Compiling llvm-stub.c for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-stub (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-stub (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-stub'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-diff'
llvm[2]: Compiling DiffConsumer.cpp for Release+Asserts build
llvm[2]: Compiling DiffLog.cpp for Release+Asserts build
llvm[2]: Compiling ToolRunner.cpp for Release+Asserts build
llvm[2]: Compiling DifferenceEngine.cpp for Release+Asserts build
llvm[2]: Compiling llvm-diff.cpp for Release+Asserts build
llvm[2]: Compiling bugpoint.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-diff (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-diff (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-diff'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/macho-dump'
llvm[2]: Compiling macho-dump.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable macho-dump (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable macho-dump (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/macho-dump'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-objdump'
llvm[2]: Compiling MCFunction.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable bugpoint (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable bugpoint (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/bugpoint'
llvm[2]: Compiling MachODump.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-rtdyld'
llvm[2]: Compiling llvm-rtdyld.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-rtdyld (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-rtdyld (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-rtdyld'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-dwarfdump'
llvm[2]: Compiling llvm-dwarfdump.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-dwarfdump (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-dwarfdump (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-dwarfdump'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-cov'
llvm[2]: Compiling llvm-cov.cpp for Release+Asserts build
llvm[2]: Compiling llvm-objdump.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-cov (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-cov (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-cov'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-size'
llvm[2]: Compiling llvm-size.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts executable llvm-size (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-size (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-size'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/lto'
llvm[2]: Compiling LTOCodeGenerator.cpp for Release+Asserts build (PIC)
llvm[2]: Linking Release+Asserts executable llvm-objdump (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable llvm-objdump (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/llvm-objdump'
llvm[2]: Compiling LTOModule.cpp for Release+Asserts build (PIC)
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/bugpoint-passes'
llvm[2]: Compiling TestPasses.cpp for Release+Asserts build (PIC)
llvm[2]: Compiling lto.cpp for Release+Asserts build (PIC)
llvm[2]: Linking Release+Asserts Loadable Module BugpointPasses.so
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/bugpoint-passes'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/utils/TableGen'
llvm[3]: Compiling ClangASTNodesEmitter.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts Shared Library libLTO.so
llvm[2]: Building Release+Asserts Archive Library libLTO.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/lto'
llvm[3]: Compiling ClangAttrEmitter.cpp for Release+Asserts build
llvm[3]: Compiling ClangDiagnosticsEmitter.cpp for Release+Asserts build
llvm[3]: Compiling ClangSACheckersEmitter.cpp for Release+Asserts build
llvm[3]: Compiling NeonEmitter.cpp for Release+Asserts build
llvm[3]: Compiling OptParserEmitter.cpp for Release+Asserts build
llvm[3]: Compiling TableGen.cpp for Release+Asserts build
llvm[3]: Linking Release+Asserts executable clang-tblgen (without symbols)
llvm[3]: ======= Finished Linking Release+Asserts Executable clang-tblgen (without symbols)
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/utils/TableGen'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang'
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/AST'
llvm[5]: Building Clang attribute classes with tblgen
llvm[5]: Building Clang attribute implementations with tblgen
llvm[5]: Building Clang statement node tables with tblgen
llvm[5]: Building Clang declaration node tables with tblgen
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/AST'
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Basic'
llvm[5]: Building Clang Analysis diagnostic tables with tblgen
llvm[5]: Building Clang AST diagnostic tables with tblgen
llvm[5]: Building Clang Common diagnostic tables with tblgen
llvm[5]: Building Clang Driver diagnostic tables with tblgen
llvm[5]: Building Clang Frontend diagnostic tables with tblgen
llvm[5]: Building Clang Lex diagnostic tables with tblgen
llvm[5]: Building Clang Parse diagnostic tables with tblgen
llvm[5]: Building Clang Sema diagnostic tables with tblgen
llvm[5]: Building Clang Serialization diagnostic tables with tblgen
llvm[5]: Building Clang diagnostic name index with tblgen
llvm[5]: Building Clang diagnostic groups with tblgen
llvm[5]: Building Clang attribute list with tblgen
llvm[5]: Building Clang arm_neon.inc with tblgen
llvm[5]: Updating Clang version info.
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Basic'
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Driver'
llvm[5]: Building Clang Driver Option tables with tblgen
llvm[5]: Building Clang CC1 Option tables with tblgen
llvm[5]: Building Clang CC1 Assembler Option tables with tblgen
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Driver'
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Lex'
llvm[5]: Building Clang attribute spellings with tblgen
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Lex'
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Parse'
llvm[5]: Building Clang attribute late-parsed table with tblgen
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Parse'
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Serialization'
llvm[5]: Building Clang PCH reader with tblgen
llvm[5]: Building Clang PCH writer with tblgen
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang/Serialization'
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang-c'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include/clang-c'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/include'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Headers'
llvm[4]: Building Clang arm_neon.h.inc with tblgen
llvm[4]: Copying avx2intrin.h to build dir
llvm[4]: Copying avxintrin.h to build dir
llvm[4]: Copying bmi2intrin.h to build dir
llvm[4]: Copying bmiintrin.h to build dir
llvm[4]: Copying fma4intrin.h to build dir
llvm[4]: Copying immintrin.h to build dir
llvm[4]: Copying lzcntintrin.h to build dir
llvm[4]: Copying popcntintrin.h to build dir
llvm[4]: Copying smmintrin.h to build dir
llvm[4]: Copying unwind.h to build dir
llvm[4]: Copying x86intrin.h to build dir
llvm[4]: Copying xmmintrin.h to build dir
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Headers'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Lex'
llvm[4]: Compiling HeaderMap.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Basic'
llvm[4]: Compiling Builtins.cpp for Release+Asserts build
llvm[4]: Compiling HeaderSearch.cpp for Release+Asserts build
llvm[4]: Compiling Diagnostic.cpp for Release+Asserts build
llvm[4]: Compiling Lexer.cpp for Release+Asserts build
llvm[4]: Compiling DiagnosticIDs.cpp for Release+Asserts build
llvm[4]: Compiling FileManager.cpp for Release+Asserts build
llvm[4]: Compiling FileSystemStatCache.cpp for Release+Asserts build
llvm[4]: Compiling LiteralSupport.cpp for Release+Asserts build
llvm[4]: Compiling IdentifierTable.cpp for Release+Asserts build
llvm[4]: Compiling MacroArgs.cpp for Release+Asserts build
llvm[4]: Compiling LangOptions.cpp for Release+Asserts build
llvm[4]: Compiling MacroInfo.cpp for Release+Asserts build
llvm[4]: Compiling Module.cpp for Release+Asserts build
llvm[4]: Compiling ModuleMap.cpp for Release+Asserts build
llvm[4]: Compiling SourceLocation.cpp for Release+Asserts build
llvm[4]: Compiling SourceManager.cpp for Release+Asserts build
llvm[4]: Compiling PPCaching.cpp for Release+Asserts build
llvm[4]: Compiling PPCallbacks.cpp for Release+Asserts build
llvm[4]: Compiling TargetInfo.cpp for Release+Asserts build
llvm[4]: Compiling PPDirectives.cpp for Release+Asserts build
llvm[4]: Compiling Targets.cpp for Release+Asserts build
llvm[4]: Compiling PPExpressions.cpp for Release+Asserts build
llvm[4]: Compiling PPLexerChange.cpp for Release+Asserts build
llvm[4]: Compiling PPMacroExpansion.cpp for Release+Asserts build
llvm[4]: Compiling TokenKinds.cpp for Release+Asserts build
llvm[4]: Compiling Version.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangBasic.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Basic'
llvm[4]: Compiling PTHLexer.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Parse'
llvm[4]: Compiling ParseAST.cpp for Release+Asserts build
llvm[4]: Compiling Pragma.cpp for Release+Asserts build
llvm[4]: Compiling ParseCXXInlineMethods.cpp for Release+Asserts build
llvm[4]: Compiling PreprocessingRecord.cpp for Release+Asserts build
llvm[4]: Compiling Preprocessor.cpp for Release+Asserts build
llvm[4]: Compiling ParseDecl.cpp for Release+Asserts build
llvm[4]: Compiling PreprocessorLexer.cpp for Release+Asserts build
llvm[4]: Compiling ScratchBuffer.cpp for Release+Asserts build
llvm[4]: Compiling TokenConcatenation.cpp for Release+Asserts build
llvm[4]: Compiling TokenLexer.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangLex.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Lex'
llvm[4]: Compiling ParseDeclCXX.cpp for Release+Asserts build
llvm[4]: Compiling ParseExpr.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/AST'
llvm[4]: Compiling APValue.cpp for Release+Asserts build
llvm[4]: Compiling ParseExprCXX.cpp for Release+Asserts build
llvm[4]: Compiling ASTContext.cpp for Release+Asserts build
llvm[4]: Compiling ParseInit.cpp for Release+Asserts build
llvm[4]: Compiling ParseObjc.cpp for Release+Asserts build
llvm[4]: Compiling ParsePragma.cpp for Release+Asserts build
llvm[4]: Compiling ParseStmt.cpp for Release+Asserts build
llvm[4]: Compiling ASTDiagnostic.cpp for Release+Asserts build
llvm[4]: Compiling ASTImporter.cpp for Release+Asserts build
llvm[4]: Compiling ParseTemplate.cpp for Release+Asserts build
llvm[4]: Compiling ParseTentative.cpp for Release+Asserts build
llvm[4]: Compiling Parser.cpp for Release+Asserts build
llvm[4]: Compiling AttrImpl.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangParse.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Parse'
llvm[4]: Compiling CXXInheritance.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Sema'
llvm[4]: Compiling AnalysisBasedWarnings.cpp for Release+Asserts build
llvm[4]: Compiling Decl.cpp for Release+Asserts build
llvm[4]: Compiling AttributeList.cpp for Release+Asserts build
llvm[4]: Compiling CodeCompleteConsumer.cpp for Release+Asserts build
llvm[4]: Compiling DeclBase.cpp for Release+Asserts build
llvm[4]: Compiling DeclSpec.cpp for Release+Asserts build
llvm[4]: Compiling DelayedDiagnostic.cpp for Release+Asserts build
llvm[4]: Compiling IdentifierResolver.cpp for Release+Asserts build
llvm[4]: Compiling DeclCXX.cpp for Release+Asserts build
llvm[4]: Compiling JumpDiagnostics.cpp for Release+Asserts build
llvm[4]: Compiling MultiInitializer.cpp for Release+Asserts build
llvm[4]: Compiling DeclFriend.cpp for Release+Asserts build
llvm[4]: Compiling Scope.cpp for Release+Asserts build
llvm[4]: Compiling DeclGroup.cpp for Release+Asserts build
llvm[4]: Compiling Sema.cpp for Release+Asserts build
llvm[4]: Compiling DeclObjC.cpp for Release+Asserts build
llvm[4]: Compiling DeclPrinter.cpp for Release+Asserts build
llvm[4]: Compiling SemaAccess.cpp for Release+Asserts build
llvm[4]: Compiling DeclTemplate.cpp for Release+Asserts build
llvm[4]: Compiling SemaAttr.cpp for Release+Asserts build
llvm[4]: Compiling DeclarationName.cpp for Release+Asserts build
llvm[4]: Compiling DumpXML.cpp for Release+Asserts build
llvm[4]: Compiling SemaCXXScopeSpec.cpp for Release+Asserts build
llvm[4]: Compiling Expr.cpp for Release+Asserts build
llvm[4]: Compiling SemaCast.cpp for Release+Asserts build
Expr.cpp: In static member function ‘static int clang::StringLiteral::mapCharByteWidth(const clang::TargetInfo&, clang::StringLiteral::StringKind)’:
Expr.cpp:494: warning: ‘CharByteWidth’ may be used uninitialized in this function
llvm[4]: Compiling SemaChecking.cpp for Release+Asserts build
llvm[4]: Compiling ExprCXX.cpp for Release+Asserts build
llvm[4]: Compiling ExprClassification.cpp for Release+Asserts build
llvm[4]: Compiling ExprConstant.cpp for Release+Asserts build
llvm[4]: Compiling SemaCodeComplete.cpp for Release+Asserts build
llvm[4]: Compiling SemaConsumer.cpp for Release+Asserts build
llvm[4]: Compiling SemaDecl.cpp for Release+Asserts build
llvm[4]: Compiling ExternalASTSource.cpp for Release+Asserts build
llvm[4]: Compiling InheritViz.cpp for Release+Asserts build
llvm[4]: Compiling ItaniumCXXABI.cpp for Release+Asserts build
llvm[4]: Compiling ItaniumMangle.cpp for Release+Asserts build
llvm[4]: Compiling Mangle.cpp for Release+Asserts build
llvm[4]: Compiling MicrosoftCXXABI.cpp for Release+Asserts build
llvm[4]: Compiling MicrosoftMangle.cpp for Release+Asserts build
llvm[4]: Compiling NestedNameSpecifier.cpp for Release+Asserts build
llvm[4]: Compiling ParentMap.cpp for Release+Asserts build
llvm[4]: Compiling RecordLayout.cpp for Release+Asserts build
llvm[4]: Compiling RecordLayoutBuilder.cpp for Release+Asserts build
llvm[4]: Compiling SemaDeclAttr.cpp for Release+Asserts build
llvm[4]: Compiling SelectorLocationsKind.cpp for Release+Asserts build
llvm[4]: Compiling Stmt.cpp for Release+Asserts build
llvm[4]: Compiling StmtDumper.cpp for Release+Asserts build
llvm[4]: Compiling SemaDeclCXX.cpp for Release+Asserts build
llvm[4]: Compiling StmtIterator.cpp for Release+Asserts build
llvm[4]: Compiling StmtPrinter.cpp for Release+Asserts build
llvm[4]: Compiling StmtProfile.cpp for Release+Asserts build
llvm[4]: Compiling StmtViz.cpp for Release+Asserts build
llvm[4]: Compiling TemplateBase.cpp for Release+Asserts build
llvm[4]: Compiling TemplateName.cpp for Release+Asserts build
llvm[4]: Compiling Type.cpp for Release+Asserts build
llvm[4]: Compiling TypeLoc.cpp for Release+Asserts build
llvm[4]: Compiling TypePrinter.cpp for Release+Asserts build
llvm[4]: Compiling SemaDeclObjC.cpp for Release+Asserts build
llvm[4]: Compiling VTTBuilder.cpp for Release+Asserts build
llvm[4]: Compiling VTableBuilder.cpp for Release+Asserts build
llvm[4]: Compiling SemaExceptionSpec.cpp for Release+Asserts build
llvm[4]: Compiling SemaExpr.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangAST.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/AST'
llvm[4]: Compiling SemaExprCXX.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/CodeGen'
llvm[4]: Compiling BackendUtil.cpp for Release+Asserts build
llvm[4]: Compiling CGBlocks.cpp for Release+Asserts build
SemaExpr.cpp: In member function ‘bool clang::Sema::DiagnoseAssignmentResult(clang::Sema::AssignConvertType, clang::SourceLocation, clang::QualType, clang::QualType, clang::Expr*, clang::Sema::AssignmentAction, bool*)’:
SemaExpr.cpp:9157: warning: ‘DiagKind’ may be used uninitialized in this function
llvm[4]: Compiling CGBuiltin.cpp for Release+Asserts build
llvm[4]: Compiling CGCUDANV.cpp for Release+Asserts build
llvm[4]: Compiling CGCUDARuntime.cpp for Release+Asserts build
llvm[4]: Compiling SemaExprMember.cpp for Release+Asserts build
llvm[4]: Compiling CGCXX.cpp for Release+Asserts build
llvm[4]: Compiling CGCXXABI.cpp for Release+Asserts build
llvm[4]: Compiling SemaExprObjC.cpp for Release+Asserts build
llvm[4]: Compiling CGCall.cpp for Release+Asserts build
llvm[4]: Compiling SemaFixItUtils.cpp for Release+Asserts build
llvm[4]: Compiling CGClass.cpp for Release+Asserts build
llvm[4]: Compiling SemaInit.cpp for Release+Asserts build
llvm[4]: Compiling CGCleanup.cpp for Release+Asserts build
SemaInit.cpp: In member function ‘void clang::InitializationSequence::AddDerivedToBaseCastStep(clang::QualType, clang::ExprValueKind)’:
SemaInit.cpp:2483: warning: ‘S.clang::InitializationSequence::Step::Kind’ may be used uninitialized in this function
llvm[4]: Compiling CGDebugInfo.cpp for Release+Asserts build
llvm[4]: Compiling SemaLookup.cpp for Release+Asserts build
llvm[4]: Compiling CGDecl.cpp for Release+Asserts build
llvm[4]: Compiling CGDeclCXX.cpp for Release+Asserts build
llvm[4]: Compiling SemaObjCProperty.cpp for Release+Asserts build
llvm[4]: Compiling CGException.cpp for Release+Asserts build
llvm[4]: Compiling SemaOverload.cpp for Release+Asserts build
llvm[4]: Compiling CGExpr.cpp for Release+Asserts build
llvm[4]: Compiling CGExprAgg.cpp for Release+Asserts build
CGExprAgg.cpp: In member function ‘void<unnamed>::AggExprEmitter::VisitAbstractConditionalOperator(const clang::AbstractConditionalOperator*)’:
CGExprAgg.cpp:474: warning: ‘binding.clang::CodeGen::CodeGenFunction::OpaqueValueMapping::Data.clang::CodeGen::CodeGenFunction::OpaqueValueMappingData::BoundLValue’ may be used uninitialized in this function
llvm[4]: Compiling CGExprCXX.cpp for Release+Asserts build
llvm[4]: Compiling SemaPseudoObject.cpp for Release+Asserts build
llvm[4]: Compiling CGExprComplex.cpp for Release+Asserts build
llvm[4]: Compiling SemaStmt.cpp for Release+Asserts build
llvm[4]: Compiling CGExprConstant.cpp for Release+Asserts build
llvm[4]: Compiling CGExprScalar.cpp for Release+Asserts build
llvm[4]: Compiling SemaTemplate.cpp for Release+Asserts build
llvm[4]: Compiling CGObjC.cpp for Release+Asserts build
llvm[4]: Compiling CGObjCGNU.cpp for Release+Asserts build
CGObjCGNU.cpp: In member function ‘virtual clang::CodeGen::RValue<unnamed>::CGObjCGNU::GenerateMessageSend(clang::CodeGen::CodeGenFunction&, clang::CodeGen::ReturnValueSlot, clang::QualType, clang::Selector, llvm::Value*, const clang::CodeGen::CallArgList&, const clang::ObjCInterfaceDecl*, const clang::ObjCMethodDecl*)’:
CGObjCGNU.cpp:1188: warning: ‘imp’ may be used uninitialized in this function
llvm[4]: Compiling CGObjCMac.cpp for Release+Asserts build
llvm[4]: Compiling SemaTemplateDeduction.cpp for Release+Asserts build
llvm[4]: Compiling CGObjCRuntime.cpp for Release+Asserts build
llvm[4]: Compiling CGOpenCLRuntime.cpp for Release+Asserts build
llvm[4]: Compiling CGRTTI.cpp for Release+Asserts build
llvm[4]: Compiling CGRecordLayoutBuilder.cpp for Release+Asserts build
llvm[4]: Compiling CGStmt.cpp for Release+Asserts build
llvm[4]: Compiling SemaTemplateInstantiate.cpp for Release+Asserts build
llvm[4]: Compiling CGVTT.cpp for Release+Asserts build
llvm[4]: Compiling CGVTables.cpp for Release+Asserts build
llvm[4]: Compiling CodeGenAction.cpp for Release+Asserts build
llvm[4]: Compiling CodeGenFunction.cpp for Release+Asserts build
llvm[4]: Compiling SemaTemplateInstantiateDecl.cpp for Release+Asserts build
llvm[4]: Compiling CodeGenModule.cpp for Release+Asserts build
llvm[4]: Compiling SemaTemplateVariadic.cpp for Release+Asserts build
llvm[4]: Compiling CodeGenTBAA.cpp for Release+Asserts build
llvm[4]: Compiling CodeGenTypes.cpp for Release+Asserts build
llvm[4]: Compiling SemaType.cpp for Release+Asserts build
llvm[4]: Compiling ItaniumCXXABI.cpp for Release+Asserts build
llvm[4]: Compiling MicrosoftCXXABI.cpp for Release+Asserts build
llvm[4]: Compiling ModuleBuilder.cpp for Release+Asserts build
llvm[4]: Compiling TargetAttributesSema.cpp for Release+Asserts build
llvm[4]: Compiling TargetInfo.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangSema.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Sema'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Analysis'
llvm[4]: Compiling AnalysisDeclContext.cpp for Release+Asserts build
llvm[4]: Compiling CFG.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangCodeGen.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/CodeGen'
llvm[4]: Compiling CFGReachabilityAnalysis.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/StaticAnalyzer'
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/StaticAnalyzer/Checkers'
llvm[5]: Building Clang SA Checkers tables with tblgen
llvm[5]: Compiling AdjustedReturnValueChecker.cpp for Release+Asserts build
llvm[5]: Compiling AnalyzerStatsChecker.cpp for Release+Asserts build
llvm[5]: Compiling ArrayBoundChecker.cpp for Release+Asserts build
llvm[4]: Compiling CFGStmtMap.cpp for Release+Asserts build
llvm[4]: Compiling CocoaConventions.cpp for Release+Asserts build
llvm[5]: Compiling ArrayBoundCheckerV2.cpp for Release+Asserts build
llvm[4]: Compiling Dominators.cpp for Release+Asserts build
llvm[5]: Compiling AttrNonNullChecker.cpp for Release+Asserts build
llvm[4]: Compiling FormatString.cpp for Release+Asserts build
llvm[4]: Compiling LiveVariables.cpp for Release+Asserts build
llvm[5]: Compiling BasicObjCFoundationChecks.cpp for Release+Asserts build
llvm[5]: Compiling BuiltinFunctionChecker.cpp for Release+Asserts build
llvm[4]: Compiling PostOrderCFGView.cpp for Release+Asserts build
llvm[4]: Compiling PrintfFormatString.cpp for Release+Asserts build
llvm[5]: Compiling CStringChecker.cpp for Release+Asserts build
llvm[4]: Compiling ProgramPoint.cpp for Release+Asserts build
llvm[4]: Compiling PseudoConstantAnalysis.cpp for Release+Asserts build
llvm[4]: Compiling ReachableCode.cpp for Release+Asserts build
llvm[5]: Compiling CallAndMessageChecker.cpp for Release+Asserts build
llvm[4]: Compiling ScanfFormatString.cpp for Release+Asserts build
llvm[4]: Compiling ThreadSafety.cpp for Release+Asserts build
llvm[5]: Compiling CastSizeChecker.cpp for Release+Asserts build
llvm[5]: Compiling CastToStructChecker.cpp for Release+Asserts build
llvm[4]: Compiling UninitializedValues.cpp for Release+Asserts build
llvm[5]: Compiling CheckObjCDealloc.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangAnalysis.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Analysis'
llvm[5]: Compiling CheckObjCInstMethSignature.cpp for Release+Asserts build
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/StaticAnalyzer/Core'
llvm[5]: Compiling AggExprVisitor.cpp for Release+Asserts build
llvm[5]: Compiling CheckSecuritySyntaxOnly.cpp for Release+Asserts build
llvm[5]: Compiling AnalysisManager.cpp for Release+Asserts build
llvm[5]: Compiling BasicConstraintManager.cpp for Release+Asserts build
llvm[5]: Compiling CheckSizeofPointer.cpp for Release+Asserts build
llvm[5]: Compiling CheckerDocumentation.cpp for Release+Asserts build
llvm[5]: Compiling BasicValueFactory.cpp for Release+Asserts build
llvm[5]: Compiling ChrootChecker.cpp for Release+Asserts build
llvm[5]: Compiling BlockCounter.cpp for Release+Asserts build
llvm[5]: Compiling BugReporter.cpp for Release+Asserts build
llvm[5]: Compiling ClangCheckers.cpp for Release+Asserts build
llvm[5]: Compiling DeadStoresChecker.cpp for Release+Asserts build
llvm[5]: Compiling DebugCheckers.cpp for Release+Asserts build
llvm[5]: Compiling BugReporterVisitors.cpp for Release+Asserts build
llvm[5]: Compiling DereferenceChecker.cpp for Release+Asserts build
llvm[5]: Compiling Checker.cpp for Release+Asserts build
llvm[5]: Compiling CheckerContext.cpp for Release+Asserts build
llvm[5]: Compiling DivZeroChecker.cpp for Release+Asserts build
llvm[5]: Compiling CheckerHelpers.cpp for Release+Asserts build
llvm[5]: Compiling CheckerManager.cpp for Release+Asserts build
llvm[5]: Compiling FixedAddressChecker.cpp for Release+Asserts build
llvm[5]: Compiling GenericTaintChecker.cpp for Release+Asserts build
llvm[5]: Compiling CheckerRegistry.cpp for Release+Asserts build
llvm[5]: Compiling CoreEngine.cpp for Release+Asserts build
llvm[5]: Compiling IdempotentOperationChecker.cpp for Release+Asserts build
llvm[5]: Compiling Environment.cpp for Release+Asserts build
llvm[5]: Compiling IteratorsChecker.cpp for Release+Asserts build
llvm[5]: Compiling ExplodedGraph.cpp for Release+Asserts build
llvm[5]: Compiling LLVMConventionsChecker.cpp for Release+Asserts build
llvm[5]: Compiling ExprEngine.cpp for Release+Asserts build
llvm[5]: Compiling MacOSKeychainAPIChecker.cpp for Release+Asserts build
llvm[5]: Compiling MacOSXAPIChecker.cpp for Release+Asserts build
llvm[5]: Compiling ExprEngineC.cpp for Release+Asserts build
llvm[5]: Compiling MallocChecker.cpp for Release+Asserts build
llvm[5]: Compiling ExprEngineCXX.cpp for Release+Asserts build
llvm[5]: Compiling ExprEngineCallAndReturn.cpp for Release+Asserts build
llvm[5]: Compiling MallocOverflowSecurityChecker.cpp for Release+Asserts build
llvm[5]: Compiling ExprEngineObjC.cpp for Release+Asserts build
llvm[5]: Compiling MallocSizeofChecker.cpp for Release+Asserts build
llvm[5]: Compiling HTMLDiagnostics.cpp for Release+Asserts build
llvm[5]: Compiling NSAutoreleasePoolChecker.cpp for Release+Asserts build
llvm[5]: Compiling MemRegion.cpp for Release+Asserts build
llvm[5]: Compiling NSErrorChecker.cpp for Release+Asserts build
llvm[5]: Compiling ObjCMessage.cpp for Release+Asserts build
llvm[5]: Compiling NoReturnFunctionChecker.cpp for Release+Asserts build
llvm[5]: Compiling PathDiagnostic.cpp for Release+Asserts build
llvm[5]: Compiling OSAtomicChecker.cpp for Release+Asserts build
llvm[5]: Compiling PlistDiagnostics.cpp for Release+Asserts build
llvm[5]: Compiling ObjCAtSyncChecker.cpp for Release+Asserts build
llvm[5]: Compiling ProgramState.cpp for Release+Asserts build
llvm[5]: Compiling ObjCSelfInitChecker.cpp for Release+Asserts build
llvm[5]: Compiling RangeConstraintManager.cpp for Release+Asserts build
llvm[5]: Compiling ObjCUnusedIVarsChecker.cpp for Release+Asserts build
llvm[5]: Compiling PointerArithChecker.cpp for Release+Asserts build
llvm[5]: Compiling RegionStore.cpp for Release+Asserts build
llvm[5]: Compiling PointerSubChecker.cpp for Release+Asserts build
llvm[5]: Compiling PthreadLockChecker.cpp for Release+Asserts build
llvm[5]: Compiling SValBuilder.cpp for Release+Asserts build
llvm[5]: Compiling RetainCountChecker.cpp for Release+Asserts build
llvm[5]: Compiling SVals.cpp for Release+Asserts build
llvm[5]: Compiling SimpleConstraintManager.cpp for Release+Asserts build
llvm[5]: Compiling SimpleSValBuilder.cpp for Release+Asserts build
llvm[5]: Compiling Store.cpp for Release+Asserts build
llvm[5]: Compiling ReturnPointerRangeChecker.cpp for Release+Asserts build
llvm[5]: Compiling SubEngine.cpp for Release+Asserts build
llvm[5]: Compiling ReturnUndefChecker.cpp for Release+Asserts build
llvm[5]: Compiling SymbolManager.cpp for Release+Asserts build
llvm[5]: Compiling StackAddrEscapeChecker.cpp for Release+Asserts build
llvm[5]: Compiling TextPathDiagnostics.cpp for Release+Asserts build
llvm[5]: Building Release+Asserts Archive Library libclangStaticAnalyzerCore.a
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/StaticAnalyzer/Core'
llvm[5]: Compiling StreamChecker.cpp for Release+Asserts build
llvm[5]: Compiling TaintTesterChecker.cpp for Release+Asserts build
llvm[5]: Compiling UndefBranchChecker.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Rewrite'
llvm[4]: Compiling FixItRewriter.cpp for Release+Asserts build
llvm[4]: Compiling FrontendActions.cpp for Release+Asserts build
llvm[5]: Compiling UndefCapturedBlockVarChecker.cpp for Release+Asserts build
llvm[4]: Compiling HTMLPrint.cpp for Release+Asserts build
llvm[4]: Compiling HTMLRewrite.cpp for Release+Asserts build
llvm[5]: Compiling UndefResultChecker.cpp for Release+Asserts build
llvm[4]: Compiling RewriteMacros.cpp for Release+Asserts build
llvm[4]: Compiling RewriteObjC.cpp for Release+Asserts build
llvm[5]: Compiling UndefinedArraySubscriptChecker.cpp for Release+Asserts build
llvm[5]: Compiling UndefinedAssignmentChecker.cpp for Release+Asserts build
llvm[5]: Compiling UnixAPIChecker.cpp for Release+Asserts build
llvm[5]: Compiling UnreachableCodeChecker.cpp for Release+Asserts build
llvm[5]: Compiling VLASizeChecker.cpp for Release+Asserts build
llvm[5]: Compiling VirtualCallChecker.cpp for Release+Asserts build
llvm[4]: Compiling RewriteTest.cpp for Release+Asserts build
llvm[5]: Building Release+Asserts Archive Library libclangStaticAnalyzerCheckers.a
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/StaticAnalyzer/Checkers'
make[5]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/StaticAnalyzer/Frontend'
llvm[5]: Compiling AnalysisConsumer.cpp for Release+Asserts build
llvm[4]: Compiling Rewriter.cpp for Release+Asserts build
llvm[4]: Compiling TokenRewriter.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangRewrite.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Rewrite'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/ARCMigrate'
llvm[4]: Compiling ARCMT.cpp for Release+Asserts build
llvm[5]: Compiling CheckerRegistration.cpp for Release+Asserts build
llvm[5]: Compiling FrontendActions.cpp for Release+Asserts build
llvm[5]: Building Release+Asserts Archive Library libclangStaticAnalyzerFrontend.a
make[5]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/StaticAnalyzer/Frontend'
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/StaticAnalyzer'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Serialization'
llvm[4]: Compiling ASTCommon.cpp for Release+Asserts build
llvm[4]: Compiling ARCMTActions.cpp for Release+Asserts build
llvm[4]: Compiling ASTReader.cpp for Release+Asserts build
llvm[4]: Compiling FileRemapper.cpp for Release+Asserts build
llvm[4]: Compiling PlistReporter.cpp for Release+Asserts build
llvm[4]: Compiling TransAPIUses.cpp for Release+Asserts build
llvm[4]: Compiling TransARCAssign.cpp for Release+Asserts build
llvm[4]: Compiling TransAutoreleasePool.cpp for Release+Asserts build
llvm[4]: Compiling ASTReaderDecl.cpp for Release+Asserts build
llvm[4]: Compiling TransBlockObjCVariable.cpp for Release+Asserts build
llvm[4]: Compiling ASTReaderStmt.cpp for Release+Asserts build
llvm[4]: Compiling ASTWriter.cpp for Release+Asserts build
llvm[4]: Compiling TransEmptyStatementsAndDealloc.cpp for Release+Asserts build
llvm[4]: Compiling TransGCAttrs.cpp for Release+Asserts build
llvm[4]: Compiling ASTWriterDecl.cpp for Release+Asserts build
llvm[4]: Compiling TransGCCalls.cpp for Release+Asserts build
llvm[4]: Compiling ASTWriterStmt.cpp for Release+Asserts build
llvm[4]: Compiling TransProperties.cpp for Release+Asserts build
llvm[4]: Compiling GeneratePCH.cpp for Release+Asserts build
llvm[4]: Compiling Module.cpp for Release+Asserts build
llvm[4]: Compiling ModuleManager.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangSerialization.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Serialization'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Frontend'
llvm[4]: Compiling ASTConsumers.cpp for Release+Asserts build
llvm[4]: Compiling TransRetainReleaseDealloc.cpp for Release+Asserts build
llvm[4]: Compiling ASTMerge.cpp for Release+Asserts build
llvm[4]: Compiling ASTUnit.cpp for Release+Asserts build
llvm[4]: Compiling TransUnbridgedCasts.cpp for Release+Asserts build
llvm[4]: Compiling CacheTokens.cpp for Release+Asserts build
llvm[4]: Compiling ChainedDiagnosticConsumer.cpp for Release+Asserts build
llvm[4]: Compiling ChainedIncludesSource.cpp for Release+Asserts build
llvm[4]: Compiling CompilerInstance.cpp for Release+Asserts build
llvm[4]: Compiling TransUnusedInitDelegate.cpp for Release+Asserts build
llvm[4]: Compiling CompilerInvocation.cpp for Release+Asserts build
llvm[4]: Compiling TransZeroOutPropsInDealloc.cpp for Release+Asserts build
llvm[4]: Compiling TransformActions.cpp for Release+Asserts build
llvm[4]: Compiling CreateInvocationFromCommandLine.cpp for Release+Asserts build
llvm[4]: Compiling DependencyFile.cpp for Release+Asserts build
llvm[4]: Compiling DiagnosticRenderer.cpp for Release+Asserts build
llvm[4]: Compiling Transforms.cpp for Release+Asserts build
llvm[4]: Compiling FrontendAction.cpp for Release+Asserts build
llvm[4]: Compiling FrontendActions.cpp for Release+Asserts build
llvm[4]: Compiling FrontendOptions.cpp for Release+Asserts build
llvm[4]: Compiling HeaderIncludeGen.cpp for Release+Asserts build
llvm[4]: Compiling InitHeaderSearch.cpp for Release+Asserts build
llvm[4]: Compiling InitPreprocessor.cpp for Release+Asserts build
llvm[4]: Compiling LangStandards.cpp for Release+Asserts build
llvm[4]: Compiling LogDiagnosticPrinter.cpp for Release+Asserts build
llvm[4]: Compiling MultiplexConsumer.cpp for Release+Asserts build
llvm[4]: Compiling PrintPreprocessedOutput.cpp for Release+Asserts build
llvm[4]: Compiling SerializedDiagnosticPrinter.cpp for Release+Asserts build
llvm[4]: Compiling TextDiagnostic.cpp for Release+Asserts build
llvm[4]: Compiling TextDiagnosticBuffer.cpp for Release+Asserts build
llvm[4]: Compiling TextDiagnosticPrinter.cpp for Release+Asserts build
llvm[4]: Compiling VerifyDiagnosticConsumer.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangARCMigrate.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/ARCMigrate'
llvm[4]: Compiling Warnings.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/FrontendTool'
llvm[4]: Compiling ExecuteCompilerInvocation.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangFrontend.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Frontend'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Index'
llvm[4]: Compiling ASTLocation.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangFrontendTool.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/FrontendTool'
llvm[4]: Compiling Analyzer.cpp for Release+Asserts build
llvm[4]: Compiling CallGraph.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Driver'
llvm[4]: Compiling Action.cpp for Release+Asserts build
llvm[4]: Compiling Arg.cpp for Release+Asserts build
llvm[4]: Compiling ArgList.cpp for Release+Asserts build
llvm[4]: Compiling CC1AsOptions.cpp for Release+Asserts build
llvm[4]: Compiling CC1Options.cpp for Release+Asserts build
llvm[4]: Compiling DeclReferenceMap.cpp for Release+Asserts build
llvm[4]: Compiling Compilation.cpp for Release+Asserts build
llvm[4]: Compiling Driver.cpp for Release+Asserts build
llvm[4]: Compiling Entity.cpp for Release+Asserts build
llvm[4]: Compiling DriverOptions.cpp for Release+Asserts build
llvm[4]: Compiling GlobalSelector.cpp for Release+Asserts build
llvm[4]: Compiling HostInfo.cpp for Release+Asserts build
llvm[4]: Compiling Handlers.cpp for Release+Asserts build
llvm[4]: Compiling Job.cpp for Release+Asserts build
llvm[4]: Compiling IndexProvider.cpp for Release+Asserts build
llvm[4]: Compiling Indexer.cpp for Release+Asserts build
llvm[4]: Compiling OptTable.cpp for Release+Asserts build
llvm[4]: Compiling Option.cpp for Release+Asserts build
llvm[4]: Compiling ToolChain.cpp for Release+Asserts build
llvm[4]: Compiling ToolChains.cpp for Release+Asserts build
llvm[4]: Compiling Program.cpp for Release+Asserts build
llvm[4]: Compiling SelectorMap.cpp for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libclangIndex.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Index'
llvm[4]: Compiling Tools.cpp for Release+Asserts build
llvm[4]: Compiling WindowsToolChain.cpp for Release+Asserts build
Tools.cpp: In member function ‘void clang::driver::tools::Clang::AddMIPSTargetArgs(const clang::driver::ArgList&, clang::driver::ArgStringList&) const’:
Tools.cpp:761: warning: ‘CPUName’ may be used uninitialized in this function
llvm[4]: Building Release+Asserts Archive Library libclangDriver.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib/Driver'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/lib'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/driver'
llvm[4]: Compiling cc1_main.cpp for Release+Asserts build
llvm[4]: Compiling cc1as_main.cpp for Release+Asserts build
llvm[4]: Compiling driver.cpp for Release+Asserts build
llvm[4]: Linking Release+Asserts executable clang (without symbols)
llvm[4]: ======= Finished Linking Release+Asserts Executable clang (without symbols)
llvm[4]: Creating Release+Asserts Alias clang++ (without symbols)
llvm[4]: ======= Finished Creating Release+Asserts Alias clang++ (without symbols)
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/driver'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/libclang'
llvm[4]: Compiling ARCMigrate.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CIndex.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CIndexCXX.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CIndexCodeCompletion.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CIndexDiagnostic.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CIndexHigh.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CIndexInclusionStack.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CIndexUSRs.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CIndexer.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CXCursor.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CXLoadedDiagnostic.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CXSourceLocation.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CXStoredDiagnostic.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CXString.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling CXType.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling IndexBody.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling IndexDecl.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling IndexTypeSourceInfo.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling Indexing.cpp for Release+Asserts build (PIC)
llvm[4]: Compiling IndexingContext.cpp for Release+Asserts build (PIC)
llvm[4]: Linking Release+Asserts Shared Library libclang.so
llvm[4]: Building Release+Asserts Archive Library libclang.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/libclang'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/c-index-test'
llvm[4]: Compiling c-index-test.c for Release+Asserts build
llvm[4]: Linking Release+Asserts executable c-index-test (without symbols)
llvm[4]: ======= Finished Linking Release+Asserts Executable c-index-test (without symbols)
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/c-index-test'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/arcmt-test'
llvm[4]: Compiling arcmt-test.cpp for Release+Asserts build
llvm[4]: Linking Release+Asserts executable arcmt-test (without symbols)
llvm[4]: ======= Finished Linking Release+Asserts Executable arcmt-test (without symbols)
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/arcmt-test'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/c-arcmt-test'
llvm[4]: Compiling c-arcmt-test.c for Release+Asserts build
llvm[4]: Linking Release+Asserts executable c-arcmt-test (without symbols)
llvm[4]: ======= Finished Linking Release+Asserts Executable c-arcmt-test (without symbols)
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/c-arcmt-test'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/diagtool'
llvm[4]: Compiling DiagTool.cpp for Release+Asserts build
llvm[4]: Compiling ListWarnings.cpp for Release+Asserts build
llvm[4]: Compiling diagtool_main.cpp for Release+Asserts build
llvm[4]: Linking Release+Asserts executable diagtool (without symbols)
llvm[4]: ======= Finished Linking Release+Asserts Executable diagtool (without symbols)
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools/diagtool'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/tools'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/runtime'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/runtime/libcxx'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/runtime/libcxx'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/runtime/compiler-rt'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/runtime/compiler-rt'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/runtime'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/docs'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/docs/tools'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/docs/tools'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/docs'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/unittests'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/unittests/Basic'
llvm[4]: Compiling FileManagerTest.cpp for Release+Asserts build
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/unittests/Frontend'
llvm[4]: Compiling FrontendActionTest.cpp for Release+Asserts build
llvm[4]: Compiling SourceManagerTest.cpp for Release+Asserts build
llvm[4]: Linking Release+Asserts unit test Basic (without symbols)
llvm[4]: ======= Finished Linking Release+Asserts Unit test Basic (without symbols)
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/unittests/Basic'
llvm[4]: Linking Release+Asserts unit test Frontend (without symbols)
llvm[4]: ======= Finished Linking Release+Asserts Unit test Frontend (without symbols)
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/unittests/Frontend'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang/unittests'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/runtime'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/runtime/libprofile'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/runtime/libprofile'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/runtime'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/docs'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/docs/CommandGuide'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/docs/CommandGuide'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/docs/tutorial'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/docs/tutorial'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/docs'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/ExecutionEngine'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/ExecutionEngine/JIT'
llvm[3]: Compiling JITEventListenerTest.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/ADT'
llvm[2]: Compiling APFloatTest.cpp for Release+Asserts build
llvm[3]: Compiling JITMemoryManagerTest.cpp for Release+Asserts build
llvm[3]: Compiling JITTest.cpp for Release+Asserts build
llvm[3]: Compiling MultiJITTest.cpp for Release+Asserts build
llvm[3]: Linking Release+Asserts unit test JIT (without symbols)
llvm[3]: ======= Finished Linking Release+Asserts Unit test JIT (without symbols)
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/ExecutionEngine/JIT'
llvm[2]: Compiling ExecutionEngineTest.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts unit test ExecutionEngine (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Unit test ExecutionEngine (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/ExecutionEngine'
llvm[2]: Compiling APIntTest.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Support'
llvm[2]: Compiling CommandLineTest.cpp for Release+Asserts build
llvm[2]: Compiling ConstantRangeTest.cpp for Release+Asserts build
llvm[2]: Compiling BitVectorTest.cpp for Release+Asserts build
llvm[2]: Compiling EndianTest.cpp for Release+Asserts build
llvm[2]: Compiling IRBuilderTest.cpp for Release+Asserts build
llvm[2]: Compiling DenseMapTest.cpp for Release+Asserts build
llvm[2]: Compiling JSONParserTest.cpp for Release+Asserts build
llvm[2]: Compiling ManagedStatic.cpp for Release+Asserts build
llvm[2]: Compiling DenseSetTest.cpp for Release+Asserts build
llvm[2]: Compiling Path.cpp for Release+Asserts build
llvm[2]: Compiling ImmutableSetTest.cpp for Release+Asserts build
llvm[2]: Compiling IntervalMapTest.cpp for Release+Asserts build
llvm[2]: Compiling TypeBuilderTest.cpp for Release+Asserts build
llvm[2]: Compiling ValueHandleTest.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts unit test Support (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Unit test Support (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Support'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Transforms'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Transforms/Utils'
llvm[3]: Compiling Cloning.cpp for Release+Asserts build
llvm[3]: Compiling Local.cpp for Release+Asserts build
llvm[2]: Compiling PackedVectorTest.cpp for Release+Asserts build
llvm[3]: Linking Release+Asserts unit test Utils (without symbols)
llvm[3]: ======= Finished Linking Release+Asserts Unit test Utils (without symbols)
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Transforms/Utils'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Transforms'
llvm[2]: Compiling SCCIteratorTest.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/VMCore'
llvm[2]: Compiling ConstantsTest.cpp for Release+Asserts build
llvm[2]: Compiling SmallBitVectorTest.cpp for Release+Asserts build
llvm[2]: Compiling InstructionsTest.cpp for Release+Asserts build
llvm[2]: Compiling StringMapTest.cpp for Release+Asserts build
llvm[2]: Compiling MetadataTest.cpp for Release+Asserts build
llvm[2]: Compiling TripleTest.cpp for Release+Asserts build
llvm[2]: Compiling PassManagerTest.cpp for Release+Asserts build
llvm[2]: Compiling ValueMapTest.cpp for Release+Asserts build
llvm[2]: Compiling VariadicFunctionTest.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts unit test ADT (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Unit test ADT (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/ADT'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Analysis'
llvm[2]: Compiling ScalarEvolutionTest.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts unit test Analysis (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Unit test Analysis (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Analysis'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Bitcode'
llvm[2]: Compiling BitReaderTest.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts unit test Bitcode (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Unit test Bitcode (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/Bitcode'
llvm[2]: Compiling VerifierTest.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts unit test VMCore (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Unit test VMCore (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests/VMCore'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/unittests'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample/lib'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample/lib/sample'
llvm[4]: Compiling sample.c for Release+Asserts build
llvm[4]: Building Release+Asserts Archive Library libsample.a
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample/lib/sample'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample/lib'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample/tools'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample/tools/sample'
llvm[4]: Compiling main.c for Release+Asserts build
llvm[4]: Linking Release+Asserts executable Sample (without symbols)
llvm[4]: ======= Finished Linking Release+Asserts Executable Sample (without symbols)
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample/tools/sample'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample/tools'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects/sample'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/projects'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/bindings'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/bindings'
llvm[0]: ***** Completed Release+Asserts Build
program finished with exit code 0
elapsedTime=4889.453062