starting svn operation
/usr/bin/svn update --non-interactive --no-auth-cache --revision 146741
 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', '146741']
 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/Lexer/string_concat.cpp
U    test/Lexer/string-literal-encoding.c
U    test/Lexer/rdr-6096838-2.c
U    test/SemaObjC/scope-check.m
U    test/SemaObjC/method-bad-param.m
U    test/SemaObjC/call-super-2.m
U    test/SemaObjC/property-lookup-in-id.m
U    test/SemaObjC/super.m
U    test/SemaObjC/special-dep-unavail-warning.m
U    test/SemaObjC/nsobject-attribute.m
U    test/SemaObjC/invalid-objc-decls-1.m
U    test/SemaObjC/method-undef-category-warn-1.m
U    test/SemaObjC/conditional-expr.m
U    test/SemaObjC/conditional-expr-3.m
U    test/SemaObjC/default-synthesize.m
U    test/SemaObjC/no-protocol-option-tests.m
U    test/SemaObjC/missing-method-return-type.m
U    test/SemaObjC/comptypes-7.m
U    test/SemaObjC/method-undef-extension-warn-1.m
U    test/SemaObjC/category-1.m
U    test/SemaObjC/compare-qualified-id.m
U    test/SemaObjC/warn-implicit-atomic-property.m
U    test/SemaObjC/blocks.m
U    test/SemaObjC/unknown-anytype.m
U    test/SemaObjC/attr-deprecated.m
U    test/SemaObjC/try-catch.m
U    test/SemaObjC/arc.m
U    test/SemaObjC/forward-class-1.m
U    test/SemaObjC/ivar-lookup.m
U    test/SemaObjC/comptypes-1.m
U    test/SemaObjC/property-9.m
U    test/SemaObjC/gcc-cast-ext.m
U    test/SemaObjC/warn-strict-selector-match.m
U    test/SemaObjC/method-not-defined.m
U    test/SemaObjC/undef-protocol-methods-1.m
U    test/SemaObjC/class-extension-dup-methods.m
U    test/Analysis/taint-tester.c
U    test/Analysis/retain-release-path-notes-gc.m
U    test/Analysis/NSString.m
U    test/Analysis/retain-release-region-store.m
U    test/Analysis/CFDateGC.m
U    test/Analysis/method-arg-decay.m
U    test/Analysis/retain-release-path-notes.m
U    test/Sema/format-strings-scanf.c
U    test/Sema/attr-unavailable-message.c
U    test/Sema/builtins.c
U    test/Sema/implicit-builtin-redecl.c
U    test/Sema/overloadable-complex.c
A    test/Sema/format-strings-c90.c
U    test/Sema/compare.c
U    test/Sema/block-misc.c
U    test/Sema/overloadable.c
U    test/Sema/format-strings-size_t.c
U    test/Sema/thread-specifier.c
U    test/Preprocessor/macro_paste_c_block_comment.c
U    test/Misc/diag-aka-types.cpp
A    test/Misc/diag-verify.cpp
U    test/Parser/objc-category-neg-1.m
U    test/Parser/recovery.c
U    test/Parser/objc-init.m
U    test/Parser/attr-availability.c
U    test/Parser/objc-forcollection-neg-2.m
U    test/Parser/cxx-typeid.cpp
U    test/Parser/cxx0x-lambda-expressions.cpp
U    test/Parser/check-syntax-1.m
U    test/Parser/cxx-altivec.cpp
U    test/ARCMT/nonobjc-to-objc-cast-2.m
U    test/Index/index-suppress-refs.h
U    test/Index/index-suppress-refs.m
U    test/Index/TestClassDecl.m
U    test/SemaTemplate/instantiate-expr-5.cpp
U    test/SemaTemplate/friend.cpp
U    test/SemaTemplate/explicit-instantiation.cpp
U    test/FixIt/typo.c
A    test/Driver/frame-pointer.c
U    test/Driver/darwin-iphone-defaults.m
U    test/CodeGenObjC/debug-info-block-helper.m
U    test/CodeGenObjC/debug-info-getter-name.m
U    test/CXX/special/class.dtor/p10-0x.cpp
U    test/CXX/basic/basic.lookup/basic.lookup.argdep/p2.cpp
U    test/CXX/basic/basic.lookup/basic.lookup.argdep/p4.cpp
U    test/CXX/basic/basic.lookup/basic.lookup.classref/p1.cpp
U    test/CXX/basic/basic.start/basic.start.main/p2f.cpp
U    test/CXX/class.derived/class.member.lookup/p6.cpp
U    test/CXX/dcl.dcl/dcl.spec/dcl.type/p3-0x.cpp
U    test/CXX/dcl.dcl/dcl.spec/dcl.constexpr/p4.cpp
U    test/CXX/dcl.dcl/basic.namespace/namespace.udecl/p1.cpp
U    test/CXX/class/class.mem/p13.cpp
U    test/CXX/class/class.friend/p1.cpp
U    test/CXX/class/class.nest/p1.cpp
U    test/CXX/class/class.nest/p1-cxx0x.cpp
U    test/CXX/class.access/p6.cpp
U    test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp
U    test/CXX/dcl.decl/dcl.meaning/dcl.ref/p5.cpp
U    test/CXX/dcl.decl/dcl.init/dcl.init.ref/p5-cxx03-extra-copy.cpp
U    test/CXX/over/over.over/p2-resolve-single-template-id.cpp
U    test/CXX/stmt.stmt/stmt.iter/stmt.ranged/p1.cpp
U    test/CXX/expr/expr.const/p2-0x.cpp
A    test/CXX/expr/expr.unary/expr.unary.op/p3.cpp
U    test/SemaObjCXX/unknown-anytype.mm
U    test/SemaObjCXX/overload.mm
U    test/SemaObjCXX/warn-strict-selector-match.mm
U    test/SemaCXX/overload-call.cpp
U    test/SemaCXX/static-assert.cpp
U    test/SemaCXX/pseudo-destructors.cpp
U    test/SemaCXX/complex-overload.cpp
U    test/SemaCXX/scope-check.cpp
U    test/SemaCXX/constant-expression-cxx11.cpp
U    test/SemaCXX/statements.cpp
U    test/SemaCXX/warn-bool-conversion.cpp
U    test/SemaCXX/warn-thread-safety-analysis.cpp
U    test/SemaCXX/addr-of-overloaded-function.cpp
U    test/SemaCXX/dcl_init_aggr.cpp
U    test/SemaCXX/uninit-variables.cpp
U    test/SemaCXX/typeid.cpp
U    test/SemaCXX/overloaded-operator.cpp
U    test/SemaCXX/class.cpp
U    test/SemaCXX/overload-member-call.cpp
U    test/SemaCXX/reinterpret-fn-obj-pedantic.cpp
U    test/SemaCXX/warn-thread-safety-parsing.cpp
U    test/SemaCXX/MicrosoftCompatibility.cpp
U    test/SemaCXX/explicit.cpp
U    test/SemaCXX/exceptions.cpp
U    test/SemaCXX/incomplete-call.cpp
U    test/SemaCXX/access.cpp
U    test/SemaCXX/missing-namespace-qualifier-typo-corrections.cpp
U    test/SemaCXX/this.cpp
A    test/Modules/Inputs/decl2.h
A    test/Modules/Inputs/decl.h
A    test/Modules/Inputs/def.h
U    test/Modules/Inputs/module.map
A    test/Modules/decldef.mm
U    test/Modules/macros.c
U    test/Modules/normal-module-map.cpp
U    test/PCH/typo.cpp
U    include/clang/Frontend/FrontendOptions.h
U    include/clang/Basic/DiagnosticSemaKinds.td
U    include/clang/Analysis/Analyses/FormatString.h
U    include/clang/Sema/Lookup.h
U    include/clang/Sema/Sema.h
U    include/clang/AST/DeclBase.h
U    include/clang/AST/ASTContext.h
U    include/clang/AST/DeclObjC.h
U    include/clang/AST/Type.h
U    include/clang/Driver/CC1Options.td
U    include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
U    include/clang/CodeGen/CodeGenAction.h
U    include/clang/CodeGen/BackendUtil.h
U    include/clang/Serialization/ASTReader.h
U    include/clang-c/Index.h
U    docs/LanguageExtensions.html
U    tools/c-index-test/c-index-test.c
U    tools/libclang/IndexingContext.cpp
U    tools/libclang/IndexDecl.cpp
U    tools/libclang/CIndex.cpp
U    tools/libclang/IndexingContext.h
U    lib/Frontend/CompilerInstance.cpp
U    lib/Frontend/CompilerInvocation.cpp
U    lib/Frontend/VerifyDiagnosticConsumer.cpp
U    lib/Basic/Targets.cpp
U    lib/Basic/SourceManager.cpp
U    lib/Rewrite/RewriteObjC.cpp
U    lib/Analysis/PrintfFormatString.cpp
U    lib/Analysis/FormatStringParsing.h
U    lib/Analysis/CocoaConventions.cpp
U    lib/Analysis/FormatString.cpp
U    lib/Analysis/ScanfFormatString.cpp
U    lib/Sema/SemaDeclCXX.cpp
U    lib/Sema/SemaExprCXX.cpp
U    lib/Sema/SemaDeclAttr.cpp
U    lib/Sema/SemaCodeComplete.cpp
U    lib/Sema/SemaDeclObjC.cpp
U    lib/Sema/SemaDecl.cpp
U    lib/Sema/SemaOverload.cpp
U    lib/Sema/SemaType.cpp
U    lib/Sema/SemaObjCProperty.cpp
U    lib/Sema/IdentifierResolver.cpp
U    lib/Sema/SemaAccess.cpp
U    lib/Sema/SemaExprMember.cpp
U    lib/Sema/SemaLookup.cpp
U    lib/Sema/SemaChecking.cpp
U    lib/Sema/SemaExprObjC.cpp
U    lib/Sema/SemaExpr.cpp
U    lib/Sema/Sema.cpp
U    lib/AST/DeclObjC.cpp
U    lib/AST/ASTImporter.cpp
U    lib/AST/DeclPrinter.cpp
U    lib/AST/Type.cpp
U    lib/AST/RecordLayoutBuilder.cpp
U    lib/AST/DeclBase.cpp
U    lib/AST/DumpXML.cpp
U    lib/AST/ASTContext.cpp
U    lib/Driver/Tools.cpp
U    lib/Driver/ToolChains.h
U    lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
U    lib/StaticAnalyzer/Core/ProgramState.cpp
U    lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
U    lib/StaticAnalyzer/Core/SValBuilder.cpp
U    lib/StaticAnalyzer/Core/Store.cpp
U    lib/StaticAnalyzer/Core/CheckerRegistry.cpp
U    lib/CodeGen/CodeGenAction.cpp
U    lib/CodeGen/CGDebugInfo.cpp
U    lib/CodeGen/BackendUtil.cpp
U    lib/CodeGen/CGObjCRuntime.cpp
U    lib/Index/Analyzer.cpp
U    lib/Parse/ParseDecl.cpp
U    lib/Parse/ParseExprCXX.cpp
U    lib/Headers/smmintrin.h
U    lib/FrontendTool/ExecuteCompilerInvocation.cpp
U    lib/Serialization/ASTReaderDecl.cpp
U    lib/Serialization/ASTWriter.cpp
U    lib/Serialization/ASTCommon.h
U    lib/Serialization/ASTWriterDecl.cpp
U    lib/ARCMigrate/Transforms.cpp
Updated to revision 146741.
elapsedTime=48.329920
/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=0.832967
program finished with exit code 0