codeql/cpp/ql/test/library-tests/default_parameters/variables.ql

import cpp

string istr(Initializer i) {
  if exists(i.toString())
  then result = i.toString()
  else result = "<no str>"
}

string iloc(Initializer i) {
  if exists(i.getLocation().toString())
  then result = i.getLocation().toString()
  else result = "<no location>"
}

string init(Variable v) {
  if v.hasInitializer()
  then exists(Initializer i | i = v.getInitializer() and
                              result = iloc(i) + " " + istr(i))
  else result = "<no init>"
}

string estr(Expr e) {
  if exists(e.toString())
  then result = e.toString()
  else result = "<no str>"
}

string eloc(Expr e) {
  if exists(e.getLocation().toString())
  then result = e.getLocation().toString()
  else result = "<no location>"
}

string assigned(Variable v) {
  if exists(v.getAnAssignedValue())
  then exists(Expr e | e = v.getAnAssignedValue() and
                       result = eloc(e) + " " + estr(e))
  else result = "<no assigned>"
}

from Variable v
select v, count(init(v)), init(v), count(assigned(v)), assigned(v)