[clang] adcd4b1 - [analyzer] [NFC] Fix comments into more regular form.

2022-08-11 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2022-08-11T21:28:23+03:00 New Revision: adcd4b1c0bd43c89e579bf07daff7ffb02848012 URL: https://github.com/llvm/llvm-project/commit/adcd4b1c0bd43c89e579bf07daff7ffb02848012 DIFF: https://github.com/llvm/llvm-project/commit/adcd4b1c0bd43c89e579bf07daff7ffb02848012.diff

[clang] 7e2b995 - [analyzer] [NFC] Add more test cases for equality tracking

2022-08-10 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2022-08-10T19:52:55+03:00 New Revision: 7e2b995e0cced8a292c3de9e4ec6a503223de38a URL: https://github.com/llvm/llvm-project/commit/7e2b995e0cced8a292c3de9e4ec6a503223de38a DIFF: https://github.com/llvm/llvm-project/commit/7e2b995e0cced8a292c3de9e4ec6a503223de38a.diff

[clang] a364987 - [analyzer][NFC] Use `SValVisitor` instead of explicit helper functions

2022-07-19 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2022-07-19T23:10:00+03:00 New Revision: a364987368a1c586088c62eb7cffcdef0f4ee852 URL: https://github.com/llvm/llvm-project/commit/a364987368a1c586088c62eb7cffcdef0f4ee852 DIFF: https://github.com/llvm/llvm-project/commit/a364987368a1c586088c62eb7cffcdef0f4ee852.diff

[clang] bc08c3c - [analyzer] Add new function `clang_analyzer_value` to ExprInspectionChecker

2022-07-15 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2022-07-15T20:07:04+03:00 New Revision: bc08c3cb7f8e797fee14e96eedd3dc358608ada3 URL: https://github.com/llvm/llvm-project/commit/bc08c3cb7f8e797fee14e96eedd3dc358608ada3 DIFF: https://github.com/llvm/llvm-project/commit/bc08c3cb7f8e797fee14e96eedd3dc358608ada3.diff

[clang] 82f76c0 - [analyzer][NFC] Tidy up handler-functions in SymbolicRangeInferrer

2022-07-15 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2022-07-15T19:24:57+03:00 New Revision: 82f76c04774fbeb2313b84932afac478f010c8d0 URL: https://github.com/llvm/llvm-project/commit/82f76c04774fbeb2313b84932afac478f010c8d0 DIFF: https://github.com/llvm/llvm-project/commit/82f76c04774fbeb2313b84932afac478f010c8d0.diff

[clang] e37726b - [analyzer] Implemented RangeSet::Factory::castTo function to perform promotions, truncations and conversions.

2022-04-19 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2022-04-19T22:34:03+03:00 New Revision: e37726beb22a8e3865e1f6fcdbb5cd4262786903 URL: https://github.com/llvm/llvm-project/commit/e37726beb22a8e3865e1f6fcdbb5cd4262786903 DIFF: https://github.com/llvm/llvm-project/commit/e37726beb22a8e3865e1f6fcdbb5cd4262786903.diff

[clang] da8bd97 - [analyzer][NFC] Change return value of StoreManager::attemptDownCast function from SVal to Optional

2021-12-17 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-12-17T13:03:47+02:00 New Revision: da8bd972a33ad642d6237b5b95b31a2a20f46a35 URL: https://github.com/llvm/llvm-project/commit/da8bd972a33ad642d6237b5b95b31a2a20f46a35 DIFF: https://github.com/llvm/llvm-project/commit/da8bd972a33ad642d6237b5b95b31a2a20f46a35.diff

[clang] 6a399bf - [analyzer] Implemented RangeSet::Factory::unite function to handle intersections and adjacency

2021-12-10 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-12-10T18:48:02+02:00 New Revision: 6a399bf4b3aa32a87fb04dd1deb05f0066810a05 URL: https://github.com/llvm/llvm-project/commit/6a399bf4b3aa32a87fb04dd1deb05f0066810a05 DIFF: https://github.com/llvm/llvm-project/commit/6a399bf4b3aa32a87fb04dd1deb05f0066810a05.diff

[clang] f0bc7d2 - [analyzer] Fix region cast between the same types with different qualifiers.

2021-11-15 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-11-15T19:23:00+02:00 New Revision: f0bc7d24882ab84f6398a1ea614dd0bf6e2a1085 URL: https://github.com/llvm/llvm-project/commit/f0bc7d24882ab84f6398a1ea614dd0bf6e2a1085 DIFF: https://github.com/llvm/llvm-project/commit/f0bc7d24882ab84f6398a1ea614dd0bf6e2a1085.diff

