diff options
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 71b1f5f7..1bc91be0 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -525,6 +525,9 @@ public: Expr::Width getWidthForLLVMType(llvm::Type *type) const; size_t getAllocationAlignment(const llvm::Value *allocSite) const; + + /// Returns the errno location in memory of the state + int *getErrnoLocation(const ExecutionState &state) const; }; } // End klee namespace |