JS: Make use() and rhs() uncached and private

This commit is contained in:
Asger F
2025-10-09 13:46:53 +02:00
parent 8f413856e0
commit fd65eeba0a

View File

@@ -815,8 +815,7 @@ module API {
* Holds if `rhs` is the right-hand side of a definition of a node that should have an
* incoming edge from `base` labeled `lbl` in the API graph.
*/
cached
predicate rhs(TApiNode base, Label::ApiLabel lbl, DataFlow::Node rhs) {
private predicate rhs(TApiNode base, Label::ApiLabel lbl, DataFlow::Node rhs) {
hasSemantics(rhs) and
(
base = MkRoot() and