struct ScalarEvolution::LoopProperties

Declaration

struct ScalarEvolution::LoopProperties { /* full declaration omitted */ };

Declared at: llvm/include/llvm/Analysis/ScalarEvolution.h:1381

Member Variables

public bool HasNoAbnormalExits

Set to true if the loop contains no instruction that can have side effects (i.e. via throwing an exception, volatile or atomic access).

public bool HasNoSideEffects

Set to true if the loop contains no instruction that can abnormally exit the loop (i.e. via throwing an exception, by terminating the thread cleanly or by infinite looping in a called function). Strictly speaking, the last one is not leaving the loop, but is identical to leaving the loop for reasoning about undefined behavior.