mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-11 03:33:35 +00:00
Code Activity

fix deref of free'd memory in mk_fresh_const

Browse source
This commit is contained in:
Nuno Lopes 2020-06-18 19:25:32 +01:00
parent 3b1149330d
commit fdeba2102c
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/ast/ast.h
View file

@ -1971,7 +1971,8 @@ public:
}
app * mk_fresh_const(symbol const& prefix, sort * s, bool skolem = true) {
return mk_fresh_const(prefix.str().c_str(), s, skolem);
auto str = prefix.str();
return mk_fresh_const(str.c_str(), s, skolem);
}
symbol mk_fresh_var_name(char const * prefix = nullptr);