¶bool canTrackReturnsInterprocedurally(
    llvm::Function* F)

Description

Determine if the values of the given function's returns can be tracked interprocedurally. 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.

Declared at: llvm/include/llvm/Analysis/ValueLatticeUtils.h:31

Parameters

llvm::Function* F