clang 19.0.0git
Public Attributes | List of all members
clang::dataflow::WidenResult Struct Reference

The result of a widen operation. More...

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

Public Attributes

ValueV
 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 51 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 56 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 53 of file DataflowEnvironment.h.


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