starting svn operation /usr/bin/svn update --non-interactive --no-auth-cache --revision 146510 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', '146510'] 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/DoubleMethod.m U test/SemaObjC/undefined-protocol-type-1.m U test/SemaObjC/arc-decls.m U test/SemaObjC/class-conforming-protocol-1.m U test/SemaObjC/check-dup-decl-methods-1.m U test/SemaObjC/enhanced-proto-2.m U test/Sema/format-strings-scanf.c U test/Sema/pragma-ms_struct.c U test/CodeGenCXX/instantiate-temporaries.cpp A test/CodeGenCXX/pragma-pack-2.cpp U test/CodeGenCXX/field-access-debug-info.cpp U test/Parser/MicrosoftExtensions.cpp U test/Parser/enhanced-proto-1.m A test/Index/index-suppress-refs.h A test/Index/index-suppress-refs.m A test/Index/index-refs.cpp U test/SemaTemplate/ms-if-exists.cpp U test/CXX/special/class.dtor/p10-0x.cpp A test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp U test/CXX/expr/expr.prim/expr.prim.general/p8-0x.cpp U test/CXX/expr/expr.const/p2-0x.cpp U test/SemaCXX/constant-expression-cxx11.cpp A test/SemaCXX/array-bounds-system-header.cpp A test/SemaCXX/Inputs/array-bounds-system-header.h U test/SemaCXX/enum-bitfield.cpp U test/Modules/Inputs/Module.framework/Frameworks/SubFramework.framework/Headers/SubFramework.h A test/Modules/Inputs/NoUmbrella.framework/Headers/SubDir A test/Modules/Inputs/NoUmbrella.framework/Headers/SubDir/C.h U test/Modules/auto-module-import.m U include/clang/Frontend/FrontendOptions.h U include/clang/Basic/TargetBuiltins.h U include/clang/Basic/DiagnosticGroups.td U include/clang/Basic/LangOptions.def U include/clang/Basic/Builtins.def U include/clang/Basic/DiagnosticParseKinds.td U include/clang/Basic/DiagnosticASTKinds.td A include/clang/Basic/BuiltinsHexagon.def U include/clang/Basic/DiagnosticSemaKinds.td U include/clang/Basic/DiagnosticCommonKinds.td U include/clang/AST/RecursiveASTVisitor.h U include/clang/AST/Expr.h U include/clang/AST/Decl.h U include/clang/Driver/CC1Options.td U include/clang/Driver/Options.td U include/clang/CodeGen/CodeGenAction.h U include/clang/CodeGen/BackendUtil.h U include/clang/Parse/Parser.h U include/clang-c/Index.h U docs/AddressSanitizer.html U tools/c-index-test/c-index-test.c U tools/libclang/Indexing.cpp U tools/libclang/IndexingContext.cpp U tools/libclang/IndexBody.cpp U tools/libclang/IndexDecl.cpp U tools/libclang/IndexTypeSourceInfo.cpp U tools/libclang/IndexingContext.h U lib/Frontend/FrontendActions.cpp U lib/Frontend/CompilerInvocation.cpp U lib/Basic/Targets.cpp U lib/Sema/SemaExprCXX.cpp U lib/Sema/SemaDeclObjC.cpp U lib/Sema/SemaDecl.cpp U lib/Sema/SemaChecking.cpp U lib/Sema/SemaExpr.cpp U lib/AST/RecordLayoutBuilder.cpp U lib/AST/ExprConstant.cpp U lib/AST/ASTContext.cpp U lib/Lex/ModuleMap.cpp U lib/Lex/PPLexerChange.cpp U lib/Driver/Tools.cpp U lib/Driver/ToolChains.cpp U lib/Driver/Tools.h U lib/Driver/ToolChains.h U lib/Driver/HostInfo.cpp U lib/CodeGen/CodeGenAction.cpp U lib/CodeGen/TargetInfo.cpp U lib/CodeGen/CodeGenFunction.h U lib/CodeGen/CGBuiltin.cpp U lib/CodeGen/BackendUtil.cpp U lib/CodeGen/CGRecordLayoutBuilder.cpp U lib/Parse/ParseInit.cpp U lib/FrontendTool/ExecuteCompilerInvocation.cpp U lib/Serialization/ASTWriter.cpp U lib/Serialization/ASTWriterDecl.cpp Updated to revision 146510. elapsedTime=16.111032 /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=1.849166 program finished with exit code 0