Return true if V is poison given that ValAssumedPoison is already poison.

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

bool
impliesPoison(
    Value const* ValAssumedPoison,
    Value const* V);

Description

For example, if ValAssumedPoison is icmp X, 10 and V is icmp X, 5, impliesPoison returns true.

Return Value

True if poison in ValAssumedPoison implies poison in V.

Parameters

Name

Description

ValAssumedPoison

Value already assumed to be poison.

V

Value that may consequently be poison.

Created with MrDocs