mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

remove incorrect null pointer check from theory_str::gen_len_val_options_for_free_var

Browse source 
everything that calls this method knows that it can legally return null
This commit is contained in:
Murphy Berzish 2016-08-21 00:43:00 -04:00
parent 7b3203b48e
commit 2a199294a1
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/theory_str.cpp
View file

@ -8234,7 +8234,6 @@ expr * theory_str::gen_len_val_options_for_free_var(expr * freeVar, expr * lenTe
TRACE("t_str", tout << "length is fixed; generating models for free var" << std::endl;); TRACE("t_str", tout << "length is fixed; generating models for free var" << std::endl;);
// length is fixed // length is fixed
expr * valueAssert = gen_free_var_options(freeVar, effectiveLenInd, effectiveLenIndiStr, NULL, ""); expr * valueAssert = gen_free_var_options(freeVar, effectiveLenInd, effectiveLenIndiStr, NULL, "");
SASSERT(valueAssert != NULL);
return valueAssert; return valueAssert;
} }
} // fVarLenCountMap.find(...) } // fVarLenCountMap.find(...)