From 9a503050c35f4de4a7b28560028b99416982854f Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Thu, 27 Dec 2018 19:28:09 +0100
Subject: [PATCH] &'static CStr
---
src/lib.rs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/lib.rs b/src/lib.rs
index 09704f8..3edc3df 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -38,7 +38,7 @@ pub fn kassume(cond: bool) {
pub fn kassume(_cond: bool) {}
#[cfg(feature = "klee-analysis")]
-pub fn kmksymbol<T>(t: &mut T, name: &CStr) {
+pub fn kmksymbol<T>(t: &mut T, name: &'static CStr) {
unsafe {
ll::klee_make_symbolic(
t as *mut T as *mut c_void,
@@ -49,7 +49,7 @@ pub fn kmksymbol<T>(t: &mut T, name: &CStr) {
}
#[cfg(not(feature = "klee-analysis"))]
-pub fn kmksymbol<T>(_t: &mut T, _name: &CStr) {}
+pub fn kmksymbol<T>(_t: &mut T, _name: &'static CStr) {}
#[macro_export]
macro_rules! ksymbol {
--
GitLab