clang 20.0.0git
Public Attributes | List of all members
clang::dataflow::SimplifyConstraintsInfo Struct Reference

Information on the way a set of constraints was simplified. More...

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

Public Attributes

llvm::SmallVector< llvm::SmallVector< Atom > > EquivalentAtoms
 List of equivalence classes of atoms.
 
llvm::SmallVector< AtomTrueAtoms
 Atoms that the original constraints imply must be true.
 
llvm::SmallVector< AtomFalseAtoms
 Atoms that the original constraints imply must be false.
 

Detailed Description

Information on the way a set of constraints was simplified.

Definition at line 20 of file SimplifyConstraints.h.

Member Data Documentation

◆ EquivalentAtoms

llvm::SmallVector<llvm::SmallVector<Atom> > clang::dataflow::SimplifyConstraintsInfo::EquivalentAtoms

List of equivalence classes of atoms.

For each equivalence class, the original constraints imply that all atoms in it must be equivalent. Simplification replaces all occurrences of atoms in an equivalence class with a single representative atom from the class. Does not contain equivalence classes with just one member or atoms contained in TrueAtoms or FalseAtoms.

Definition at line 27 of file SimplifyConstraints.h.

Referenced by clang::dataflow::DataflowAnalysisContext::dumpFlowCondition(), and clang::dataflow::simplifyConstraints().

◆ FalseAtoms

llvm::SmallVector<Atom> clang::dataflow::SimplifyConstraintsInfo::FalseAtoms

Atoms that the original constraints imply must be false.

Simplification replaces all occurrences of these atoms by a false literal (which may enable additional simplifications).

Definition at line 35 of file SimplifyConstraints.h.

Referenced by clang::dataflow::DataflowAnalysisContext::dumpFlowCondition(), and clang::dataflow::simplifyConstraints().

◆ TrueAtoms

llvm::SmallVector<Atom> clang::dataflow::SimplifyConstraintsInfo::TrueAtoms

Atoms that the original constraints imply must be true.

Simplification replaces all occurrences of these atoms by a true literal (which may enable additional simplifications).

Definition at line 31 of file SimplifyConstraints.h.

Referenced by clang::dataflow::DataflowAnalysisContext::dumpFlowCondition(), and clang::dataflow::simplifyConstraints().


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