clang 20.0.0git
Namespaces | Functions
LoopWidening.h File Reference

This header contains the declarations of functions which are used to widen loops which do not otherwise exit. More...

#include "clang/Analysis/CFG.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::ento
 

Functions

ProgramStateRef clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt)
 Get the states that result from widening the loop.
 

Detailed Description

This header contains the declarations of functions which are used to widen loops which do not otherwise exit.

The widening is done by invalidating anything which might be modified by the body of the loop.

Definition in file LoopWidening.h.