baloghadamsoftware marked an inline comment as done.
baloghadamsoftware added inline comments.
Comment at: clang/lib/StaticAnalyzer/Checkers/IteratorModeling.cpp:256
+ SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext());
+ SVal Result = State->getSVal(UO,
baloghadamsoftware marked an inline comment as done.
baloghadamsoftware added inline comments.
Comment at: clang/lib/StaticAnalyzer/Checkers/IteratorModeling.cpp:256
+ SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext());
+ SVal Result = State->getSVal(UO,
baloghadamsoftware marked an inline comment as done.
baloghadamsoftware added inline comments.
Comment at: clang/lib/StaticAnalyzer/Checkers/IteratorModeling.cpp:256
+ SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext());
+ SVal Result = State->getSVal(UO,
baloghadamsoftware created this revision.
baloghadamsoftware added reviewers: NoQ, Szelethus, martong, gamesh411.
baloghadamsoftware added a project: clang.
Herald added subscribers: ASDenysPetrov, steakhal, Charusso, dkrupp,
donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, xazax.hun,
