[clang-tools-extra] d6c9dc3 - [clang-tidy] Remove obsolete checker google-runtime-references

Author: Adam Balogh Date: 2020-10-06T14:03:55+02:00 New Revision: d6c9dc3c17e444e007758c01507bb5280532c9f8 URL: https://github.com/llvm/llvm-project/commit/d6c9dc3c17e444e007758c01507bb5280532c9f8 DIFF: https://github.com/llvm/llvm-project/commit/d6c9dc3c17e444e007758c01507bb5280532c9f8.diff L

[clang] facad21 - [Analyzer] Fix for `ExprEngine::computeObjectUnderConstruction()` for base and delegating consturctor initializers

Author: Adam Balogh Date: 2020-09-25T13:28:22+02:00 New Revision: facad21b29839a08fdf448eb4dd5a4e31e293b9b URL: https://github.com/llvm/llvm-project/commit/facad21b29839a08fdf448eb4dd5a4e31e293b9b DIFF: https://github.com/llvm/llvm-project/commit/facad21b29839a08fdf448eb4dd5a4e31e293b9b.diff L

[clang-tools-extra] 4fc0214 - [clang-tidy] New check cppcoreguidelines-prefer-member-initializer

Author: Adam Balogh Date: 2020-09-21T14:42:58+02:00 New Revision: 4fc0214a10140fa77449677e8094ea22d3d17701 URL: https://github.com/llvm/llvm-project/commit/4fc0214a10140fa77449677e8094ea22d3d17701 DIFF: https://github.com/llvm/llvm-project/commit/4fc0214a10140fa77449677e8094ea22d3d17701.diff L

[clang-tools-extra] dbd45b2 - [ASTMatchers] Fix `hasBody` for the descendants of `FunctionDecl`

Author: Adam Balogh Date: 2020-09-16T13:16:51+02:00 New Revision: dbd45b2db8e0c396fa20d4c72734c4f31f54af96 URL: https://github.com/llvm/llvm-project/commit/dbd45b2db8e0c396fa20d4c72734c4f31f54af96 DIFF: https://github.com/llvm/llvm-project/commit/dbd45b2db8e0c396fa20d4c72734c4f31f54af96.diff L

[clang-tools-extra] 779a2a2 - [clang-tidy] Crash fix for bugprone-misplaced-pointer-arithmetic-in-alloc

Author: Adam Balogh Date: 2020-09-16T13:16:44+02:00 New Revision: 779a2a2edcea89ad5f5bf99eeac90516542159d9 URL: https://github.com/llvm/llvm-project/commit/779a2a2edcea89ad5f5bf99eeac90516542159d9 DIFF: https://github.com/llvm/llvm-project/commit/779a2a2edcea89ad5f5bf99eeac90516542159d9.diff L

[clang-tools-extra] 22808d6 - [clang-tidy] Buildbot failure fix for commit rGf5fd7486d6c0

Author: Adam Balogh Date: 2020-08-31T16:32:10+02:00 New Revision: 22808d693ef7f8cf61ceff506a320249a0bdb5ef URL: https://github.com/llvm/llvm-project/commit/22808d693ef7f8cf61ceff506a320249a0bdb5ef DIFF: https://github.com/llvm/llvm-project/commit/22808d693ef7f8cf61ceff506a320249a0bdb5ef.diff L

[clang-tools-extra] 14dd073 - [Clang-Tidy] New check `bugprone-redundant-branch-condition`

Author: Adam Balogh Date: 2020-08-31T16:00:59+02:00 New Revision: 14dd0737822ba476803320a2ff37a1012174d312 URL: https://github.com/llvm/llvm-project/commit/14dd0737822ba476803320a2ff37a1012174d312 DIFF: https://github.com/llvm/llvm-project/commit/14dd0737822ba476803320a2ff37a1012174d312.diff L

[clang-tools-extra] f5fd748 - [clang-tidy] New check readability-prefer-member-initializer

Author: Adam Balogh Date: 2020-08-31T15:59:29+02:00 New Revision: f5fd7486d6c0debb465de3e927fcc31884874280 URL: https://github.com/llvm/llvm-project/commit/f5fd7486d6c0debb465de3e927fcc31884874280 DIFF: https://github.com/llvm/llvm-project/commit/f5fd7486d6c0debb465de3e927fcc31884874280.diff L

[clang] a59d4ae - [Analyzer] Hotfix for various crashes in iterator checkers

Author: Adam Balogh Date: 2020-07-16T20:49:33+02:00 New Revision: a59d4ae4313c0a961c50d14c0616b49220c5a469 URL: https://github.com/llvm/llvm-project/commit/a59d4ae4313c0a961c50d14c0616b49220c5a469 DIFF: https://github.com/llvm/llvm-project/commit/a59d4ae4313c0a961c50d14c0616b49220c5a469.diff L

[clang] c79745e - [Analyzer] Quick fix for broken tests on Windows

