C++ IR: Remove unused predicate

This commit is contained in:
Jonas Jensen 2019-07-12 10:47:43 +02:00
Родитель aab6c072c7
Коммит b4b940ae50
1 изменённых файлов: 0 добавлений и 9 удалений

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

@ -1,14 +1,5 @@
private import cpp
private predicate fieldIsInitialized(Field field) {
exists(ClassAggregateLiteral initList |
initList.isInitialized(field)
) or
exists(ConstructorFieldInit init |
field = init.getTarget()
)
}
newtype TInstructionTag =
OnlyInstructionTag() or // Single instruction (not including implicit Load)
InitializeThisTag() or