[clang] a12bfac - [analyzer] Retrieve a value from list initialization of multi-dimensional array declaration.

2021-11-08 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-11-08T16:17:55+02:00 New Revision: a12bfac292db2195d3461dce51467d350de865dc URL: https://github.com/llvm/llvm-project/commit/a12bfac292db2195d3461dce51467d350de865dc DIFF: https://github.com/llvm/llvm-project/commit/a12bfac292db2195d3461dce51467d350de865dc.diff

[clang] 1deccd0 - [analyzer] Retrieve a character from StringLiteral as an initializer for constant arrays.

2021-10-29 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-10-29T19:44:37+03:00 New Revision: 1deccd05ba8a326e57a513002f482ed0924b1fd8 URL: https://github.com/llvm/llvm-project/commit/1deccd05ba8a326e57a513002f482ed0924b1fd8 DIFF: https://github.com/llvm/llvm-project/commit/1deccd05ba8a326e57a513002f482ed0924b1fd8.diff

[clang] 3b1165b - [analyzer] Retrieve incomplete array extent from its redeclaration.

2021-10-25 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-10-25T15:14:10+03:00 New Revision: 3b1165ba3d15de83699be3ff4be3b6adf4d6e977 URL: https://github.com/llvm/llvm-project/commit/3b1165ba3d15de83699be3ff4be3b6adf4d6e977 DIFF: https://github.com/llvm/llvm-project/commit/3b1165ba3d15de83699be3ff4be3b6adf4d6e977.diff

[clang] 44e803e - [analyzer][NFCI] Move a block from `getBindingForElement` to separate functions

2021-10-25 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-10-25T15:14:10+03:00 New Revision: 44e803ef6d41770adf309960e37bcc6a75dbbe2c URL: https://github.com/llvm/llvm-project/commit/44e803ef6d41770adf309960e37bcc6a75dbbe2c DIFF: https://github.com/llvm/llvm-project/commit/44e803ef6d41770adf309960e37bcc6a75dbbe2c.diff

[clang] 98a95d4 - [analyzer] Retrieve a value from list initialization of constant array declaration in a global scope.

2021-09-24 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-09-24T12:37:58+03:00 New Revision: 98a95d4844caf8edfabd9352393a5546049b54e8 URL: https://github.com/llvm/llvm-project/commit/98a95d4844caf8edfabd9352393a5546049b54e8 DIFF: https://github.com/llvm/llvm-project/commit/98a95d4844caf8edfabd9352393a5546049b54e8.diff

[clang] 9dabacd - [analyzer] Adjust JS code of analyzer's HTML report for IE support.

2021-08-17 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-08-17T19:32:34+03:00 New Revision: 9dabacd09fdd52b5995546794290651c477d3885 URL: https://github.com/llvm/llvm-project/commit/9dabacd09fdd52b5995546794290651c477d3885 DIFF: https://github.com/llvm/llvm-project/commit/9dabacd09fdd52b5995546794290651c477d3885.diff

[clang] 497b57a - revert test commit

2021-08-10 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-08-10T19:19:27+03:00 New Revision: 497b57ad0b9ee34aeb8c56e9f47332912b50d58c URL: https://github.com/llvm/llvm-project/commit/497b57ad0b9ee34aeb8c56e9f47332912b50d58c DIFF: https://github.com/llvm/llvm-project/commit/497b57ad0b9ee34aeb8c56e9f47332912b50d58c.diff

[clang] e76c008 - [analyzer] Added a test case for PR46264

2021-06-24 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-06-24T12:24:26+03:00 New Revision: e76c008c906af3dc093dd5c3ceaea577359b5432 URL: https://github.com/llvm/llvm-project/commit/e76c008c906af3dc093dd5c3ceaea577359b5432 DIFF: https://github.com/llvm/llvm-project/commit/e76c008c906af3dc093dd5c3ceaea577359b5432.diff

[clang] d3a6181 - [analyzer] [NFC] Implement a wrapper SValBuilder::getCastedMemRegionVal for similar functionality on region cast

2021-06-08 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-06-08T10:43:43+03:00 New Revision: d3a6181e82ca8d1c49c1bc049c07233bd8c38550 URL: https://github.com/llvm/llvm-project/commit/d3a6181e82ca8d1c49c1bc049c07233bd8c38550 DIFF: https://github.com/llvm/llvm-project/commit/d3a6181e82ca8d1c49c1bc049c07233bd8c38550.diff