Author: Adam Balogh Date: 2020-07-01T12:52:47+02:00 New Revision: c79745ed48f3e22e9c5fdfa070bceecf7590896c URL: https://github.com/llvm/llvm-project/commit/c79745ed48f3e22e9c5fdfa070bceecf7590896c DIFF: https://github.com/llvm/llvm-project/commit/c79745ed48f3e22e9c5fdfa070bceecf7590896c.diff L

[clang] 9e63b19 - [Analyzer] Handle pointer implemented as iterators in iterator checkers

Author: Adam Balogh Date: 2020-07-01T09:04:28+02:00 New Revision: 9e63b190af76c798b06b1e3b75216abfdeb1bce3 URL: https://github.com/llvm/llvm-project/commit/9e63b190af76c798b06b1e3b75216abfdeb1bce3 DIFF: https://github.com/llvm/llvm-project/commit/9e63b190af76c798b06b1e3b75216abfdeb1bce3.diff L

[clang-tools-extra] 4da65c2 - [clang-tidy] New util `Aliasing` factored out from `bugprone-infinite-loop`

Author: Adam Balogh Date: 2020-07-01T09:04:27+02:00 New Revision: 4da65c2920b68a1cf47054a7d655cc2a19a4aa28 URL: https://github.com/llvm/llvm-project/commit/4da65c2920b68a1cf47054a7d655cc2a19a4aa28 DIFF: https://github.com/llvm/llvm-project/commit/4da65c2920b68a1cf47054a7d655cc2a19a4aa28.diff L

[clang] 40c50bd - [Sema][NFC] Remove Redundant Condition

Author: Adam Balogh Date: 2020-07-01T09:04:27+02:00 New Revision: 40c50bdee443dd48424ac7d724ced8874c40ee33 URL: https://github.com/llvm/llvm-project/commit/40c50bdee443dd48424ac7d724ced8874c40ee33 DIFF: https://github.com/llvm/llvm-project/commit/40c50bdee443dd48424ac7d724ced8874c40ee33.diff L

[clang] ea563da - [Analyzer] Fix errors in iterator modeling

Author: Adam Balogh Date: 2020-07-01T09:04:28+02:00 New Revision: ea563daae5232a03e08e43e68da813f76548f36a URL: https://github.com/llvm/llvm-project/commit/ea563daae5232a03e08e43e68da813f76548f36a DIFF: https://github.com/llvm/llvm-project/commit/ea563daae5232a03e08e43e68da813f76548f36a.diff L

[clang] b2a37cf - [Analyzer] Replace `assert` with `ASSERT_TRUE` in a unit test to silence warnings

Author: Adam Balogh Date: 2020-06-12T17:09:34+02:00 New Revision: b2a37cfe2bda0bc8c4d2e981922b5ac59c429bdc URL: https://github.com/llvm/llvm-project/commit/b2a37cfe2bda0bc8c4d2e981922b5ac59c429bdc DIFF: https://github.com/llvm/llvm-project/commit/b2a37cfe2bda0bc8c4d2e981922b5ac59c429bdc.diff L

[clang] 54f9ddd - [Analyzer] Remove warning caused by commit `rGe22ace8ba2b0`

Author: Adam Balogh Date: 2020-06-09T15:46:15+02:00 New Revision: 54f9ddd8064125c0343980433546709e7dbf4593 URL: https://github.com/llvm/llvm-project/commit/54f9ddd8064125c0343980433546709e7dbf4593 DIFF: https://github.com/llvm/llvm-project/commit/54f9ddd8064125c0343980433546709e7dbf4593.diff L

[clang] 53298b8 - [Analyzer] Remove warning caused by commit `rG98db1f990fc2`

Author: Adam Balogh Date: 2020-06-09T15:40:42+02:00 New Revision: 53298b8c8d74d0064c673db18addfe973b544dbb URL: https://github.com/llvm/llvm-project/commit/53298b8c8d74d0064c673db18addfe973b544dbb DIFF: https://github.com/llvm/llvm-project/commit/53298b8c8d74d0064c673db18addfe973b544dbb.diff L

[clang] e22ace8 - [Analyzer] Fix buildbot failure caused by commit `rG813734dad7e8b526c39806d1a88820b1f0706fb1`

Author: Adam Balogh Date: 2020-06-09T14:50:27+02:00 New Revision: e22ace8ba2b060e983d7cc2a76d00d6ef3816177 URL: https://github.com/llvm/llvm-project/commit/e22ace8ba2b060e983d7cc2a76d00d6ef3816177 DIFF: https://github.com/llvm/llvm-project/commit/e22ace8ba2b060e983d7cc2a76d00d6ef3816177.diff L

[clang] 813734d - [Analyzer] Add `getReturnValueUnderConstruction()` to `CallEvent`

Author: Adam Balogh Date: 2020-06-09T12:08:56+02:00 New Revision: 813734dad7e8b526c39806d1a88820b1f0706fb1 URL: https://github.com/llvm/llvm-project/commit/813734dad7e8b526c39806d1a88820b1f0706fb1 DIFF: https://github.com/llvm/llvm-project/commit/813734dad7e8b526c39806d1a88820b1f0706fb1.diff L

