[PATCH] D12571: [Analyzer] Fix assertions in commit r246345 (pr22954).
pierre gousseau via cfe-commits
cfe-commits at lists.llvm.org
Wed Sep 23 08:24:44 PDT 2015
pgousseau updated this revision to Diff 35505.
pgousseau added a comment.
Following Devin's review:
Fix a comment in 'IsFirstBufInBound'.
Remove incorrect assertion expecting 'RegionOffset::getOffset' to only return positives values.
Add test cases for regions having negatives offsets.
Updated a 'RegionOffset' class comment which seemed to suggest that 'RegionOffset::getOffset' could not return negative values.
Added test cases and handling for arrays' regions whose upper boundary can overflow.
Let me know if this is an acceptable change ?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 46919 bytes
Desc: not available
More information about the cfe-commits