<regex>: Silence CodeQL false positive warning (#5072)

StephanTLavavej · web-flow · commit e87ae3761809 · 2024-11-14T12:27:52.000-08:00
diff --git a/stl/inc/regex b/stl/inc/regex
@@ -3567,6 +3567,7 @@ bool _Matcher<_BidIt, _Elem, _RxTraits, _It>::_Match_pat(_Node_base* _Nx) { // c
             { // record current position
                 _Node_capture* _Node                 = static_cast<_Node_capture*>(_Nx);
                 _Tgt_state._Grps[_Node->_Idx]._Begin = _Tgt_state._Cur;
+                // CodeQL [SM02323] Comparing unchanging unsigned int _Node->_Idx to decreasing size_t _Idx is safe.
                 for (size_t _Idx = _Tgt_state._Grp_valid.size(); _Node->_Idx < _Idx;) {
                     _Tgt_state._Grp_valid[--_Idx] = false;
                 }

Original file line number	Diff line number	Diff line change
`@@ -3567,6 +3567,7 @@ bool _Matcher<_BidIt, _Elem, _RxTraits, _It>::_Match_pat(_Node_base* _Nx) { // c`
`3567`	`3567`	`{ // record current position`
`3568`	`3568`	`_Node_capture* _Node = static_cast<_Node_capture*>(_Nx);`
`3569`	`3569`	`_Tgt_state._Grps[_Node->_Idx]._Begin = _Tgt_state._Cur;`
	`3570`	`+ // CodeQL [SM02323] Comparing unchanging unsigned int _Node->_Idx to decreasing size_t _Idx is safe.`
`3570`	`3571`	`for (size_t _Idx = _Tgt_state._Grp_valid.size(); _Node->_Idx < _Idx;) {`
`3571`	`3572`	`_Tgt_state._Grp_valid[--_Idx] = false;`
`3572`	`3573`	`}`