Merge pull request #1810 from markshannon/python-speedup-slow-predicate

Python: Prevent bad magic in one predicate.
This commit is contained in:
Taus 2019-08-24 11:35:09 +02:00 коммит произвёл GitHub
Родитель af469fdeb8 20fc64c673
Коммит c6c307ffef
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 0 удалений

Просмотреть файл

@ -78,6 +78,7 @@ abstract class ConstantObjectInternal extends ObjectInternal {
}
pragma[nomagic]
private boolean callToBool(CallNode call, PointsToContext context) {
PointsToInternal::pointsTo(call.getFunction(), context, ClassValue::bool(), _) and
exists(ObjectInternal arg |