Qizhi Hu 1b6b4d6a08 [analyzer] Loop should contain CXXForRangeStmt (#70190) ...

Static analyze can't report diagnose when statement after a
CXXForRangeStmt and enable widen, because
`ExprEngine::processCFGBlockEntrance` lacks of CXXForRangeStmt and when
`AMgr.options.maxBlockVisitOnPath - 1` equals to `blockCount`, it can't
widen. After next iteration, `BlockCount >=
AMgr.options.maxBlockVisitOnPath` holds and generate a sink node. Add
`CXXForRangeStmt` makes it work.

Co-authored-by: huqizhi <836744285@qq.com>

2023-10-26 21:11:51 +08:00

3.3 KiB

Raw Permalink Blame History

View Raw