// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils

query predicate instances(AsmConst x, string isConst__label, string isConst) {
  toBeTested(x) and
  not x.isUnknown() and
  isConst__label = "isConst:" and
  if x.isConst() then isConst = "yes" else isConst = "no"
}

query predicate getExpr(AsmConst x, Expr getExpr) {
  toBeTested(x) and not x.isUnknown() and getExpr = x.getExpr()
}