diff options
author | Daniel Dunbar <daniel@zuster.org> | 2009-06-05 06:15:06 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-05 06:15:06 +0000 |
commit | fe42c702fc0a15090941ff6565f0d17f94ba8d02 (patch) | |
tree | 4bc23d8649f524bd00bcdf0dcc228ebf5d328f81 /lib/Expr/Expr.cpp | |
parent | 4d1f38fb2671e565b7aaeb2dd0db79b16adc3349 (diff) | |
download | klee-fe42c702fc0a15090941ff6565f0d17f94ba8d02.tar.gz |
Clean up a number of unused variable warnings when building w/o
asserts. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72924 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Expr/Expr.cpp')
-rw-r--r-- | lib/Expr/Expr.cpp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index d58c9085..57898969 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -41,6 +41,7 @@ ref<Expr> Expr::createTempRead(const Array *array, Expr::Width w) { UpdateList ul(array, true, 0); switch (w) { + default: assert(0 && "invalid width"); case Expr::Bool: return ZExtExpr::create(ReadExpr::create(ul, ConstantExpr::alloc(0,kMachinePointerType)), @@ -79,7 +80,6 @@ ref<Expr> Expr::createTempRead(const Array *array, Expr::Width w) { ConstantExpr::alloc(1,kMachinePointerType)), ReadExpr::create(ul, ConstantExpr::alloc(0,kMachinePointerType))); - default: assert(0 && "invalid width"); } } @@ -191,8 +191,15 @@ unsigned ReadExpr::computeHash() { ref<Expr> Expr::createFromKind(Kind k, std::vector<CreateArg> args) { unsigned numArgs = args.size(); - + (void) numArgs; + switch(k) { + case Constant: + case Extract: + case Read: + default: + assert(0 && "invalid kind"); + case NotOptimized: assert(numArgs == 1 && args[0].isExpr() && "invalid args array for given opcode"); @@ -254,14 +261,7 @@ ref<Expr> Expr::createFromKind(Kind k, std::vector<CreateArg> args) { BINARY_EXPR_CASE(Sle); BINARY_EXPR_CASE(Sgt); BINARY_EXPR_CASE(Sge); - - case Constant: - case Extract: - case Read: - default: - assert(0 && "invalid kind"); } - } @@ -327,23 +327,23 @@ void Expr::print(std::ostream &os) const { ref<Expr> ConstantExpr::fromMemory(void *address, Width width) { switch (width) { + default: assert(0 && "invalid type"); case Expr::Bool: return ConstantExpr::create(*(( uint8_t*) address), width); case Expr::Int8: return ConstantExpr::create(*(( uint8_t*) address), width); case Expr::Int16: return ConstantExpr::create(*((uint16_t*) address), width); case Expr::Int32: return ConstantExpr::create(*((uint32_t*) address), width); case Expr::Int64: return ConstantExpr::create(*((uint64_t*) address), width); - default: assert(0 && "invalid type"); } } void ConstantExpr::toMemory(void *address) { switch (width) { + default: assert(0 && "invalid type"); case Expr::Bool: *(( uint8_t*) address) = value; break; case Expr::Int8: *(( uint8_t*) address) = value; break; case Expr::Int16: *((uint16_t*) address) = value; break; case Expr::Int32: *((uint32_t*) address) = value; break; case Expr::Int64: *((uint64_t*) address) = value; break; - default: assert(0 && "invalid type"); } } |