port  klee svn -r 181583 to s2e master

modified:   klee/autoconf/configure.ac
	modified:   klee/configure
	deleted:    klee/docs/doxygen.cfg
	modified:   klee/examples/sort/sort.c
	modified:   klee/include/klee/AddressSpace.h
	modified:   klee/include/klee/BitfieldSimplifier.h
	modified:   klee/include/klee/Common.h
	deleted:    klee/include/klee/Config/common.h
	modified:   klee/include/klee/Config/config.h.in
	modified:   klee/include/klee/Constraints.h
	modified:   klee/include/klee/ExecutionState.h
	modified:   klee/include/klee/Executor.h
	modified:   klee/include/klee/Expr.h
	modified:   klee/include/klee/ExternalDispatcher.h
	modified:   klee/include/klee/IncompleteSolver.h
	modified:   klee/include/klee/Internal/Module/KInstruction.h
	modified:   klee/include/klee/Internal/Module/KModule.h
	modified:   klee/include/klee/Internal/Support/ModuleUtil.h
	modified:   klee/include/klee/Interpreter.h
	modified:   klee/include/klee/Memory.h
	modified:   klee/include/klee/PTree.h
	modified:   klee/include/klee/Searcher.h
	modified:   klee/include/klee/Solver.h
	modified:   klee/include/klee/SolverImpl.h
	modified:   klee/include/klee/SolverStats.h
	modified:   klee/include/klee/Statistic.h
	modified:   klee/include/klee/StatsTracker.h
	modified:   klee/include/klee/TimerStatIncrementer.h
	modified:   klee/include/klee/UserSearcher.h
	modified:   klee/include/klee/util/Assignment.h
	modified:   klee/include/klee/util/BitArray.h
	modified:   klee/include/klee/util/Bits.h
	modified:   klee/include/klee/util/ExprPPrinter.h
	modified:   klee/include/klee/util/Ref.h
	modified:   klee/lib/Core/AddressSpace.cpp
	modified:   klee/lib/Core/CallPathManager.cpp
	modified:   klee/lib/Core/Common.cpp
	modified:   klee/lib/Core/Context.cpp
	modified:   klee/lib/Core/CoreStats.cpp
	modified:   klee/lib/Core/ExecutionState.cpp
	modified:   klee/lib/Core/Executor.cpp
	modified:   klee/lib/Core/ExecutorTimers.cpp
	modified:   klee/lib/Core/ExecutorUtil.cpp
	modified:   klee/lib/Core/ExternalDispatcher.cpp
	modified:   klee/lib/Core/ImpliedValue.cpp
	modified:   klee/lib/Core/Makefile
	modified:   klee/lib/Core/Memory.cpp
	modified:   klee/lib/Core/MemoryManager.cpp
	modified:   klee/lib/Core/MemoryManager.h
	modified:   klee/lib/Core/PTree.cpp
	modified:   klee/lib/Core/Searcher.cpp
	modified:   klee/lib/Core/SpecialFunctionHandler.cpp
	modified:   klee/lib/Core/SpecialFunctionHandler.h
	modified:   klee/lib/Core/StatsTracker.cpp
	modified:   klee/lib/Core/TimingSolver.cpp
	modified:   klee/lib/Core/UserSearcher.cpp
	modified:   klee/lib/Expr/BitfieldSimplifier.cpp
	modified:   klee/lib/Expr/Expr.cpp
	modified:   klee/lib/Expr/ExprPPrinter.cpp
	modified:   klee/lib/Expr/Lexer.cpp
	modified:   klee/lib/Expr/Parser.cpp
	modified:   klee/lib/Expr/Updates.cpp
	modified:   klee/lib/Module/Checks.cpp
	modified:   klee/lib/Module/InstructionInfoTable.cpp
	modified:   klee/lib/Module/IntrinsicCleaner.cpp
	modified:   klee/lib/Module/KModule.cpp
	modified:   klee/lib/Module/LowerSwitch.cpp
	modified:   klee/lib/Module/Makefile
	modified:   klee/lib/Module/ModuleUtil.cpp
	modified:   klee/lib/Module/Optimize.cpp
	modified:   klee/lib/Module/Passes.h
	modified:   klee/lib/Module/RaiseAsm.cpp
	modified:   klee/lib/Solver/CachingSolver.cpp
	modified:   klee/lib/Solver/CexCachingSolver.cpp
	modified:   klee/lib/Solver/FastCexSolver.cpp
	modified:   klee/lib/Solver/IncompleteSolver.cpp
	modified:   klee/lib/Solver/IndependentSolver.cpp
	modified:   klee/lib/Solver/Makefile
	modified:   klee/lib/Solver/PCLoggingSolver.cpp
	modified:   klee/lib/Solver/STPBuilder.cpp
	modified:   klee/lib/Solver/STPBuilder.h
	modified:   klee/lib/Solver/Solver.cpp
	modified:   klee/lib/Solver/SolverStats.cpp
	modified:   klee/lib/Support/Time.cpp
	modified:   klee/lib/Support/Timer.cpp
	modified:   klee/runtime/Intrinsic/Makefile
	modified:   klee/runtime/Intrinsic/memset.c
	modified:   klee/runtime/Makefile
	modified:   klee/runtime/POSIX/fd.c
	modified:   klee/runtime/POSIX/klee_init_env.c
	modified:   klee/runtime/POSIX/stubs.c
	deleted:    klee/runtime/POSIX/testing-dir/a
	deleted:    klee/runtime/POSIX/testing-dir/b
	modified:   klee/runtime/POSIX/testing-dir/c
	modified:   klee/runtime/Runtest/intrinsics.c
	modified:   klee/runtime/klee-libc/Makefile
	modified:   klee/runtime/klee-libc/htonl.c
	modified:   klee/runtime/klee-libc/klee-choose.c
	modified:   klee/scripts/IStatsMerge.py
	modified:   klee/scripts/IStatsSum.py
	modified:   klee/scripts/klee-control
	modified:   klee/scripts/klee-gcc
	modified:   klee/scripts/objdump
	deleted:    klee/stp/AST/AST.cpp
	deleted:    klee/stp/AST/AST.h
	deleted:    klee/stp/AST/ASTKind.kinds
	deleted:    klee/stp/AST/ASTUtil.cpp
	deleted:    klee/stp/AST/ASTUtil.h
	deleted:    klee/stp/AST/BitBlast.cpp
	deleted:    klee/stp/AST/Makefile
	deleted:    klee/stp/AST/STLport_config.h
	deleted:    klee/stp/AST/SimpBool.cpp
	deleted:    klee/stp/AST/ToCNF.cpp
	deleted:    klee/stp/AST/ToSAT.cpp
	deleted:    klee/stp/AST/Transform.cpp
	deleted:    klee/stp/AST/asttest.cpp
	deleted:    klee/stp/AST/bbtest.cpp
	deleted:    klee/stp/AST/cnftest.cpp
	deleted:    klee/stp/AST/genkinds.pl
	deleted:    klee/stp/INSTALL
	deleted:    klee/stp/LICENSE
	deleted:    klee/stp/Makefile
	deleted:    klee/stp/Makefile.common.in
	deleted:    klee/stp/README
	deleted:    klee/stp/bitvec/Makefile
	deleted:    klee/stp/bitvec/consteval.cpp
	deleted:    klee/stp/c_interface/Makefile
	deleted:    klee/stp/c_interface/c_interface.cpp
	deleted:    klee/stp/c_interface/c_interface.h
	deleted:    klee/stp/c_interface/fdstream.h
	deleted:    klee/stp/constantbv/Makefile
	deleted:    klee/stp/constantbv/constantbv.cpp
	deleted:    klee/stp/constantbv/constantbv.h
	deleted:    klee/stp/parser/Makefile
	deleted:    klee/stp/parser/PL.lex
	deleted:    klee/stp/parser/PL.y
	deleted:    klee/stp/parser/let-funcs.cpp
	deleted:    klee/stp/parser/main.cpp
	deleted:    klee/stp/parser/smtlib.lex
	deleted:    klee/stp/parser/smtlib.y
	deleted:    klee/stp/sat/Global.h
	deleted:    klee/stp/sat/Heap.h
	deleted:    klee/stp/sat/LICENSE
	deleted:    klee/stp/sat/Makefile
	deleted:    klee/stp/sat/Simplifier.C
	deleted:    klee/stp/sat/Solver.C
	deleted:    klee/stp/sat/Solver.h
	deleted:    klee/stp/sat/SolverTypes.h
	deleted:    klee/stp/sat/Sort.h
	deleted:    klee/stp/sat/VarOrder.h
	deleted:    klee/stp/simplifier/Makefile
	deleted:    klee/stp/simplifier/bvsolver.cpp
	deleted:    klee/stp/simplifier/bvsolver.h
	deleted:    klee/stp/simplifier/simplifier.cpp
	deleted:    klee/stp/stp/Makefile
	modified:   klee/test/CXX/ArrayNew.cpp
	modified:   klee/test/CXX/New.cpp
	modified:   klee/test/CXX/SimpleVirtual.cpp
	modified:   klee/test/CXX/StaticConstructor.cpp
	modified:   klee/test/CXX/StaticDestructor.cpp
	modified:   klee/test/CXX/Trivial.cpp
	modified:   klee/test/Concrete/Casts.ll
	modified:   klee/test/Concrete/ConcreteTest.py
	modified:   klee/test/Concrete/GlobalInitializers.ll
	modified:   klee/test/Dogfood/ImmutableSet.cpp
	modified:   klee/test/Feature/CallToUndefinedExternal.cpp
	modified:   klee/test/Feature/CopyOnWrite.c
	modified:   klee/test/Feature/ExprLogging.c
	modified:   klee/test/Feature/GetValue.c
	modified:   klee/test/Feature/MakeSymbolicName.c
	modified:   klee/test/Feature/Optimize.c
	deleted:    klee/test/Feature/ReallocFailure.c
	modified:   klee/test/Feature/ReplayPath.c
	modified:   klee/test/Feature/Searchers.c
	modified:   klee/test/Feature/WriteCov.c
	modified:   klee/test/Makefile
	modified:   klee/test/Runtime/POSIX/DirConsistency.c
	modified:   klee/test/Runtime/POSIX/DirSeek.c
	modified:   klee/test/Runtime/POSIX/FDNumbers.c
	modified:   klee/test/Runtime/POSIX/FD_Fail.c
	modified:   klee/test/Runtime/POSIX/FD_Fail2.c
	modified:   klee/test/Runtime/POSIX/Fcntl.c
	modified:   klee/test/Runtime/POSIX/FilePerm.c
	modified:   klee/test/Runtime/POSIX/FreeArgv.c
	modified:   klee/test/Runtime/POSIX/Getenv.c
	modified:   klee/test/Runtime/POSIX/Ioctl.c
	modified:   klee/test/Runtime/POSIX/Isatty.c
	modified:   klee/test/Runtime/POSIX/PrgName.c
	modified:   klee/test/Runtime/POSIX/Read1.c
	modified:   klee/test/Runtime/POSIX/SeedAndFail.c
	modified:   klee/test/Runtime/POSIX/Stdin.c
	modified:   klee/test/Runtime/POSIX/Write1.c
	modified:   klee/test/Runtime/POSIX/Write2.c
	modified:   klee/test/Runtime/Uclibc/Environ.c
	modified:   klee/test/Solver/FastCexSolver.pc
	modified:   klee/test/TestRunner.sh
	modified:   klee/test/lib/llvm.exp
	modified:   klee/test/regression/2007-08-01-bool-zext-in-call.ll
	modified:   klee/test/regression/2007-08-16-invalid-constant-value.c
	deleted:    klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll
	modified:   klee/tools/gen-random-bout/gen-random-bout.cpp
	modified:   klee/tools/kleaver/Makefile
	modified:   klee/tools/kleaver/main.cpp
	modified:   klee/tools/klee-replay/klee-replay.c
	modified:   klee/tools/klee-stats/klee-stats
	modified:   klee/tools/klee/Debug.cpp
	modified:   klee/tools/klee/Makefile
	modified:   klee/tools/klee/main.cpp
	modified:   klee/tools/ktest-tool/ktest-tool
	modified:   klee/unittests/Expr/Makefile
	modified:   klee/unittests/Makefile
	modified:   klee/unittests/Solver/Makefile
	modified:   klee/www/Documentation.html
	modified:   klee/www/GetInvolved.html
	modified:   klee/www/GetStarted.html
	modified:   klee/www/KQuery.html
	modified:   klee/www/TestingCoreutils.html
	modified:   klee/www/Tutorial-1.html
	modified:   klee/www/Tutorials.html
	modified:   klee/www/bugs.html
	modified:   klee/www/klee-files.html
	modified:   klee/www/klee-tools.html
	modified:   klee/www/menu.html.incl
	modified:   qemu/s2e/S2EExecutionState.cpp

 Untracked files:
   (use "git add <file>..." to include in what will be committed)

	klee/docs/doxygen.cfg.in
	klee/examples/get_sign/
	klee/include/klee/CommandLine.h
	klee/include/klee/Config/Version.h
	klee/include/klee/klee.h
	klee/include/klee/util/ArrayExprHash.h
	klee/include/klee/util/ExprSMTLIBLetPrinter.h
	klee/include/klee/util/ExprSMTLIBPrinter.h
	klee/include/klee/util/GetElementPtrTypeIterator.h
	klee/include/klee/util/PrintContext.h
	klee/lib/Basic/CmdLineOptions.cpp
	klee/lib/Core/CallPathManager.h
	klee/lib/Expr/ExprSMTLIBLetPrinter.cpp
	klee/lib/Expr/ExprSMTLIBPrinter.cpp
	klee/lib/Module/Intrinsic
	klee/lib/Solver/QueryLoggingSolver.cpp
	klee/lib/Solver/QueryLoggingSolver.h
	klee/lib/Solver/SMTLIBLoggingSolver.cpp
	klee/test/Concrete/GlobalUndef.ll
	klee/test/Expr/print-smt.pc
	klee/test/Expr/print-smt.smt2.good
	klee/test/Feature/BitcastAlias.ll
	klee/test/Feature/ConstantStruct.ll
	klee/test/Feature/FloatingPt.c
	klee/test/Feature/GetElementPtr.ll
	klee/test/Feature/InsertExtractValue.ll
	klee/test/Feature/LargeReturnTypes.cpp
	klee/test/Feature/LongDouble.cpp
	klee/test/Feature/Overflow.ll
	klee/test/Feature/Realloc.c
	klee/test/Feature/SolverTimeout.c
	klee/test/lit.cfg
	klee/test/lit.site.cfg.in
	klee/test/regression/2012-05-13-asm-causes-aborts.c
	klee/unittests/Ref/
	klee/utils/hacks/
	klee/www/CoreutilsExperiments.html
	klee/www/OpenProjects.html
	klee/www/Publications.html
	klee/www/klee-dev.html
	klee/www/klee-options.html
	klee/www/resources/get_sign.c.html