diff options
Diffstat (limited to 'include/klee/Expr/Expr.h')
-rw-r--r-- | include/klee/Expr/Expr.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/include/klee/Expr/Expr.h b/include/klee/Expr/Expr.h index 15075eb8..eb936c3d 100644 --- a/include/klee/Expr/Expr.h +++ b/include/klee/Expr/Expr.h @@ -1117,7 +1117,13 @@ public: } /// isAllOnes - Is this constant all ones. - bool isAllOnes() const { return getAPValue().isAllOnesValue(); } + bool isAllOnes() const { +#if LLVM_VERSION_CODE <= LLVM_VERSION(13, 0) + return getAPValue().isAllOnesValue(); +#else + return getAPValue().isAllOnes(); +#endif + } /* Constant Operations */ |