diff options
| author | Qizhi Hu <836744285@qq.com> | 2023-10-26 21:11:51 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-26 21:11:51 +0800 |
| commit | 1b6b4d6a08321fb914127dadcd6677dcd9b1b222 (patch) | |
| tree | 0f9597c83093261101d69aa6cf6dbb6ac56b5b0a /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 6282b745e09d57a29e8221db638a7d393d66608d (diff) | |
[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>
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions