Created
May 14, 2018 16:36
-
-
Save regehr/267b617546590dad6dbb9da3c95a8dda to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| FAIL: Souper :: Pass/syn-inst-zext.ll (196 of 345) | |
| ******************** TEST 'Souper :: Pass/syn-inst-zext.ll' FAILED ******************** | |
| Script: | |
| -- | |
| /home/regehr/souper-rsas/third_party/llvm/Debug/bin/llvm-as -o /home/regehr/souper-rsas/build/test/Pass/Output/syn-inst-zext.ll.tmp /home/regehr/souper-rsas/test/Pass/syn-inst-zext.ll | |
| /home/regehr/souper-rsas/third_party/llvm/Debug/bin/opt -load /home/regehr/souper-rsas/build/libsouperPass.so -souper -dce -z3-path=/usr/bin/z3 -souper-infer-inst -S -o - /home/regehr/souper-rsas/test/Pass/syn-inst-zext.ll | /home/regehr/souper-rsas/third_party/llvm/Debug/bin/FileCheck /home/regehr/souper-rsas/test/Pass/syn-inst-zext.ll | |
| -- | |
| Exit Code: 2 | |
| Command Output (stderr): | |
| -- | |
| #0 0x0000000002195749 llvm::sys::PrintStackTrace(llvm::raw_ostream&) /home/regehr/souper-rsas/third_party/llvm/Debug-build/../lib/Support/Unix/Signals.inc:398:11 | |
| #1 0x00000000021958f9 PrintStackTraceSignalHandler(void*) /home/regehr/souper-rsas/third_party/llvm/Debug-build/../lib/Support/Unix/Signals.inc:462:1 | |
| #2 0x0000000002193ea3 llvm::sys::RunSignalHandlers() /home/regehr/souper-rsas/third_party/llvm/Debug-build/../lib/Support/Signals.cpp:0:5 | |
| #3 0x0000000002195c54 SignalHandler(int) /home/regehr/souper-rsas/third_party/llvm/Debug-build/../lib/Support/Unix/Signals.inc:252:1 | |
| #4 0x00007f0b82b59390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390) | |
| #5 0x00007f0b8155ec5f (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:121:41 | |
| #6 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #7 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #8 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #9 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #10 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #11 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #12 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #13 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #14 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #15 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #16 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #17 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #18 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #19 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #20 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #21 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #22 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #23 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #24 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #25 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #26 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #27 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #28 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #29 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #30 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #31 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #32 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #33 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #34 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #35 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #36 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #37 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #38 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #39 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #40 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #41 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #42 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #43 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #44 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #45 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #46 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #47 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #48 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #49 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #50 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #51 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #52 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #53 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #54 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #55 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #56 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #57 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #58 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #59 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #60 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #61 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #62 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #63 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #64 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #65 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #66 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #67 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #68 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #69 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #70 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #71 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #72 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #73 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #74 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #75 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #76 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #77 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #78 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #79 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #80 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #81 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #82 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #83 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #84 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #85 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #86 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #87 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #88 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #89 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #90 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #91 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #92 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #93 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #94 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #95 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #96 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #97 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #98 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #99 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #100 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #101 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #102 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #103 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #104 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #105 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #106 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #107 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #108 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #109 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #110 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #111 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #112 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #113 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #114 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #115 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #116 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #117 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #118 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #119 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #120 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #121 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #122 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #123 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #124 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #125 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #126 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #127 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #128 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #129 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #130 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #131 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #132 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #133 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #134 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #135 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #136 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #137 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #138 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #139 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #140 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #141 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #142 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #143 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #144 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #145 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #146 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #147 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #148 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #149 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #150 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #151 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #152 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #153 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #154 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #155 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #156 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #157 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #158 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #159 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #160 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #161 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #162 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #163 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #164 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #165 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #166 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #167 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #168 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #169 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #170 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #171 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #172 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #173 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #174 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #175 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #176 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #177 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #178 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #179 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #180 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #181 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #182 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #183 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #184 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #185 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #186 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #187 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #188 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #189 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #190 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #191 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #192 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #193 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #194 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #195 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #196 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #197 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #198 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #199 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #200 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #201 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #202 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #203 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #204 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #205 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #206 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #207 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #208 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #209 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #210 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #211 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #212 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #213 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #214 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #215 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #216 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #217 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #218 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #219 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #220 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #221 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #222 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #223 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #224 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #225 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #226 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #227 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #228 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #229 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #230 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #231 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #232 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #233 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #234 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #235 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #236 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #237 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #238 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #239 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #240 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #241 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #242 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #243 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #244 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #245 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #246 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #247 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #248 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #249 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #250 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #251 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #252 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #253 0x00007f0b81561797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #254 0x00007f0b8155fa8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #255 0x00007f0b8155ebc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| Stack dump: | |
| 0. Program arguments: /home/regehr/souper-rsas/third_party/llvm/Debug/bin/opt -load /home/regehr/souper-rsas/build/libsouperPass.so -souper -dce -z3-path=/usr/bin/z3 -souper-infer-inst -S -o - /home/regehr/souper-rsas/test/Pass/syn-inst-zext.ll | |
| 1. Running pass 'Souper super-optimizer pass' on module '/home/regehr/souper-rsas/test/Pass/syn-inst-zext.ll'. | |
| FileCheck error: '-' is empty. | |
| FileCheck command line: /home/regehr/souper-rsas/third_party/llvm/Debug/bin/FileCheck /home/regehr/souper-rsas/test/Pass/syn-inst-zext.ll | |
| -- | |
| ******************** | |
| FAIL: Souper :: Pass/syn-inst-trunc.ll (197 of 345) | |
| ******************** TEST 'Souper :: Pass/syn-inst-trunc.ll' FAILED ******************** | |
| Script: | |
| -- | |
| /home/regehr/souper-rsas/third_party/llvm/Debug/bin/llvm-as -o /home/regehr/souper-rsas/build/test/Pass/Output/syn-inst-trunc.ll.tmp /home/regehr/souper-rsas/test/Pass/syn-inst-trunc.ll | |
| /home/regehr/souper-rsas/third_party/llvm/Debug/bin/opt -load /home/regehr/souper-rsas/build/libsouperPass.so -souper -dce -z3-path=/usr/bin/z3 -souper-infer-inst -S -o - /home/regehr/souper-rsas/test/Pass/syn-inst-trunc.ll | /home/regehr/souper-rsas/third_party/llvm/Debug/bin/FileCheck /home/regehr/souper-rsas/test/Pass/syn-inst-trunc.ll | |
| -- | |
| Exit Code: 2 | |
| Command Output (stderr): | |
| -- | |
| #0 0x0000000002195749 llvm::sys::PrintStackTrace(llvm::raw_ostream&) /home/regehr/souper-rsas/third_party/llvm/Debug-build/../lib/Support/Unix/Signals.inc:398:11 | |
| #1 0x00000000021958f9 PrintStackTraceSignalHandler(void*) /home/regehr/souper-rsas/third_party/llvm/Debug-build/../lib/Support/Unix/Signals.inc:462:1 | |
| #2 0x0000000002193ea3 llvm::sys::RunSignalHandlers() /home/regehr/souper-rsas/third_party/llvm/Debug-build/../lib/Support/Signals.cpp:0:5 | |
| #3 0x0000000002195c54 SignalHandler(int) /home/regehr/souper-rsas/third_party/llvm/Debug-build/../lib/Support/Unix/Signals.inc:252:1 | |
| #4 0x00007f8b16d85390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390) | |
| #5 0x00007f8b1578ac5f (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:121:41 | |
| #6 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #7 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #8 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #9 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #10 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #11 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #12 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #13 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #14 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #15 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #16 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #17 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #18 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #19 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #20 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #21 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #22 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #23 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #24 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #25 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #26 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #27 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #28 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #29 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #30 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #31 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #32 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #33 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #34 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #35 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #36 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #37 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #38 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #39 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #40 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #41 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #42 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #43 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #44 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #45 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #46 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #47 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #48 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #49 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #50 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #51 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #52 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #53 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #54 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #55 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #56 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #57 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #58 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #59 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #60 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #61 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #62 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #63 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #64 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #65 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #66 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #67 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #68 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #69 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #70 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #71 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #72 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #73 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #74 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #75 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #76 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #77 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #78 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #79 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #80 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #81 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #82 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #83 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #84 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #85 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #86 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #87 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #88 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #89 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #90 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #91 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #92 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #93 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #94 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #95 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #96 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #97 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #98 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #99 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #100 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #101 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #102 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #103 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #104 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #105 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #106 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #107 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #108 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #109 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #110 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #111 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #112 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #113 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #114 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #115 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #116 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #117 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #118 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #119 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #120 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #121 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #122 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #123 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #124 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #125 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #126 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #127 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #128 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #129 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #130 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #131 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #132 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #133 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #134 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #135 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #136 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #137 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #138 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #139 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #140 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #141 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #142 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #143 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #144 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #145 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #146 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #147 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #148 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #149 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #150 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #151 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #152 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #153 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #154 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #155 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #156 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #157 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #158 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #159 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #160 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #161 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #162 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #163 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #164 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #165 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #166 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #167 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #168 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #169 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #170 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #171 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #172 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #173 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #174 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #175 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #176 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #177 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #178 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #179 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #180 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #181 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #182 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #183 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #184 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #185 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #186 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #187 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #188 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #189 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #190 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #191 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #192 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #193 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #194 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #195 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #196 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #197 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #198 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #199 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #200 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #201 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #202 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #203 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #204 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #205 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #206 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #207 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #208 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #209 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #210 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #211 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #212 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #213 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #214 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #215 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #216 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #217 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #218 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #219 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #220 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #221 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #222 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #223 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #224 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #225 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #226 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #227 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #228 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #229 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #230 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #231 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #232 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #233 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #234 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #235 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #236 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #237 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #238 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #239 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #240 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #241 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #242 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #243 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #244 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #245 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #246 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #247 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #248 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #249 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #250 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #251 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #252 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| #253 0x00007f8b1578d797 (anonymous namespace)::KLEEBuilder::buildAssoc(std::function<klee::ref<klee::Expr> (klee::ref<klee::Expr>, klee::ref<klee::Expr>)>, llvm::ArrayRef<souper::Inst*>) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:115:16 | |
| #254 0x00007f8b1578ba8d (anonymous namespace)::KLEEBuilder::build(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:233:14 | |
| #255 0x00007f8b1578abc7 (anonymous namespace)::KLEEBuilder::get(souper::Inst*) /home/regehr/souper-rsas/build/../lib/Extractor/KLEEBuilder.cpp:372:11 | |
| Stack dump: | |
| 0. Program arguments: /home/regehr/souper-rsas/third_party/llvm/Debug/bin/opt -load /home/regehr/souper-rsas/build/libsouperPass.so -souper -dce -z3-path=/usr/bin/z3 -souper-infer-inst -S -o - /home/regehr/souper-rsas/test/Pass/syn-inst-trunc.ll | |
| 1. Running pass 'Souper super-optimizer pass' on module '/home/regehr/souper-rsas/test/Pass/syn-inst-trunc.ll'. | |
| FileCheck error: '-' is empty. | |
| FileCheck command line: /home/regehr/souper-rsas/third_party/llvm/Debug/bin/FileCheck /home/regehr/souper-rsas/test/Pass/syn-inst-trunc.ll | |
| -- | |
| ******************** | |
| -- Testing: 345 tests, 20 threads -- | |
| 99% [==================================================================================================-] ETA: 00:00:00 | |
| Souper :: Solver/fermat.ll | |
| ^CKilled |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment