TaintLattice::copy

Assignment‐like operator. Makes this object point to the same lattice vertex as the other object. The other object must also be a TaintLattice object.

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/taintAnalysis.h>

virtual
void
copy(Lattice* other_) override;

Created with MrDocs