import rust

import codeql.rust.controlflow.BasicBlocks

import codeql.rust.controlflow.ControlFlowGraph

import codeql.rust.dataflow.Ssa

import codeql.rust.dataflow.internal.SsaImpl

import Impl::TestAdjacentRefs as RefTest

import TestUtils

query predicate definition(Ssa::Definition def, Variable v) {

toBeTested(v.getEnclosingCfgScope()) and def.getSourceVariable() = v

}

query predicate read(Ssa::Definition def, Variable v, Expr read) {

toBeTested(v.getEnclosingCfgScope()) and def.getSourceVariable() = v and read = def.getARead()

}

query predicate firstRead(Ssa::Definition def, Variable v, Expr read) {

toBeTested(v.getEnclosingCfgScope()) and

def.getSourceVariable() = v and

read = def.getAFirstRead()

}

query predicate adjacentReads(Ssa::Definition def, Variable v, Expr read1, Expr read2) {

toBeTested(v.getEnclosingCfgScope()) and

def.getSourceVariable() = v and

def.hasAdjacentReads(read1, read2)

}

query predicate phi(Ssa::PhiDefinition phi, Variable v, Ssa::Definition input) {

toBeTested(v.getEnclosingCfgScope()) and phi.getSourceVariable() = v and input = phi.getAnInput()

}

query predicate phiReadNode(RefTest::Ref phi, Variable v) {

toBeTested(v.getEnclosingCfgScope()) and phi.isPhiRead() and phi.getSourceVariable() = v

}

query predicate phiReadNodeFirstRead(RefTest::Ref phi, Variable v, CfgNode read) {

toBeTested(v.getEnclosingCfgScope()) and

exists(RefTest::Ref r, BasicBlock bb, int i |

phi.isPhiRead() and

RefTest::adjacentRefRead(phi, r) and

r.accessAt(bb, i, v) and

read = bb.getNode(i)

)

}

query predicate phiReadInput(RefTest::Ref phi, RefTest::Ref inp) {

phi.isPhiRead() and

RefTest::adjacentRefPhi(inp, phi)

}

query predicate ultimateDef(Ssa::Definition def, Definition ult) {

ult = def.getAnUltimateDefinition() and

ult != def

}

query predicate assigns(Ssa::WriteDefinition def, Expr value) { def.assigns(value) }