¶bool isUnrolledState(
    clang::ento::ProgramStateRef State)

Description

Returns if the given State indicates that is inside a completely unrolled loop.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h:34

Parameters

clang::ento::ProgramStateRef State