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

Public Attributes
unsigned	CheckUnderflow: 1
unsigned	OffsetObviouslyNonnegative: 1
unsigned	AcceptPastTheEnd: 1

Detailed Description

Definition at line 122 of file ArrayBoundChecker.cpp.

Member Data Documentation

AcceptPastTheEnd

unsigned clang::ento::bounds::CheckFlags::AcceptPastTheEnd

Definition at line 125 of file ArrayBoundChecker.cpp.

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

CheckUnderflow

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

Definition at line 123 of file ArrayBoundChecker.cpp.

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

OffsetObviouslyNonnegative

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

Definition at line 124 of file ArrayBoundChecker.cpp.

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

---

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

• lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp