Ruby: Move path summary visibility code into flowCheckNodeSpecific

This commit is contained in:
Owen Mansel-Chan 2023-06-14 14:41:58 +01:00
Родитель ee185ae204
Коммит e34bcef2bd
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 67E427E02E6DA1B8
1 изменённых файлов: 5 добавлений и 5 удалений

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

@ -1290,16 +1290,16 @@ private import PostUpdateNodes
/** A node that performs a type cast. */
class CastNode extends Node {
CastNode() {
// ensure that all variable assignments are included in the path graph
this.(SsaDefinitionExtNode).getDefinitionExt() instanceof Ssa::WriteDefinition
}
CastNode() { none() }
}
/**
* Holds if `n` should be a FlowCheckNode, which will appear in path summaries.
*/
predicate flowCheckNodeSpecific(Node n) { none() }
predicate flowCheckNodeSpecific(Node n) {
// ensure that all variable assignments are included in the path graph
n.(SsaDefinitionExtNode).getDefinitionExt() instanceof Ssa::WriteDefinition
}
class DataFlowExpr = CfgNodes::ExprCfgNode;