mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix unterminated char*

Browse source
This commit is contained in:
Murphy Berzish 2017-03-17 13:48:30 -04:00
parent 8021d63539
commit 43f9a0a2bd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_str.cpp
View file

@ -1642,7 +1642,7 @@ static zstring str2RegexStr(zstring str) {
|| nc == '*' || nc == '+' || nc == '(' || nc == ')' || nc == '[' || nc == '{') { || nc == '*' || nc == '+' || nc == '(' || nc == ')' || nc == '[' || nc == '{') {
res = res + zstring("\\"); res = res + zstring("\\");
} }
char tmp[1] = {(char)str[i]}; char tmp[2] = {(char)str[i], '\0'};
res = res + zstring(tmp); res = res + zstring(tmp);
} }
return res; return res;