clang::dataflow::WidenResult Struct Reference

The result of a widen operation. More...

#include "clang/Analysis/FlowSensitive/DataflowEnvironment.h"

Public Attributes
Value *	V
	Non-null pointer to a potentially widened version of the input value.
LatticeEffect	Effect
	Whether V represents a "change" (that is, a different value) with respect to the previous value in the sequence.

Detailed Description

The result of a widen operation.

Definition at line 48 of file DataflowEnvironment.h.

Member Data Documentation

Effect

LatticeEffect clang::dataflow::WidenResult::Effect

Whether V represents a "change" (that is, a different value) with respect to the previous value in the sequence.

Definition at line 53 of file DataflowEnvironment.h.

V

Value* clang::dataflow::WidenResult::V

Non-null pointer to a potentially widened version of the input value.

Definition at line 50 of file DataflowEnvironment.h.

---

The documentation for this struct was generated from the following file:

• include/clang/Analysis/FlowSensitive/DataflowEnvironment.h