diff options
Diffstat (limited to 'lib/Checker/VLASizeChecker.cpp')
-rw-r--r-- | lib/Checker/VLASizeChecker.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Checker/VLASizeChecker.cpp b/lib/Checker/VLASizeChecker.cpp index b25843c45b..936991d613 100644 --- a/lib/Checker/VLASizeChecker.cpp +++ b/lib/Checker/VLASizeChecker.cpp @@ -9,6 +9,8 @@ // // This defines VLASizeChecker, a builtin check in GRExprEngine that // performs checks for declaration of VLA of undefined or zero size. +// In addition, VLASizeChecker is responsible for defining the extent +// of the MemRegion that represents a VLA. // //===----------------------------------------------------------------------===// @@ -100,6 +102,10 @@ void VLASizeChecker::PreVisitDeclStmt(CheckerContext &C, const DeclStmt *DS) { // From this point on, assume that the size is not zero. state = stateNotZero; + // VLASizeChecker is responsible for defining the extent of the array being + // declared. We do this by multiplying the array length by the element size, + // then matching that with the array region's extent symbol. + // Convert the array length to size_t. ValueManager &ValMgr = C.getValueManager(); SValuator &SV = ValMgr.getSValuator(); |