Member predicate CallGraph::CallSite::isImprecise

Holds if our approximation of possible callees for this call site is likely to be imprecise.

We currently track one specific source of imprecision: call resolution relies on flow through global variables, and the flow analysis finds possible callees that are not functions. This usually means that a global variable is used in multiple independent contexts, so tracking flow through it leads to imprecision.

predicate isImprecise()