Welcome to my another idea to improve RangeConstraintManager? https://reviews.llvm.org/D78933
________________________________ Denys Petrov Senior С++ Developer | Kharkiv, Ukraine ________________________________ От: Balazs Benics via Phabricator <[email protected]> Отправлено: 10 апреля 2020 г. 15:53 Кому: [email protected]; [email protected]; [email protected]; [email protected]; [email protected] Копия: [email protected]; [email protected]; [email protected]; [email protected]; [email protected]; [email protected]; [email protected]; [email protected]; [email protected]; Denis Petrov; [email protected]; [email protected]; [email protected]; [email protected]; [email protected] Тема: [PATCH] D77792: [analyzer] Extend constraint manager to be able to compare simple SymSymExprs CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. If you suspect potential phishing or spam email, report it to [email protected] steakhal updated this revision to Diff 256551. steakhal added a comment. - rewritten the `RangeSet::compare` function and checked the assumptions on WolframAlpha - moved the `RangeSet::compare` function to a cpp file - added comments to the `RangeSet::compare` function - fixed the comment in `RangeConstraintManager::canReasonAbout` function - introduced the `RangeSet::CompareResult::identical` enum value to be complete - updated the `RangeConstraintManager::tryAssumeSymSymOp` accoding the `identical` CompareResult. - omited testing the `[2,5] < [5,10]` testcase, since that is covered by `[0,5] < [5,10]` CHANGES SINCE LAST ACTION https://reviews.llvm.org/D77792/new/ https://reviews.llvm.org/D77792 Files: clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp clang/test/Analysis/constraint-manager-sym-sym.c
_______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
