Return true if F's return values can be tracked interprocedurally.
Declared in <llvm/Analysis/ValueLatticeUtils.h>
bool
canTrackReturnsInterprocedurally(Function* F);Return values can be tracked if the function has an exact definition and it doesn't have the "naked" attribute. Naked functions may contain assembly code that returns untrackable values.
True if F's return values can be tracked interprocedurally.
| Name | Description |
|---|---|
| F | Function whose returns are considered for interprocedural tracking. |