don't compute GVN for string constants of length more than 50, as this results in a infinite loop 😕

This commit is contained in:
erik-krogh
2022-09-22 14:41:21 +02:00
parent 1fbfcc1e91
commit afdd7b0994

View File

@@ -129,6 +129,7 @@ private predicate classPredicateCallValueNumber(
private predicate literalValueNumber(Literal lit, string value, Type t) {
lit.(String).getValue() = value and
value.length() <= 50 and
t instanceof StringClass
or
lit.(Integer).getValue().toString() = value and