[clang] 98db1f9 - [Analyzer] [NFC] Parameter Regions

Author: Adam Balogh Date: 2020-06-09T12:08:56+02:00 New Revision: 98db1f990fc273adc1ae36d4ce97ce66fd27ac30 URL: https://github.com/llvm/llvm-project/commit/98db1f990fc273adc1ae36d4ce97ce66fd27ac30 DIFF: https://github.com/llvm/llvm-project/commit/98db1f990fc273adc1ae36d4ce97ce66fd27ac30.diff L

[clang] 5419a31 - [Analyzer] Allow creation of stack frame for functions without definition

Author: Adam Balogh Date: 2020-06-09T12:08:57+02:00 New Revision: 5419a3121522fe1251d52c7f1fb790d68581e549 URL: https://github.com/llvm/llvm-project/commit/5419a3121522fe1251d52c7f1fb790d68581e549 DIFF: https://github.com/llvm/llvm-project/commit/5419a3121522fe1251d52c7f1fb790d68581e549.diff L

[clang] 12dbdc2 - [Analyzer] Fix buildbot failure of commit rGd70ec366c91b

Author: Adam Balogh Date: 2020-05-26T20:43:37+02:00 New Revision: 12dbdc2a6b68162f7370e9754bdb0e1edd65bf3c URL: https://github.com/llvm/llvm-project/commit/12dbdc2a6b68162f7370e9754bdb0e1edd65bf3c DIFF: https://github.com/llvm/llvm-project/commit/12dbdc2a6b68162f7370e9754bdb0e1edd65bf3c.diff L

[clang] d70ec36 - [Analyzer][NFC] Remove the SubEngine interface

Author: Adam Balogh Date: 2020-05-26T19:56:55+02:00 New Revision: d70ec366c91b2a5fc6334e6f6ca9c4d9a6785c5e URL: https://github.com/llvm/llvm-project/commit/d70ec366c91b2a5fc6334e6f6ca9c4d9a6785c5e DIFF: https://github.com/llvm/llvm-project/commit/d70ec366c91b2a5fc6334e6f6ca9c4d9a6785c5e.diff L

[clang] eb90692 - [Analyzer] Rename test `iterator-modelling.cpp` to `iterator-modeling.cpp`

Author: Adam Balogh Date: 2020-03-30T09:23:35+02:00 New Revision: eb90692d8a660bb3172c9c2cc5adb3864c626d96 URL: https://github.com/llvm/llvm-project/commit/eb90692d8a660bb3172c9c2cc5adb3864c626d96 DIFF: https://github.com/llvm/llvm-project/commit/eb90692d8a660bb3172c9c2cc5adb3864c626d96.diff L

[clang] afcb77c - [Analyzer] Fix for incorrect use of container and iterator checkers

Author: Adam Balogh Date: 2020-03-30T09:14:45+02:00 New Revision: afcb77cc88a2ed489bbd383774c54daa82340761 URL: https://github.com/llvm/llvm-project/commit/afcb77cc88a2ed489bbd383774c54daa82340761 DIFF: https://github.com/llvm/llvm-project/commit/afcb77cc88a2ed489bbd383774c54daa82340761.diff L

[clang] 1a27d63 - [Analyzer] Only add container note tags to the operations of the affected container

Author: Adam Balogh Date: 2020-03-26T09:44:16+01:00 New Revision: 1a27d63a8891076ad9176f1a70f372003bc55c2f URL: https://github.com/llvm/llvm-project/commit/1a27d63a8891076ad9176f1a70f372003bc55c2f DIFF: https://github.com/llvm/llvm-project/commit/1a27d63a8891076ad9176f1a70f372003bc55c2f.diff L

[clang] a3f4d17 - [Analyzer] Use note tags to track container begin and and changes

Author: Adam Balogh Date: 2020-03-26T07:56:28+01:00 New Revision: a3f4d17a1a53c4144a5bb7c14620a5d2790f36ea URL: https://github.com/llvm/llvm-project/commit/a3f4d17a1a53c4144a5bb7c14620a5d2790f36ea DIFF: https://github.com/llvm/llvm-project/commit/a3f4d17a1a53c4144a5bb7c14620a5d2790f36ea.diff L

[clang] ccc0d35 - [Analyzer] IteratorRangeChecker verify `std::advance()`, `std::prev()` and `std::next()`

Author: Adam Balogh Date: 2020-03-23T17:33:26+01:00 New Revision: ccc0d351817bedf3a979144238ffb8e2797285d4 URL: https://github.com/llvm/llvm-project/commit/ccc0d351817bedf3a979144238ffb8e2797285d4 DIFF: https://github.com/llvm/llvm-project/commit/ccc0d351817bedf3a979144238ffb8e2797285d4.diff L

[clang] 60bad94 - [Analyzer] Iterator Modeling - Model `std::advance()`, `std::prev()` and `std::next()`

