(view as text)
starting svn operation
/usr/bin/svn update --non-interactive --no-auth-cache --revision 146350
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang (timeout 1200 secs)
 watching logfiles {}
 argv: ['/usr/bin/svn', 'update', '--non-interactive', '--no-auth-cache', '--revision', '146350']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LC_MESSAGES=C
  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/tools/clang
  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
U    test/SemaObjC/arc-unavailable-for-weakref.m
U    test/Analysis/taint-tester.c
U    test/Analysis/string.c
U    test/Analysis/taint-generic.c
U    test/Sema/format-strings-scanf.c
U    test/Sema/i-c-e.c
U    test/Sema/attr-availability.c
U    test/Sema/builtins.c
U    test/Sema/attr-availability-macosx.c
U    test/Sema/format-strings-fixit.c
U    test/Sema/switch.c
U    test/Sema/format-strings-int-typedefs.c
A    test/CodeGenCXX/instantiate-temporaries.cpp
U    test/CodeGenCXX/new.cpp
U    test/Parser/attr-availability.c
U    test/ARCMT/checking.m
U    test/SemaTemplate/resolve-single-template-id.cpp
U    test/CodeGenObjCXX/arc.mm
U    test/CXX/over/over.over/p2-resolve-single-template-id.cpp
U    test/CodeGen/conditional.c
U    test/SemaCXX/constant-expression-cxx11.cpp
U    test/SemaCXX/warn-weak-vtables.cpp
U    test/SemaCXX/warn-func-as-bool.cpp
U    test/SemaCXX/condition.cpp
A    test/Modules/Inputs/NoUmbrella.framework
A    test/Modules/Inputs/NoUmbrella.framework/module.map
A    test/Modules/Inputs/NoUmbrella.framework/PrivateHeaders
A    test/Modules/Inputs/NoUmbrella.framework/PrivateHeaders/A_Private.h
A    test/Modules/Inputs/NoUmbrella.framework/PrivateHeaders/B_Private.h
A    test/Modules/Inputs/NoUmbrella.framework/Headers
A    test/Modules/Inputs/NoUmbrella.framework/Headers/A.h
A    test/Modules/Inputs/NoUmbrella.framework/Headers/B.h
A    test/Modules/Inputs/NoUmbrella.framework/module_private.map
U    test/Modules/auto-module-import.m
U    include/clang/Frontend/Utils.h
A    include/clang/Frontend/ChainedIncludesSource.h
A    include/clang/Basic/DiagnosticSerializationKinds.td
U    include/clang/Basic/Diagnostic.td
U    include/clang/Basic/Module.h
U    include/clang/Basic/Makefile
U    include/clang/Basic/Attr.td
U    include/clang/Basic/SourceManager.h
U    include/clang/Basic/DiagnosticFrontendKinds.td
U    include/clang/Basic/DiagnosticIDs.h
U    include/clang/Basic/CMakeLists.txt
U    include/clang/Basic/DiagnosticSemaKinds.td
U    include/clang/Basic/DiagnosticCommonKinds.td
U    include/clang/Analysis/Analyses/FormatString.h
U    include/clang/Sema/AttributeList.h
U    include/clang/AST/Expr.h
U    include/clang/AST/DeclObjC.h
U    include/clang/Lex/HeaderSearch.h
U    include/clang/Driver/CC1Options.td
U    include/clang/Driver/Options.td
U    include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
U    include/clang/Parse/Parser.h
D    include/clang/Serialization/ChainedIncludesSource.h
A    include/clang/Serialization/SerializationDiagnostic.h
U    include/clang-c/Index.h
U    docs/InternalsManual.html
U    tools/libclang/IndexingContext.cpp
U    tools/libclang/CIndexHigh.cpp
U    tools/libclang/CXType.cpp
U    tools/libclang/CIndexDiagnostic.cpp
U    tools/libclang/libclang.exports
U    tools/libclang/CXCursor.cpp
U    tools/libclang/CIndex.cpp
U    tools/libclang/CIndexUSRs.cpp
U    tools/Makefile
A    lib/Frontend/ChainedIncludesSource.cpp
U    lib/Frontend/CompilerInvocation.cpp
U    lib/Frontend/InitPreprocessor.cpp
U    lib/Frontend/FrontendAction.cpp
U    lib/Frontend/CMakeLists.txt
U    lib/Basic/Targets.cpp
U    lib/Basic/DiagnosticIDs.cpp
U    lib/Basic/SourceManager.cpp
U    lib/Analysis/PrintfFormatString.cpp
U    lib/Analysis/FormatString.cpp
U    lib/Analysis/ScanfFormatString.cpp
U    lib/Sema/SemaDeclCXX.cpp
U    lib/Sema/TreeTransform.h
U    lib/Sema/SemaDeclAttr.cpp
U    lib/Sema/SemaDeclObjC.cpp
U    lib/Sema/SemaTemplateInstantiateDecl.cpp
U    lib/Sema/SemaObjCProperty.cpp
U    lib/Sema/SemaChecking.cpp
U    lib/Sema/SemaExpr.cpp
U    lib/AST/DeclObjC.cpp
U    lib/AST/ASTImporter.cpp
U    lib/AST/ExprConstant.cpp
U    lib/AST/DeclBase.cpp
U    lib/AST/Expr.cpp
U    lib/Lex/HeaderSearch.cpp
U    lib/Lex/ModuleMap.cpp
U    lib/Driver/Tools.cpp
U    lib/Driver/ToolChains.cpp
U    lib/Driver/ToolChains.h
U    lib/StaticAnalyzer/Checkers/CStringChecker.cpp
U    lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
U    lib/StaticAnalyzer/Core/ProgramState.cpp
U    lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
U    lib/StaticAnalyzer/Core/SymbolManager.cpp
U    lib/StaticAnalyzer/Core/SValBuilder.cpp
U    lib/CodeGen/CGException.cpp
U    lib/CodeGen/CGExprScalar.cpp
U    lib/CodeGen/CGExprCXX.cpp
U    lib/CodeGen/CGValue.h
U    lib/Parse/ParseDecl.cpp
U    lib/Headers/unwind.h
U    lib/Headers/smmintrin.h
D    lib/Serialization/ChainedIncludesSource.cpp
U    lib/Serialization/ASTReaderDecl.cpp
U    lib/Serialization/GeneratePCH.cpp
U    lib/Serialization/ASTReader.cpp
U    lib/Serialization/ASTWriterDecl.cpp
U    lib/Serialization/CMakeLists.txt
Updated to revision 146350.
elapsedTime=28.531158
/usr/bin/svnversion .
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang
 watching logfiles {}
 argv: ['/usr/bin/svnversion', '.']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LC_MESSAGES=C
  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/tools/clang
  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
elapsedTime=10.388402
program finished with exit code 0