[clang] fae3534 - [analyzer] Use Optional as a return type of StoreManager::castRegion

2021-05-29 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-05-29T15:16:56+03:00 New Revision: fae3534b3056bb96d26a6d1b6e7d6a2ccaf4fab1 URL: https://github.com/llvm/llvm-project/commit/fae3534b3056bb96d26a6d1b6e7d6a2ccaf4fab1 DIFF: https://github.com/llvm/llvm-project/commit/fae3534b3056bb96d26a6d1b6e7d6a2ccaf4fab1.diff

[clang] b30521c - [analyzer] Wrong type cast occurs during pointer dereferencing after type punning

2021-04-28 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-04-29T01:03:38+03:00 New Revision: b30521c28a4dc1b94d793385e4144ede5822b2c1 URL: https://github.com/llvm/llvm-project/commit/b30521c28a4dc1b94d793385e4144ede5822b2c1 DIFF: https://github.com/llvm/llvm-project/commit/b30521c28a4dc1b94d793385e4144ede5822b2c1.diff

[clang] 01ddfa9 - [analyzer] [NFC] Eliminate dispatchCast, evalCastFromNonLoc and evalCastFromLoc functions from SValBuilder

2021-04-13 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-04-13T18:56:04+03:00 New Revision: 01ddfa95bd14b35c5706cc5d69fe64b4b60526e3 URL: https://github.com/llvm/llvm-project/commit/01ddfa95bd14b35c5706cc5d69fe64b4b60526e3 DIFF: https://github.com/llvm/llvm-project/commit/01ddfa95bd14b35c5706cc5d69fe64b4b60526e3.diff

[clang] 7736b08 - [analyzer] Replace StoreManager::CastRetrievedVal with SValBuilder::evalCast

2021-04-13 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-04-13T18:10:06+03:00 New Revision: 7736b08c287274361f2cdf13512015708af4d335 URL: https://github.com/llvm/llvm-project/commit/7736b08c287274361f2cdf13512015708af4d335 DIFF: https://github.com/llvm/llvm-project/commit/7736b08c287274361f2cdf13512015708af4d335.diff

[clang] 13f4448 - [analyzer] Rework SValBuilder::evalCast function into maintainable and clear way

2021-02-16 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2021-02-16T14:30:51+02:00 New Revision: 13f4448ae7db1a477ec2d48776e46415a3401314 URL: https://github.com/llvm/llvm-project/commit/13f4448ae7db1a477ec2d48776e46415a3401314 DIFF: https://github.com/llvm/llvm-project/commit/13f4448ae7db1a477ec2d48776e46415a3401314.diff

[clang] 32efb81 - [analyzer] [NFC] Simplify SVal::getAsLocSymbol function using existing functions

2020-10-26 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-10-26T17:00:29+02:00 New Revision: 32efb81ea60a9e99571923bf9308598f6cd341f2 URL: https://github.com/llvm/llvm-project/commit/32efb81ea60a9e99571923bf9308598f6cd341f2 DIFF: https://github.com/llvm/llvm-project/commit/32efb81ea60a9e99571923bf9308598f6cd341f2.diff

[clang] e674051 - [analyzer] [NFC] Introduce refactoring of PthreadLockChecker

2020-09-08 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-09-08T16:04:19+03:00 New Revision: e67405141836fcd88183863758eeb42f32e847a6 URL: https://github.com/llvm/llvm-project/commit/e67405141836fcd88183863758eeb42f32e847a6 DIFF: https://github.com/llvm/llvm-project/commit/e67405141836fcd88183863758eeb42f32e847a6.diff

[clang] 21fa82d - [analyzer] Introduce minor refactoring of SVal::getSubKind function

2020-08-03 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-08-03T15:05:08+03:00 New Revision: 21fa82d5c63c30c745d5181889329084ac6d2767 URL: https://github.com/llvm/llvm-project/commit/21fa82d5c63c30c745d5181889329084ac6d2767 DIFF: https://github.com/llvm/llvm-project/commit/21fa82d5c63c30c745d5181889329084ac6d2767.diff

[clang] 86e1b73 - [analyzer] Simplify function SVal::getAsSymbolicExpression and similar ones