Author: Adam Balogh Date: 2020-03-23T15:29:55+01:00 New Revision: 60bad941a1c1b745f570da8251f2ba9ee8b7d06e URL: https://github.com/llvm/llvm-project/commit/60bad941a1c1b745f570da8251f2ba9ee8b7d06e DIFF: https://github.com/llvm/llvm-project/commit/60bad941a1c1b745f570da8251f2ba9ee8b7d06e.diff L

[clang] 6cff2e9 - [Analyzer] Bugfix for CheckerRegistry

Author: Adam Balogh Date: 2020-03-19T16:06:42+01:00 New Revision: 6cff2e9f7884690d480b961f78806cbb91773b34 URL: https://github.com/llvm/llvm-project/commit/6cff2e9f7884690d480b961f78806cbb91773b34 DIFF: https://github.com/llvm/llvm-project/commit/6cff2e9f7884690d480b961f78806cbb91773b34.diff L

[clang] 20a3d64 - [Analyzer][NFC] Change parameter of NoteTag lambdas to PathSensitiveBugReport

Author: Adam Balogh Date: 2020-03-10T11:30:28+01:00 New Revision: 20a3d64c8883c8be550f0759525b1550b7c2d35f URL: https://github.com/llvm/llvm-project/commit/20a3d64c8883c8be550f0759525b1550b7c2d35f DIFF: https://github.com/llvm/llvm-project/commit/20a3d64c8883c8be550f0759525b1550b7c2d35f.diff L

[clang] 57f70d1 - [Analyzer] Mark constant member functions const in CheckerManager

Author: Adam Balogh Date: 2020-03-09T14:11:30+01:00 New Revision: 57f70d187706f572227b74c82c7446a3096f862f URL: https://github.com/llvm/llvm-project/commit/57f70d187706f572227b74c82c7446a3096f862f DIFF: https://github.com/llvm/llvm-project/commit/57f70d187706f572227b74c82c7446a3096f862f.diff L

[clang] 770ad9f - [Analyzer] Fix for iterator modeling and checkers: handle negative numbers correctly

Author: Adam Balogh Date: 2020-02-25T14:57:34+01:00 New Revision: 770ad9f55e660e0ec89f61d5579dfafad17ab5f5 URL: https://github.com/llvm/llvm-project/commit/770ad9f55e660e0ec89f61d5579dfafad17ab5f5 DIFF: https://github.com/llvm/llvm-project/commit/770ad9f55e660e0ec89f61d5579dfafad17ab5f5.diff L

[clang] b198f16 - [Analyzer] Model STL Algoirthms to improve the iterator checkers

Author: Adam Balogh Date: 2020-02-05T17:59:08+01:00 New Revision: b198f16e1e1c8ee849008c1b886199eae5bc2e01 URL: https://github.com/llvm/llvm-project/commit/b198f16e1e1c8ee849008c1b886199eae5bc2e01 DIFF: https://github.com/llvm/llvm-project/commit/b198f16e1e1c8ee849008c1b886199eae5bc2e01.diff L

[clang-tools-extra] 70f4c6e - [clan-tidy] Fix false positive in bugprone-infinite-loop

Author: Adam Balogh Date: 2020-01-27T10:13:55+01:00 New Revision: 70f4c6e7b14f225f9628fbdab3620ce037613351 URL: https://github.com/llvm/llvm-project/commit/70f4c6e7b14f225f9628fbdab3620ce037613351 DIFF: https://github.com/llvm/llvm-project/commit/70f4c6e7b14f225f9628fbdab3620ce037613351.diff L

