clang::ento::bounds::CheckFlags Struct Reference

#include "clang/StaticAnalyzer/Checkers/BoundsChecking.h"

Public Attributes
unsigned	CheckUnderflow: 1
unsigned	OffsetObviouslyNonnegative: 1

Detailed Description

Definition at line 29 of file BoundsChecking.h.

Member Data Documentation

CheckUnderflow

unsigned clang::ento::bounds::CheckFlags::CheckUnderflow

Definition at line 30 of file BoundsChecking.h.

Referenced by clang::ento::bounds::checkBounds().

OffsetObviouslyNonnegative

unsigned clang::ento::bounds::CheckFlags::OffsetObviouslyNonnegative

Definition at line 31 of file BoundsChecking.h.

Referenced by clang::ento::bounds::checkBounds().

---

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

• include/clang/StaticAnalyzer/Checkers/BoundsChecking.h