2020-08-03 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-08-03T15:03:35+03:00 New Revision: 86e1b73507f3738f10eefb580d7c5e9adf17c6c0 URL: https://github.com/llvm/llvm-project/commit/86e1b73507f3738f10eefb580d7c5e9adf17c6c0 DIFF: https://github.com/llvm/llvm-project/commit/86e1b73507f3738f10eefb580d7c5e9adf17c6c0.diff

[clang] be9c581 - [analyzer] Remove forbidden characters from a filename for a graph dump on Windows

2020-06-22 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-06-22T17:27:20+03:00 New Revision: be9c5818351bf99a193edbc82e4dc25ab5206a44 URL: https://github.com/llvm/llvm-project/commit/be9c5818351bf99a193edbc82e4dc25ab5206a44 DIFF: https://github.com/llvm/llvm-project/commit/be9c5818351bf99a193edbc82e4dc25ab5206a44.diff

[clang] 632088c - [analyzer] Handle `\l` symbol in string literals in exploded-graph-rewriter

2020-06-22 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-06-22T14:19:13+03:00 New Revision: 632088c7e84a7ff625c8c67cdc392849b1358f5d URL: https://github.com/llvm/llvm-project/commit/632088c7e84a7ff625c8c67cdc392849b1358f5d DIFF: https://github.com/llvm/llvm-project/commit/632088c7e84a7ff625c8c67cdc392849b1358f5d.diff

[clang] 01f9388 - [analyzer] Handle `\l` symbol in string literals in exploded-graph-rewriter

2020-06-22 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-06-22T13:44:27+03:00 New Revision: 01f9388d95aca2cc86ed6b2794e199ef55d16e91 URL: https://github.com/llvm/llvm-project/commit/01f9388d95aca2cc86ed6b2794e199ef55d16e91 DIFF: https://github.com/llvm/llvm-project/commit/01f9388d95aca2cc86ed6b2794e199ef55d16e91.diff

[clang] e1741e3 - [analyzer] Reasoning about comparison expressions in RangeConstraintManager

2020-06-15 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-06-15T18:35:15+03:00 New Revision: e1741e34e00b27cbf9acc9b2eb85b71d2676e968 URL: https://github.com/llvm/llvm-project/commit/e1741e34e00b27cbf9acc9b2eb85b71d2676e968 DIFF: https://github.com/llvm/llvm-project/commit/e1741e34e00b27cbf9acc9b2eb85b71d2676e968.diff

[clang] 6bbaa62 - [analyzer] Add support for IE of keyboard and mouse navigation in HTML report

2020-05-26 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-05-27T09:04:30+03:00 New Revision: 6bbaa62d26b6061c93eb62c82048c14014ab7bd7 URL: https://github.com/llvm/llvm-project/commit/6bbaa62d26b6061c93eb62c82048c14014ab7bd7 DIFF: https://github.com/llvm/llvm-project/commit/6bbaa62d26b6061c93eb62c82048c14014ab7bd7.diff

[clang] ba92b27 - [analyzer] Improved RangeSet::Negate support of unsigned ranges

2020-05-25 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-05-25T18:52:22+03:00 New Revision: ba92b274225fc78dc15e8dc0076f71e7a8b5d084 URL: https://github.com/llvm/llvm-project/commit/ba92b274225fc78dc15e8dc0076f71e7a8b5d084 DIFF: https://github.com/llvm/llvm-project/commit/ba92b274225fc78dc15e8dc0076f71e7a8b5d084.diff

[clang] ba8cda9 - [analyzer] Stability improvement for IteratorModeling

2020-05-06 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-05-06T14:16:39+03:00 New Revision: ba8cda989cf884d53596099dc38a0e5a2c351074 URL: https://github.com/llvm/llvm-project/commit/ba8cda989cf884d53596099dc38a0e5a2c351074 DIFF: https://github.com/llvm/llvm-project/commit/ba8cda989cf884d53596099dc38a0e5a2c351074.diff

[clang] f01ac8c - A test commit as a new contributor to verify commit access is OK.

2020-05-04 Thread Denys Petrov via cfe-commits
Author: Denys Petrov Date: 2020-05-04T21:36:18+03:00 New Revision: f01ac8c6574344e9bc30fdf9aa357a51bb607961 URL: https://github.com/llvm/llvm-project/commit/f01ac8c6574344e9bc30fdf9aa357a51bb607961 DIFF: https://github.com/llvm/llvm-project/commit/f01ac8c6574344e9bc30fdf9aa357a51bb607961.diff