[clang-tools-extra] fccd0da - [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc

Author: Adam Balogh Date: 2020-01-21T14:38:15+01:00 New Revision: fccd0da5ee6f4e337395f287edcf824a009e1b7e URL: https://github.com/llvm/llvm-project/commit/fccd0da5ee6f4e337395f287edcf824a009e1b7e DIFF: https://github.com/llvm/llvm-project/commit/fccd0da5ee6f4e337395f287edcf824a009e1b7e.diff L

[clang] 855d21a - [Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a conjured value

Author: Adam Balogh Date: 2019-12-11T15:24:06+01:00 New Revision: 855d21a03ae841b7c6c980e92f67bd5b65287fa6 URL: https://github.com/llvm/llvm-project/commit/855d21a03ae841b7c6c980e92f67bd5b65287fa6 DIFF: https://github.com/llvm/llvm-project/commit/855d21a03ae841b7c6c980e92f67bd5b65287fa6.diff L

[clang] 6e9c589 - [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State

Author: Adam Balogh Date: 2019-12-11T14:20:17+01:00 New Revision: 6e9c58946bfe8eed7308a3b57611e225ad67 URL: https://github.com/llvm/llvm-project/commit/6e9c58946bfe8eed7308a3b57611e225ad67 DIFF: https://github.com/llvm/llvm-project/commit/6e9c58946bfe8eed7308a3b57611e225ad67.diff L

[clang-tools-extra] 170ee64 - [clang-tidy] Link shared library clangTidyOpenMPModule to library LLVMFrontendOpenMP

Author: Adam Balogh Date: 2019-12-11T12:37:22+01:00 New Revision: 170ee645f4d147103f93927c37a304c759c669dd URL: https://github.com/llvm/llvm-project/commit/170ee645f4d147103f93927c37a304c759c669dd DIFF: https://github.com/llvm/llvm-project/commit/170ee645f4d147103f93927c37a304c759c669dd.diff L

[clang-tools-extra] 497a754 - [Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804

Author: Adam Balogh Date: 2019-12-02T08:50:51+01:00 New Revision: 497a754adeca67196c12a936d09c12d6803f99de URL: https://github.com/llvm/llvm-project/commit/497a754adeca67196c12a936d09c12d6803f99de DIFF: https://github.com/llvm/llvm-project/commit/497a754adeca67196c12a936d09c12d6803f99de.diff L

[clang] 0f88cae - [Analyzer] Checker for Debugging Iterator Checkers

Author: Adam Balogh Date: 2019-11-08T08:59:50+01:00 New Revision: 0f88caeef8f2d4708f442d03db7723396712a143 URL: https://github.com/llvm/llvm-project/commit/0f88caeef8f2d4708f442d03db7723396712a143 DIFF: https://github.com/llvm/llvm-project/commit/0f88caeef8f2d4708f442d03db7723396712a143.diff L

[clang-tools-extra] r373428 - [clang-tidy] Fix for commits rL372706 and rL372711

Author: baloghadamsoftware Date: Wed Oct 2 00:14:11 2019 New Revision: 373428 URL: http://llvm.org/viewvc/llvm-project?rev=373428&view=rev Log: [clang-tidy] Fix for commits rL372706 and rL372711 The patch committed was not the accepted version but the previous one. This commit fixes this issue.

[clang-tools-extra] r372693 - [clang-tidy] New bugprone-infinite-loop check for detecting obvious infinite loops

Author: baloghadamsoftware Date: Tue Sep 24 00:43:26 2019 New Revision: 372693 URL: http://llvm.org/viewvc/llvm-project?rev=372693&view=rev Log: [clang-tidy] New bugprone-infinite-loop check for detecting obvious infinite loops Finding infinite loops is well-known to be impossible (halting probl

r370314 - [Analyzer] Iterator Checkers - Make range errors and invalidated access fatal

Author: baloghadamsoftware Date: Thu Aug 29 02:35:47 2019 New Revision: 370314 URL: http://llvm.org/viewvc/llvm-project?rev=370314&view=rev Log: [Analyzer] Iterator Checkers - Make range errors and invalidated access fatal Range errors (dereferencing or incrementing the past-the-end iterator or d

r367802 - [Analyzer] Iterator Checkers - Fix for Crash on Iterator Differences

Author: baloghadamsoftware Date: Sun Aug 4 23:45:41 2019 New Revision: 367802 URL: http://llvm.org/viewvc/llvm-project?rev=367802&view=rev Log: [Analyzer] Iterator Checkers - Fix for Crash on Iterator Differences Iterators differences were mistakenly handled as random decrements which causes an

r361818 - [Analyzer] Replace `CXXSelfAssignmentBRVisitor` with `NoteTags`

Author: baloghadamsoftware Date: Tue May 28 06:07:09 2019 New Revision: 361818 URL: http://llvm.org/viewvc/llvm-project?rev=361818&view=rev Log: [Analyzer] Replace `CXXSelfAssignmentBRVisitor` with `NoteTags` The `cplusplus.SelfAssignment` checker has a visitor that is added to every `BugReport`

[clang-tools-extra] r361225 - [clang-tidy] New option for misc-throw-by-value-catch-by-reference

Author: baloghadamsoftware Date: Tue May 21 00:25:06 2019 New Revision: 361225 URL: http://llvm.org/viewvc/llvm-project?rev=361225&view=rev Log: [clang-tidy] New option for misc-throw-by-value-catch-by-reference Catching trivial objects by value is not dangerous but may be inefficient if they are

r361141 - [Analyzer] Refactor begin and end symbol creation

Author: baloghadamsoftware Date: Mon May 20 04:04:27 2019 New Revision: 361141 URL: http://llvm.org/viewvc/llvm-project?rev=361141&view=rev Log: [Analyzer] Refactor begin and end symbol creation This patch refactors begin and end symbol creation by moving symbol conjuration into the `create...` f

[clang-tools-extra] r360114 - [clang-tidy] Extend bugprone-sizeof-expression to check sizeof(pointers to structures)

Author: baloghadamsoftware Date: Mon May 6 23:16:02 2019 New Revision: 360114 URL: http://llvm.org/viewvc/llvm-project?rev=360114&view=rev Log: [clang-tidy] Extend bugprone-sizeof-expression to check sizeof(pointers to structures) Accidentally taking the size of a struct-pointer type or a value

[clang-tools-extra] r360032 - [clang-tidy] Extend bugprone-sizeof-expression check to detect sizeof misuse in pointer arithmetic

Author: baloghadamsoftware Date: Mon May 6 03:41:37 2019 New Revision: 360032 URL: http://llvm.org/viewvc/llvm-project?rev=360032&view=rev Log: [clang-tidy] Extend bugprone-sizeof-expression check to detect sizeof misuse in pointer arithmetic Some programmers tend to forget that subtracting two

r359283 - [Analyzer] Iterator Checkers - Do an early return after handling calls

Author: baloghadamsoftware Date: Fri Apr 26 00:30:07 2019 New Revision: 359283 URL: http://llvm.org/viewvc/llvm-project?rev=359283&view=rev Log: [Analyzer] Iterator Checkers - Do an early return after handling calls This patch is more of a fix than a real improvement: in checkPostCall() we should

r358971 - [Analyzer] Second fix for last commit for IteratorChecker

Author: baloghadamsoftware Date: Tue Apr 23 04:18:50 2019 New Revision: 358971 URL: http://llvm.org/viewvc/llvm-project?rev=358971&view=rev Log: [Analyzer] Second fix for last commit for IteratorChecker A variable was redeclared instead of assigned in an internal block, leaving the original unini

r358955 - [Analyzer] Fix for previous commit

Author: baloghadamsoftware Date: Tue Apr 23 00:45:10 2019 New Revision: 358955 URL: http://llvm.org/viewvc/llvm-project?rev=358955&view=rev Log: [Analyzer] Fix for previous commit A compilation warning was in my previous commit which broke the buildbot because it is using `-Werror` for compilatio

r358951 - [Analyzer] Instead of recording comparisons in interator checkers do an eager state split

Author: baloghadamsoftware Date: Tue Apr 23 00:15:55 2019 New Revision: 358951 URL: http://llvm.org/viewvc/llvm-project?rev=358951&view=rev Log: [Analyzer] Instead of recording comparisons in interator checkers do an eager state split Currently iterator checkers record comparison of iterator pos

r357167 - [Analyzer] Constraint Manager - Calculate Effective Range for Differences

Author: baloghadamsoftware Date: Thu Mar 28 06:05:59 2019 New Revision: 357167 URL: http://llvm.org/viewvc/llvm-project?rev=357167&view=rev Log: [Analyzer] Constraint Manager - Calculate Effective Range for Differences Since rL335814, if the constraint manager cannot find a range set for `A - B`

r356049 - [Analyzer] Skip symbolic regions based on conjured symbols in comparison of the containers of iterators

Author: baloghadamsoftware Date: Wed Mar 13 06:55:11 2019 New Revision: 356049 URL: http://llvm.org/viewvc/llvm-project?rev=356049&view=rev Log: [Analyzer] Skip symbolic regions based on conjured symbols in comparison of the containers of iterators Checking whether two regions are the same is a

r354127 - [Analyzer] Fix for test file of bug 40625

Author: baloghadamsoftware Date: Fri Feb 15 04:33:42 2019 New Revision: 354127 URL: http://llvm.org/viewvc/llvm-project?rev=354127&view=rev Log: [Analyzer] Fix for test file of bug 40625 Test fixed and changed to true positive, FIXME about false positive removed. Modified: cfe/trunk/test/An

r353943 - [Analyzer] Crash fix for FindLastStoreBRVisitor

Author: baloghadamsoftware Date: Wed Feb 13 04:25:47 2019 New Revision: 353943 URL: http://llvm.org/viewvc/llvm-project?rev=353943&view=rev Log: [Analyzer] Crash fix for FindLastStoreBRVisitor FindLastStoreBRVisitor tries to find the first node in the exploded graph where the current value was as

r351746 - [Analyzer] Remove extra blank line from Iterator Checker (test commit)

Author: baloghadamsoftware Date: Mon Jan 21 07:31:23 2019 New Revision: 351746 URL: http://llvm.org/viewvc/llvm-project?rev=351746&view=rev Log: [Analyzer] Remove extra blank line from Iterator Checker (test commit) Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp Modifie

r348245 - [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers

Author: baloghadamsoftware Date: Tue Dec 4 02:27:27 2018 New Revision: 348245 URL: http://llvm.org/viewvc/llvm-project?rev=348245&view=rev Log: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers Previously, the iterator range checker onl

r348244 - [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region

Author: baloghadamsoftware Date: Tue Dec 4 02:22:28 2018 New Revision: 348244 URL: http://llvm.org/viewvc/llvm-project?rev=348244&view=rev Log: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region If an iterator is represented by a derived C++

r347981 - lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled

Author: baloghadamsoftware Date: Fri Nov 30 02:37:44 2018 New Revision: 347981 URL: http://llvm.org/viewvc/llvm-project?rev=347981&view=rev Log: lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled During the review of D41938 a condition check with an earl

[clang-tools-extra] r344445 - [clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`

Author: baloghadamsoftware Date: Sat Oct 13 04:17:59 2018 New Revision: 35 URL: http://llvm.org/viewvc/llvm-project?rev=35&view=rev Log: [clang-tidy] Fix for typos in the tests for `bugprone-exception-escape` Modified: clang-tools-extra/trunk/test/clang-tidy/bugprone-exception-escape

[clang-tools-extra] r344444 - [clang-tidy] Optimize query in bugprone-exception-escape

Author: baloghadamsoftware Date: Sat Oct 13 03:34:52 2018 New Revision: 34 URL: http://llvm.org/viewvc/llvm-project?rev=34&view=rev Log: [clang-tidy] Optimize query in bugprone-exception-escape Checking whether a functions throws indirectly may be very expensive because it needs to visit

r344443 - [Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter

Author: baloghadamsoftware Date: Sat Oct 13 03:24:48 2018 New Revision: 33 URL: http://llvm.org/viewvc/llvm-project?rev=33&view=rev Log: [Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter In earlier Clang Static Analyzer versions `check::Bind() was not invoked

[clang-tools-extra] r344340 - [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy

Author: baloghadamsoftware Date: Fri Oct 12 06:05:21 2018 New Revision: 344340 URL: http://llvm.org/viewvc/llvm-project?rev=344340&view=rev Log: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy New

r341795 - [Analyzer] Commit fix for rL341790/rC341790

Author: baloghadamsoftware Date: Mon Sep 10 02:19:54 2018 New Revision: 341795 URL: http://llvm.org/viewvc/llvm-project?rev=341795&view=rev Log: [Analyzer] Commit fix for rL341790/rC341790 Test file was accidentally not added for rL341790/rC341790 and subsequant patches. Added: cfe/trunk/t

r341794 - [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, emplace and erase operations

Author: baloghadamsoftware Date: Mon Sep 10 02:07:47 2018 New Revision: 341794 URL: http://llvm.org/viewvc/llvm-project?rev=341794&view=rev Log: [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, emplace and erase operations This patch adds support for the following operati

r341793 - [Analyzer] Iterator Checker - Part 7: Support for push and pop operations

Author: baloghadamsoftware Date: Mon Sep 10 02:06:31 2018 New Revision: 341793 URL: http://llvm.org/viewvc/llvm-project?rev=341793&view=rev Log: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations This patch adds support for the following operations in the iterator checkers:

r341792 - [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors and comparisons

Author: baloghadamsoftware Date: Mon Sep 10 02:05:31 2018 New Revision: 341792 URL: http://llvm.org/viewvc/llvm-project?rev=341792&view=rev Log: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors and comparisons Extension of the mismatched iterator checker for con

r341791 - [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers

Author: baloghadamsoftware Date: Mon Sep 10 02:04:27 2018 New Revision: 341791 URL: http://llvm.org/viewvc/llvm-project?rev=341791&view=rev Log: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers If a container is moved by its move assignment operator, according to the standard

r341790 - [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters

Author: baloghadamsoftware Date: Mon Sep 10 02:03:22 2018 New Revision: 341790 URL: http://llvm.org/viewvc/llvm-project?rev=341790&view=rev Log: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters New check added to the checker which checks whether iterator

r340805 - [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments

Author: baloghadamsoftware Date: Tue Aug 28 01:41:15 2018 New Revision: 340805 URL: http://llvm.org/viewvc/llvm-project?rev=340805&view=rev Log: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments We add check for invalidation of iterators. The only operation w

r338234 - [Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its last iterator is cleaned up

Author: baloghadamsoftware Date: Mon Jul 30 01:52:21 2018 New Revision: 338234 URL: http://llvm.org/viewvc/llvm-project?rev=338234&view=rev Log: [Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its last iterator is cleaned up The analyzer may consider a container region

r337679 - Fix for last commit: adding new test file forgotten.

Author: baloghadamsoftware Date: Mon Jul 23 03:53:02 2018 New Revision: 337679 URL: http://llvm.org/viewvc/llvm-project?rev=337679&view=rev Log: Fix for last commit: adding new test file forgotten. Added: cfe/trunk/test/Analysis/PR38208.c Added: cfe/trunk/test/Analysis/PR38208.c URL: http:

r337678 - [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions

Author: baloghadamsoftware Date: Mon Jul 23 03:50:20 2018 New Revision: 337678 URL: http://llvm.org/viewvc/llvm-project?rev=337678&view=rev Log: [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions Patch https://reviews.llvm.org/rC329780 not only rea

r337151 - [Analyzer] Mark `SymbolData` parts of iterator position as live in program state maps

Author: baloghadamsoftware Date: Mon Jul 16 02:27:27 2018 New Revision: 337151 URL: http://llvm.org/viewvc/llvm-project?rev=337151&view=rev Log: [Analyzer] Mark `SymbolData` parts of iterator position as live in program state maps Marking a symbolic expression as live is non-recursive. In our ch

r337000 - [Analyzer] alpha.unix.cstring.OutOfBounds checker enable/disable fix

Author: baloghadamsoftware Date: Fri Jul 13 06:44:44 2018 New Revision: 337000 URL: http://llvm.org/viewvc/llvm-project?rev=337000&view=rev Log: [Analyzer] alpha.unix.cstring.OutOfBounds checker enable/disable fix It was not possible to disable alpha.unix.cstring.OutOfBounds checker's reports sin

[clang-tools-extra] r336997 - [clang-tidy] Exception Escape Checker

Author: baloghadamsoftware Date: Fri Jul 13 06:09:40 2018 New Revision: 336997 URL: http://llvm.org/viewvc/llvm-project?rev=336997&view=rev Log: [clang-tidy] Exception Escape Checker Finds functions which may throw an exception directly or indirectly, but they should not: Destructors, move constr

r335835 - [Analyzer] Iterator Checker - Part 2: Increment, decrement operators and ahead-of-begin checks

Author: baloghadamsoftware Date: Thu Jun 28 03:58:53 2018 New Revision: 335835 URL: http://llvm.org/viewvc/llvm-project?rev=335835&view=rev Log: [Analyzer] Iterator Checker - Part 2: Increment, decrement operators and ahead-of-begin checks Add handling of the begin() funcion of containers to the

r335814 - [Analyzer] Constraint Manager Negates Difference

Author: baloghadamsoftware Date: Thu Jun 28 00:35:23 2018 New Revision: 335814 URL: http://llvm.org/viewvc/llvm-project?rev=335814&view=rev Log: [Analyzer] Constraint Manager Negates Difference If range [m .. n] is stored for symbolic expression A - B, then we can deduce the range for B - A whic

r334804 - [ASTImporter] Corrected diagnostic client handling in tests.

Author: baloghadamsoftware Date: Thu Jun 14 23:45:39 2018 New Revision: 334804 URL: http://llvm.org/viewvc/llvm-project?rev=334804&view=rev Log: [ASTImporter] Corrected diagnostic client handling in tests. ASTImporter tests may produce source file related warnings, the diagnostic client should be

r330064 - [Analyzer] Fix for SValBuilder expressions rearrangement

Author: baloghadamsoftware Date: Fri Apr 13 13:23:02 2018 New Revision: 330064 URL: http://llvm.org/viewvc/llvm-project?rev=330064&view=rev Log: [Analyzer] Fix for SValBuilder expressions rearrangement Expression rearrangement in SValBuilder (see rL329780) crashes with an assert if the type of t

r329780 - [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option)

Author: baloghadamsoftware Date: Tue Apr 10 23:21:12 2018 New Revision: 329780 URL: http://llvm.org/viewvc/llvm-project?rev=329780&view=rev Log: [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option) Since the range-based constraint manager (default) is weak in h

[clang-tools-extra] r318913 - [clang-tidy] Detect bugs in bugprone-misplaced-operator-in-strlen-in-alloc even in the case the allocation function is called using a constant function pointer

Author: baloghadamsoftware Date: Thu Nov 23 05:12:25 2017 New Revision: 318913 URL: http://llvm.org/viewvc/llvm-project?rev=318913&view=rev Log: [clang-tidy] Detect bugs in bugprone-misplaced-operator-in-strlen-in-alloc even in the case the allocation function is called using a constant function

[clang-tools-extra] r318912 - [clang-tidy] Add support for operator new[] in check bugprone-misplaced-operator-in-strlen-in-alloc

Author: baloghadamsoftware Date: Thu Nov 23 04:56:23 2017 New Revision: 318912 URL: http://llvm.org/viewvc/llvm-project?rev=318912&view=rev Log: [clang-tidy] Add support for operator new[] in check bugprone-misplaced-operator-in-strlen-in-alloc The check now recognizes error cases like `new char

r318909 - [ASTMatchers] Matchers for new[] operators

Author: baloghadamsoftware Date: Thu Nov 23 04:43:20 2017 New Revision: 318909 URL: http://llvm.org/viewvc/llvm-project?rev=318909&view=rev Log: [ASTMatchers] Matchers for new[] operators Two new matchers for `CXXNewExpr` are added which may be useful e.g. in `clang-tidy` checkers. One of them is

[clang-tools-extra] r318907 - [clang-tidy] Misplaced Operator in Strlen in Alloc

Author: baloghadamsoftware Date: Thu Nov 23 04:33:12 2017 New Revision: 318907 URL: http://llvm.org/viewvc/llvm-project?rev=318907&view=rev Log: [clang-tidy] Misplaced Operator in Strlen in Alloc A possible error is to write `malloc(strlen(s+1))` instead of `malloc(strlen(s)+1)`. Unfortunately th

[clang-tools-extra] r318906 - [clang-tidy] Misplaced Operator in Strlen in Alloc

Author: baloghadamsoftware Date: Thu Nov 23 04:26:28 2017 New Revision: 318906 URL: http://llvm.org/viewvc/llvm-project?rev=318906&view=rev Log: [clang-tidy] Misplaced Operator in Strlen in Alloc A possible error is to write `malloc(strlen(s+1))` instead of `malloc(strlen(s)+1)`. Unfortunately th