mirror of
https://github.com/github/codeql.git
synced 2026-07-31 15:33:00 +02:00
e16470a2ae
For an ordinary path-problem query, it is a requirement that at least one sink exists, otherwise there is nothing to alert on. Thus the optimization with checking `isSink(_, this, _)` pruning in `Configuration::hasFlow` is sound. For programs without any relevant sinks (which is likely to be the case when ATM is used), the `Configuration::hasFlow` calls will not hold due to the above pruning step. The optimizations removed in this commit are thus unsound for programs without any relevant sinks.