[clang] 41928c9 - [analyzer] ApiModeling: Add buffer size arg constraint with multiplier involved

2020-05-29 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-05-29T16:24:26+02:00 New Revision: 41928c97b6a17264938fc765a6a0656d8b6e86ed URL: https://github.com/llvm/llvm-project/commit/41928c97b6a17264938fc765a6a0656d8b6e86ed DIFF: https://github.com/llvm/llvm-project/commit/41928c97b6a17264938fc765a6a0656d8b6e86ed.diff

[clang] 16506d7 - [analyzer] StdLibraryFunctionsChecker: Add sanity checks for constraints

2020-05-29 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-05-29T16:38:45+02:00 New Revision: 16506d789084fd037fc61d442da43dd5242872b7 URL: https://github.com/llvm/llvm-project/commit/16506d789084fd037fc61d442da43dd5242872b7 DIFF: https://github.com/llvm/llvm-project/commit/16506d789084fd037fc61d442da43dd5242872b7.diff

[clang] 634258b - [analyzer] StdLibraryFunctionsChecker: Add support to lookup types

2020-05-29 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-05-29T17:42:05+02:00 New Revision: 634258b80606c4bb8192077239a089ae5842781a URL: https://github.com/llvm/llvm-project/commit/634258b80606c4bb8192077239a089ae5842781a DIFF: https://github.com/llvm/llvm-project/commit/634258b80606c4bb8192077239a089ae5842781a.diff

[Differential] D83407: [analyzer][StdLibraryFunctionsChecker] Add POSIX networking functions

2020-07-20 Thread Gabor Marton via cfe-commits
This revision was not accepted when it landed; it landed in state "Needs Review". This revision was landed with ongoing or failed builds. This revision was automatically updated to reflect the committed changes. Closed by commit rG3ff220de9009: [analyzer][StdLibraryFunctionsChecker] Add POSIX net

[clang] 3ff220d - [analyzer][StdLibraryFunctionsChecker] Add POSIX networking functions

2020-07-20 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-07-20T22:46:24+02:00 New Revision: 3ff220de900970a20c9882b7199c178c6b6428b2 URL: https://github.com/llvm/llvm-project/commit/3ff220de900970a20c9882b7199c178c6b6428b2 DIFF: https://github.com/llvm/llvm-project/commit/3ff220de900970a20c9882b7199c178c6b6428b2.diff

[clang] ab1fad8 - [analyzer] StdLibraryFunctionsChecker: Add test for function with default parameter

2020-04-06 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-04-06T17:08:58+02:00 New Revision: ab1fad8a3a8b8e3264c34448205061add013b8d7 URL: https://github.com/llvm/llvm-project/commit/ab1fad8a3a8b8e3264c34448205061add013b8d7 DIFF: https://github.com/llvm/llvm-project/commit/ab1fad8a3a8b8e3264c34448205061add013b8d7.diff

[clang] 8f96139 - [analyzer] StdLibraryFunctionsChecker: match signature based on FunctionDecl

2020-04-06 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-04-06T17:34:08+02:00 New Revision: 8f961399739f539cb0b3c9ac68ca1b62c2a17a80 URL: https://github.com/llvm/llvm-project/commit/8f961399739f539cb0b3c9ac68ca1b62c2a17a80 DIFF: https://github.com/llvm/llvm-project/commit/8f961399739f539cb0b3c9ac68ca1b62c2a17a80.diff

[clang] db4d5f7 - [analyzer][StdLibraryFunctionsChecker] Add POSIX file handling functions

2020-07-02 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-07-02T14:28:05+02:00 New Revision: db4d5f7048a26a7708821e46095742aecfd8ba46 URL: https://github.com/llvm/llvm-project/commit/db4d5f7048a26a7708821e46095742aecfd8ba46 DIFF: https://github.com/llvm/llvm-project/commit/db4d5f7048a26a7708821e46095742aecfd8ba46.diff

[clang] d12d0b7 - [analyzer] Add CTUImportCppThreshold for C++ files

2020-07-09 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-07-09T15:36:33+02:00 New Revision: d12d0b73f1c9c3a711c5cc15266a2b493cd712e9 URL: https://github.com/llvm/llvm-project/commit/d12d0b73f1c9c3a711c5cc15266a2b493cd712e9 DIFF: https://github.com/llvm/llvm-project/commit/d12d0b73f1c9c3a711c5cc15266a2b493cd712e9.diff

[clang] e033ec2 - [ASTImporter] Fix bug introduced in 2ba4e3a4598b

2020-04-16 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-04-16T16:03:27+02:00 New Revision: e033ec291a1b72f307ab14569ca99822c127610b URL: https://github.com/llvm/llvm-project/commit/e033ec291a1b72f307ab14569ca99822c127610b DIFF: https://github.com/llvm/llvm-project/commit/e033ec291a1b72f307ab14569ca99822c127610b.diff

[clang] 62e747f - [analyzer] StdLibraryFunctionsChecker: Associate summaries to FunctionDecls

2020-04-28 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-04-28T10:00:50+02:00 New Revision: 62e747f6172942db0e9fd55a6a25f166f338459a URL: https://github.com/llvm/llvm-project/commit/62e747f6172942db0e9fd55a6a25f166f338459a DIFF: https://github.com/llvm/llvm-project/commit/62e747f6172942db0e9fd55a6a25f166f338459a.diff

[clang] d061685 - [analyzer] Make NonNullParamChecker as dependency for StdCLibraryFunctionsChecker

2020-05-14 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-05-14T15:28:40+02:00 New Revision: d061685a8304eb0b6adacd24f8dd2c2ef6dfee39 URL: https://github.com/llvm/llvm-project/commit/d061685a8304eb0b6adacd24f8dd2c2ef6dfee39 DIFF: https://github.com/llvm/llvm-project/commit/d061685a8304eb0b6adacd24f8dd2c2ef6dfee39.diff

[clang] ff4492c - [analyzer] StdLibraryFunctionsChecker: Add option to display loaded summaries

2020-05-14 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-05-14T15:40:58+02:00 New Revision: ff4492c89feb54e6ddfd6edaea59c98776963208 URL: https://github.com/llvm/llvm-project/commit/ff4492c89feb54e6ddfd6edaea59c98776963208 DIFF: https://github.com/llvm/llvm-project/commit/ff4492c89feb54e6ddfd6edaea59c98776963208.diff

[clang] 7c37684 - [analyzer] Improve PlacementNewChecker

2020-05-14 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-05-14T15:50:39+02:00 New Revision: 7c3768495e8c1599dc30986f7bd47d5e91f303f2 URL: https://github.com/llvm/llvm-project/commit/7c3768495e8c1599dc30986f7bd47d5e91f303f2 DIFF: https://github.com/llvm/llvm-project/commit/7c3768495e8c1599dc30986f7bd47d5e91f303f2.diff

[clang] [analyzer][solver] On SymSym RelOps, check EQClass members for contradictions (PR #71284)

2023-11-07 Thread Gabor Marton via cfe-commits
martong wrote: > it'd be good to "strengthen" the equality classes and ensure that we assign > the same RangeSet to each member of an EQClass (or, in other words, we assign > the RangeSet to an EQClass instead of an individual symbol). RangeSets (i.e. constraints) are assigned to EQClasses, ch

[clang] 5d7fa48 - [analyzer] Do not emit redundant SymbolCasts

2022-07-05 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-07-05T18:42:34+02:00 New Revision: 5d7fa481cf4d36e14345b1c3ebc951edda0b40b1 URL: https://github.com/llvm/llvm-project/commit/5d7fa481cf4d36e14345b1c3ebc951edda0b40b1 DIFF: https://github.com/llvm/llvm-project/commit/5d7fa481cf4d36e14345b1c3ebc951edda0b40b1.diff

[clang] 2df1207 - [analyzer] Fix assertion in simplifySymbolCast

2022-07-05 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-07-05T19:00:23+02:00 New Revision: 2df120784af40c9cfebaf2a505a5ebe74c51b44a URL: https://github.com/llvm/llvm-project/commit/2df120784af40c9cfebaf2a505a5ebe74c51b44a DIFF: https://github.com/llvm/llvm-project/commit/2df120784af40c9cfebaf2a505a5ebe74c51b44a.diff

[clang] e63b81d - [analyzer][ctu] Only import const and trivial VarDecls

2022-04-01 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-04-01T13:49:39+02:00 New Revision: e63b81d10e023b4d8e9f61ca29a678c74ce2c1cb URL: https://github.com/llvm/llvm-project/commit/e63b81d10e023b4d8e9f61ca29a678c74ce2c1cb DIFF: https://github.com/llvm/llvm-project/commit/e63b81d10e023b4d8e9f61ca29a678c74ce2c1cb.diff

[clang] d0d37fc - [Analyzer][solver] Remove unused functions

2021-07-15 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-07-15T16:36:01+02:00 New Revision: d0d37fcc4e2965c4ccd3401f8bdf22935815136a URL: https://github.com/llvm/llvm-project/commit/d0d37fcc4e2965c4ccd3401f8bdf22935815136a DIFF: https://github.com/llvm/llvm-project/commit/d0d37fcc4e2965c4ccd3401f8bdf22935815136a.diff

[clang] 732a8a9 - [Analyzer][solver][NFC] Add explanatory comments to trivial eq classes

2021-07-21 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-07-21T11:59:56+02:00 New Revision: 732a8a9dfb3ed96a0d3c9b4507b1d1a40dfa198a URL: https://github.com/llvm/llvm-project/commit/732a8a9dfb3ed96a0d3c9b4507b1d1a40dfa198a DIFF: https://github.com/llvm/llvm-project/commit/732a8a9dfb3ed96a0d3c9b4507b1d1a40dfa198a.diff

[clang] 44fa31f - [Analyzer][solver] Fix inconsistent equivalence class data

2021-07-23 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-07-23T14:25:32+02:00 New Revision: 44fa31fa6da0c573ed972ec1d932c4ca3fb52f8f URL: https://github.com/llvm/llvm-project/commit/44fa31fa6da0c573ed972ec1d932c4ca3fb52f8f DIFF: https://github.com/llvm/llvm-project/commit/44fa31fa6da0c573ed972ec1d932c4ca3fb52f8f.diff

[clang] 4761321 - [Analyzer][solver][NFC] print constraints deterministically (ordered by their string representation)

2021-07-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-07-26T16:27:23+02:00 New Revision: 4761321d49db01dce1e308f900add033cc26fb47 URL: https://github.com/llvm/llvm-project/commit/4761321d49db01dce1e308f900add033cc26fb47 DIFF: https://github.com/llvm/llvm-project/commit/4761321d49db01dce1e308f900add033cc26fb47.diff

[clang] c4fa05f - [analyzer] Indicate if a parent state is infeasible

2022-05-10 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-10T10:16:55+02:00 New Revision: c4fa05f5f7783efa380c200d96cc1f756fa88c6c URL: https://github.com/llvm/llvm-project/commit/c4fa05f5f7783efa380c200d96cc1f756fa88c6c DIFF: https://github.com/llvm/llvm-project/commit/c4fa05f5f7783efa380c200d96cc1f756fa88c6c.diff

[clang] 1c1c1e2 - [analyzer] Implement assume in terms of assumeDual

2022-05-10 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-10T10:16:55+02:00 New Revision: 1c1c1e25f94fd1bb10fdbfe96dc14ffc655db5df URL: https://github.com/llvm/llvm-project/commit/1c1c1e25f94fd1bb10fdbfe96dc14ffc655db5df DIFF: https://github.com/llvm/llvm-project/commit/1c1c1e25f94fd1bb10fdbfe96dc14ffc655db5df.diff

[clang] 34ac048 - [analyzer] Replace adjacent assumeInBound calls to assumeInBoundDual

2022-05-10 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-10T10:16:55+02:00 New Revision: 34ac048aef298270d82e5430727ffd00f15c63d5 URL: https://github.com/llvm/llvm-project/commit/34ac048aef298270d82e5430727ffd00f15c63d5 DIFF: https://github.com/llvm/llvm-project/commit/34ac048aef298270d82e5430727ffd00f15c63d5.diff

[clang] 21feafa - [analyzer] Attempt to fix test infeasible-crash.c

2022-05-10 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-10T11:18:35+02:00 New Revision: 21feafaeb85aad2847db44aa2208999b166ba4a9 URL: https://github.com/llvm/llvm-project/commit/21feafaeb85aad2847db44aa2208999b166ba4a9 DIFF: https://github.com/llvm/llvm-project/commit/21feafaeb85aad2847db44aa2208999b166ba4a9.diff

[clang] 25ac078 - [clang][ASTImporter] Add isNewDecl

2022-05-18 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-18T10:35:52+02:00 New Revision: 25ac078a961de91522e5b5afaa6d4ffdd0dd05c4 URL: https://github.com/llvm/llvm-project/commit/25ac078a961de91522e5b5afaa6d4ffdd0dd05c4 DIFF: https://github.com/llvm/llvm-project/commit/25ac078a961de91522e5b5afaa6d4ffdd0dd05c4.diff

[clang] 56b9b97 - [clang][analyzer][ctu] Make CTU a two phase analysis

2022-05-18 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-18T10:35:52+02:00 New Revision: 56b9b97c1ef594f218eb06d2e62daa85cc238500 URL: https://github.com/llvm/llvm-project/commit/56b9b97c1ef594f218eb06d2e62daa85cc238500 DIFF: https://github.com/llvm/llvm-project/commit/56b9b97c1ef594f218eb06d2e62daa85cc238500.diff

[clang] 32f189b - [analyzer] Implement assumeInclusiveRange in terms of assumeInclusiveRangeDual

2022-05-23 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-23T09:32:44+02:00 New Revision: 32f189b0d9a881341e19e17a459f5b9cac4b0484 URL: https://github.com/llvm/llvm-project/commit/32f189b0d9a881341e19e17a459f5b9cac4b0484 DIFF: https://github.com/llvm/llvm-project/commit/32f189b0d9a881341e19e17a459f5b9cac4b0484.diff

[clang] 96fba64 - [analyzer][NFC] Factor out the copy-paste code repetition of assumeDual and assumeInclusiveRangeDual

2022-05-23 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-23T09:32:44+02:00 New Revision: 96fba640cf58402b1015924f6582b14c6ac8cc32 URL: https://github.com/llvm/llvm-project/commit/96fba640cf58402b1015924f6582b14c6ac8cc32 DIFF: https://github.com/llvm/llvm-project/commit/96fba640cf58402b1015924f6582b14c6ac8cc32.diff

r370045 - [ASTImporter] Fix name conflict handling with different strategies

2019-08-27 Thread Gabor Marton via cfe-commits
Author: martong Date: Tue Aug 27 04:36:10 2019 New Revision: 370045 URL: http://llvm.org/viewvc/llvm-project?rev=370045&view=rev Log: [ASTImporter] Fix name conflict handling with different strategies There are numorous flaws about the name conflict handling, this patch attempts fixes them. Chang

r370461 - [ASTImporter] Do not look up lambda classes

2019-08-30 Thread Gabor Marton via cfe-commits
Author: martong Date: Fri Aug 30 03:55:41 2019 New Revision: 370461 URL: http://llvm.org/viewvc/llvm-project?rev=370461&view=rev Log: [ASTImporter] Do not look up lambda classes Summary: Consider this code: ``` void f() { auto L0 = [](){}; auto L1 = [](){}; } ``` Firs

[clang] 5e7beb0 - [analyzer] Add PlacementNewChecker

2020-01-10 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-01-10T17:59:06+01:00 New Revision: 5e7beb0a4146267f1d65c57543e67ca158aca4aa URL: https://github.com/llvm/llvm-project/commit/5e7beb0a4146267f1d65c57543e67ca158aca4aa DIFF: https://github.com/llvm/llvm-project/commit/5e7beb0a4146267f1d65c57543e67ca158aca4aa.diff

[clang] 13ec473 - [analyzer] Move PlacementNewChecker to alpha

2020-01-10 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-01-10T19:35:25+01:00 New Revision: 13ec473b9d4bd4f7a558272932b7c0806171c666 URL: https://github.com/llvm/llvm-project/commit/13ec473b9d4bd4f7a558272932b7c0806171c666 DIFF: https://github.com/llvm/llvm-project/commit/13ec473b9d4bd4f7a558272932b7c0806171c666.diff

[clang] a012bc4 - [analyzer][StdLibraryFunctionsChecker] Elaborate the summary of fread and fwrite

2020-09-15 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-15T16:35:39+02:00 New Revision: a012bc4c42e4408a18e4c4d67306b79c576df961 URL: https://github.com/llvm/llvm-project/commit/a012bc4c42e4408a18e4c4d67306b79c576df961 DIFF: https://github.com/llvm/llvm-project/commit/a012bc4c42e4408a18e4c4d67306b79c576df961.diff

[clang] 0c4f91f - [analyzer][solver] Fix issue with symbol non-equality tracking

2020-09-21 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-21T16:59:18+02:00 New Revision: 0c4f91f84b2efe8975848a7a13c08d7479abe752 URL: https://github.com/llvm/llvm-project/commit/0c4f91f84b2efe8975848a7a13c08d7479abe752 DIFF: https://github.com/llvm/llvm-project/commit/0c4f91f84b2efe8975848a7a13c08d7479abe752.diff

[clang] d63a945 - [analyzer][StdLibraryFunctionsChecker] Fix getline/getdelim signatures

2020-09-23 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-23T10:48:14+02:00 New Revision: d63a945a13048b66f06e222d8b0810d7db9592f6 URL: https://github.com/llvm/llvm-project/commit/d63a945a13048b66f06e222d8b0810d7db9592f6 DIFF: https://github.com/llvm/llvm-project/commit/d63a945a13048b66f06e222d8b0810d7db9592f6.diff

[clang] 11d2e63 - [analyzer][StdLibraryFunctionsChecker] Separate the signature from the summaries

2020-09-23 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-23T10:59:34+02:00 New Revision: 11d2e63ab0060c656398afd8ea26760031a9fb96 URL: https://github.com/llvm/llvm-project/commit/11d2e63ab0060c656398afd8ea26760031a9fb96 DIFF: https://github.com/llvm/llvm-project/commit/11d2e63ab0060c656398afd8ea26760031a9fb96.diff

[clang] a787a4e - [analyzer][StdLibraryFunctionsChecker] Use Optionals throughout the summary API

2020-09-01 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-01T11:36:20+02:00 New Revision: a787a4ed16d6867f56d81159a8fcf2b711d18a8a URL: https://github.com/llvm/llvm-project/commit/a787a4ed16d6867f56d81159a8fcf2b711d18a8a DIFF: https://github.com/llvm/llvm-project/commit/a787a4ed16d6867f56d81159a8fcf2b711d18a8a.diff

[clang] fe0972d - [analyzer][StdLibraryFunctionsChecker] Do not match based on the restrict qualifier in C++

2020-09-04 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-04T11:48:38+02:00 New Revision: fe0972d3e4a65b4c5f5fa602b17ad30e463050b3 URL: https://github.com/llvm/llvm-project/commit/fe0972d3e4a65b4c5f5fa602b17ad30e463050b3 DIFF: https://github.com/llvm/llvm-project/commit/fe0972d3e4a65b4c5f5fa602b17ad30e463050b3.diff

[clang] f0b9dbc - [analyzer][StdLibraryFunctionsChecker] Add POSIX time handling functions

2020-09-04 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-04T18:44:12+02:00 New Revision: f0b9dbcfc7ba2a217cab3217d6217fc270c88b58 URL: https://github.com/llvm/llvm-project/commit/f0b9dbcfc7ba2a217cab3217d6217fc270c88b58 DIFF: https://github.com/llvm/llvm-project/commit/f0b9dbcfc7ba2a217cab3217d6217fc270c88b58.diff

[clang] d012805 - [analyzer][StdLibraryFunctionsChecker] Add POSIX pthread handling functions

2020-09-07 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-07T17:47:01+02:00 New Revision: d01280587d97eb02d37da37666afd3e4d57c9336 URL: https://github.com/llvm/llvm-project/commit/d01280587d97eb02d37da37666afd3e4d57c9336 DIFF: https://github.com/llvm/llvm-project/commit/d01280587d97eb02d37da37666afd3e4d57c9336.diff

[clang] 8248c2a - [analyzer][StdLibraryFunctionsChecker] Have proper weak dependencies

2020-09-07 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-07T17:56:26+02:00 New Revision: 8248c2af94975912b14e7e0cb414fcbb82c77123 URL: https://github.com/llvm/llvm-project/commit/8248c2af94975912b14e7e0cb414fcbb82c77123 DIFF: https://github.com/llvm/llvm-project/commit/8248c2af94975912b14e7e0cb414fcbb82c77123.diff

[clang] b7586af - [analyzer][StdLibraryFunctionsChecker] Remove strcasecmp

2020-09-10 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-10T12:29:39+02:00 New Revision: b7586afc4dcddd1abc70724585c3eb3857e27f43 URL: https://github.com/llvm/llvm-project/commit/b7586afc4dcddd1abc70724585c3eb3857e27f43 DIFF: https://github.com/llvm/llvm-project/commit/b7586afc4dcddd1abc70724585c3eb3857e27f43.diff

[clang] a97648b - [analyzer][StdLibraryFunctionsChecker] Add better diagnostics

2020-09-10 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-09-10T12:43:40+02:00 New Revision: a97648b93846f163af262b9a0db684c7f5efc43f URL: https://github.com/llvm/llvm-project/commit/a97648b93846f163af262b9a0db684c7f5efc43f DIFF: https://github.com/llvm/llvm-project/commit/a97648b93846f163af262b9a0db684c7f5efc43f.diff

[clang] d14c631 - [analyzer][StdLibraryFunctionsChecker] Make close and mmap to accept -1 as fd

2020-12-08 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-12-08T16:58:30+01:00 New Revision: d14c63167315edfc4a4ad91fac9c866c6e0cb67f URL: https://github.com/llvm/llvm-project/commit/d14c63167315edfc4a4ad91fac9c866c6e0cb67f DIFF: https://github.com/llvm/llvm-project/commit/d14c63167315edfc4a4ad91fac9c866c6e0cb67f.diff

[clang] febe750 - [analyzer][StdLibraryFunctionsChecker] Add more return value contraints

2020-12-08 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-12-08T17:04:29+01:00 New Revision: febe75032f6f8322cce1dcbba11a44559aaa14e3 URL: https://github.com/llvm/llvm-project/commit/febe75032f6f8322cce1dcbba11a44559aaa14e3 DIFF: https://github.com/llvm/llvm-project/commit/febe75032f6f8322cce1dcbba11a44559aaa14e3.diff

[clang] a5e6590 - [ASTImporter] Support CXXDeductionGuideDecl with local typedef

2020-12-09 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-12-09T21:25:04+01:00 New Revision: a5e6590b15b17793d7a82f8b39998381acb73109 URL: https://github.com/llvm/llvm-project/commit/a5e6590b15b17793d7a82f8b39998381acb73109 DIFF: https://github.com/llvm/llvm-project/commit/a5e6590b15b17793d7a82f8b39998381acb73109.diff

[clang] 68f5396 - [ASTImporter] Fix import of a typedef that has an attribute

2020-12-14 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-12-14T18:27:05+01:00 New Revision: 68f53960e17d93c3a2727164dac4e54140bd98ba URL: https://github.com/llvm/llvm-project/commit/68f53960e17d93c3a2727164dac4e54140bd98ba DIFF: https://github.com/llvm/llvm-project/commit/68f53960e17d93c3a2727164dac4e54140bd98ba.diff

[clang] 007dd12 - [ASTImporter][AST] Fix structural equivalency crash on dependent FieldDecl

2020-10-05 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-10-05T14:06:09+02:00 New Revision: 007dd12d546814977519b33ca38b1cc8b31fee26 URL: https://github.com/llvm/llvm-project/commit/007dd12d546814977519b33ca38b1cc8b31fee26 DIFF: https://github.com/llvm/llvm-project/commit/007dd12d546814977519b33ca38b1cc8b31fee26.diff

[clang] dd96571 - [ASTImporter] Fix crash caused by unimported type of FromatAttr

2020-10-14 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-10-14T13:54:48+02:00 New Revision: dd965711c9f0e4b6e1dc9b465fe049c38e05d5aa URL: https://github.com/llvm/llvm-project/commit/dd965711c9f0e4b6e1dc9b465fe049c38e05d5aa DIFF: https://github.com/llvm/llvm-project/commit/dd965711c9f0e4b6e1dc9b465fe049c38e05d5aa.diff

[clang] 73c6beb - [ASTImporter] Fix crash caused by unset AttributeSpellingListIndex

2020-10-14 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-10-14T14:10:08+02:00 New Revision: 73c6beb2f7053fe8b5150072c2b5cd930de38a22 URL: https://github.com/llvm/llvm-project/commit/73c6beb2f7053fe8b5150072c2b5cd930de38a22 DIFF: https://github.com/llvm/llvm-project/commit/73c6beb2f7053fe8b5150072c2b5cd930de38a22.diff

[clang] 70eb2ce - [ASTImporter] Support import of CXXDeductionGuideDecl

2020-11-30 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-11-30T17:55:25+01:00 New Revision: 70eb2ce395be1fe39ceede6719aa667658d1e5a3 URL: https://github.com/llvm/llvm-project/commit/70eb2ce395be1fe39ceede6719aa667658d1e5a3 DIFF: https://github.com/llvm/llvm-project/commit/70eb2ce395be1fe39ceede6719aa667658d1e5a3.diff

[clang] b40b319 - [analyzer][StdLibraryFunctionsChecker] Add return value constraint to functions with BufferSize

2020-12-02 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-12-02T17:54:48+01:00 New Revision: b40b3196b32110f00b7610851f4ef182ac751ba0 URL: https://github.com/llvm/llvm-project/commit/b40b3196b32110f00b7610851f4ef182ac751ba0 DIFF: https://github.com/llvm/llvm-project/commit/b40b3196b32110f00b7610851f4ef182ac751ba0.diff

[clang] 1e14588 - [Clang][Sema] Attempt to fix CTAD faulty copy of non-local typedefs

2020-12-03 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-12-03T11:35:47+01:00 New Revision: 1e14588d0f6845976e774c87a18a84a0f7b61015 URL: https://github.com/llvm/llvm-project/commit/1e14588d0f6845976e774c87a18a84a0f7b61015 DIFF: https://github.com/llvm/llvm-project/commit/1e14588d0f6845976e774c87a18a84a0f7b61015.diff

[clang] 96ec9b6 - [Analyzer] ConversionChecker: track back the cast expression

2021-09-16 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-09-16T11:42:54+02:00 New Revision: 96ec9b6ff2f0bb9078306e3857f09974603ccbe4 URL: https://github.com/llvm/llvm-project/commit/96ec9b6ff2f0bb9078306e3857f09974603ccbe4 DIFF: https://github.com/llvm/llvm-project/commit/96ec9b6ff2f0bb9078306e3857f09974603ccbe4.diff

[clang] 8ddbb44 - [Analyzer][solver] Simplify existing eq classes and constraints when a new constraint is added

2021-06-14 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-06-14T12:19:09+02:00 New Revision: 8ddbb442b6e87efc9c6599280740c6f4fc40963d URL: https://github.com/llvm/llvm-project/commit/8ddbb442b6e87efc9c6599280740c6f4fc40963d DIFF: https://github.com/llvm/llvm-project/commit/8ddbb442b6e87efc9c6599280740c6f4fc40963d.diff

[clang] 0646e36 - [Analyzer][solver] Fix crashes during symbol simplification

2021-06-25 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-06-25T11:49:26+02:00 New Revision: 0646e3625499b08a3ac9efd48396f3b463a19139 URL: https://github.com/llvm/llvm-project/commit/0646e3625499b08a3ac9efd48396f3b463a19139 DIFF: https://github.com/llvm/llvm-project/commit/0646e3625499b08a3ac9efd48396f3b463a19139.diff

[clang] 6f3b775 - [Analyzer][solver] Add dump methods for (dis)equality classes.

2021-06-28 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-06-28T12:57:14+02:00 New Revision: 6f3b775c3e9c685f74ecbe2ce1a94af52cc17c2f URL: https://github.com/llvm/llvm-project/commit/6f3b775c3e9c685f74ecbe2ce1a94af52cc17c2f DIFF: https://github.com/llvm/llvm-project/commit/6f3b775c3e9c685f74ecbe2ce1a94af52cc17c2f.diff

[clang] fe0e861 - [Analyzer] Attempt to fix windows bots test failure b/c of new-line

2021-06-28 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-06-28T15:41:30+02:00 New Revision: fe0e861a4d9946a3e7de1bc95a3ec12fa602b492 URL: https://github.com/llvm/llvm-project/commit/fe0e861a4d9946a3e7de1bc95a3ec12fa602b492 DIFF: https://github.com/llvm/llvm-project/commit/fe0e861a4d9946a3e7de1bc95a3ec12fa602b492.diff

[clang] bdf3147 - [Analyzer][solver] Add dump methods for (dis)equality classes.

2021-07-14 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-07-14T13:45:02+02:00 New Revision: bdf31471c76b5ded9e8d5a039250c2a7ba7aead6 URL: https://github.com/llvm/llvm-project/commit/bdf31471c76b5ded9e8d5a039250c2a7ba7aead6 DIFF: https://github.com/llvm/llvm-project/commit/bdf31471c76b5ded9e8d5a039250c2a7ba7aead6.diff

[clang] 888af47 - [Analyzer][solver] Simplification: reorganize equalities with adjustment

2021-10-27 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-10-27T16:48:55+02:00 New Revision: 888af47095d5a7121c1d78566df59c292f30ceaf URL: https://github.com/llvm/llvm-project/commit/888af47095d5a7121c1d78566df59c292f30ceaf DIFF: https://github.com/llvm/llvm-project/commit/888af47095d5a7121c1d78566df59c292f30ceaf.diff

[clang] a8297ed - [Analyzer][solver] Handle adjustments in constraint assignor remainder

2021-10-27 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-10-27T17:14:34+02:00 New Revision: a8297ed994301dbf34f259690e9f5fa8fce96ea2 URL: https://github.com/llvm/llvm-project/commit/a8297ed994301dbf34f259690e9f5fa8fce96ea2 DIFF: https://github.com/llvm/llvm-project/commit/a8297ed994301dbf34f259690e9f5fa8fce96ea2.diff

[clang] 806329d - [analyzer][solver] Iterate to a fixpoint during symbol simplification with constants

2021-11-12 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-11-12T11:44:49+01:00 New Revision: 806329da07006b3b95b5164a2a7c8b3be0aac8de URL: https://github.com/llvm/llvm-project/commit/806329da07006b3b95b5164a2a7c8b3be0aac8de DIFF: https://github.com/llvm/llvm-project/commit/806329da07006b3b95b5164a2a7c8b3be0aac8de.diff

[clang] 01c9700 - [analyzer][solver] Remove reference to RangedConstraintManager

2021-11-12 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-11-12T11:44:49+01:00 New Revision: 01c9700aaad39339414d77da7fc910a435303016 URL: https://github.com/llvm/llvm-project/commit/01c9700aaad39339414d77da7fc910a435303016 DIFF: https://github.com/llvm/llvm-project/commit/01c9700aaad39339414d77da7fc910a435303016.diff

[clang] 2e90fc2 - [AST][PCH][ASTImporter] Fix UB caused by uninited SwitchStmt member

2021-03-04 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-03-04T15:10:04+01:00 New Revision: 2e90fc2c407bb9a85e14fa2c75533a984e5a765a URL: https://github.com/llvm/llvm-project/commit/2e90fc2c407bb9a85e14fa2c75533a984e5a765a DIFF: https://github.com/llvm/llvm-project/commit/2e90fc2c407bb9a85e14fa2c75533a984e5a765a.diff

[clang] ffc32ef - [Analyzer][Core] Simplify IntSym in SValBuilder

2021-11-22 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-11-22T17:33:43+01:00 New Revision: ffc32efd1cd6a34659e2c559e9ba6ee923b1637a URL: https://github.com/llvm/llvm-project/commit/ffc32efd1cd6a34659e2c559e9ba6ee923b1637a DIFF: https://github.com/llvm/llvm-project/commit/ffc32efd1cd6a34659e2c559e9ba6ee923b1637a.diff

[clang] 12887a2 - [Analyzer][Core] Better simplification in SimpleSValBuilder::evalBinOpNN

2021-11-23 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-11-23T16:38:01+01:00 New Revision: 12887a202404471ddf77f9fae658700573cbebe8 URL: https://github.com/llvm/llvm-project/commit/12887a202404471ddf77f9fae658700573cbebe8 DIFF: https://github.com/llvm/llvm-project/commit/12887a202404471ddf77f9fae658700573cbebe8.diff

[clang] f02c5f3 - [Analyzer][solver] Do not remove the simplified symbol from the eq class

2021-11-30 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-11-30T11:13:13+01:00 New Revision: f02c5f3478318075d1a469203900e452ba651421 URL: https://github.com/llvm/llvm-project/commit/f02c5f3478318075d1a469203900e452ba651421 DIFF: https://github.com/llvm/llvm-project/commit/f02c5f3478318075d1a469203900e452ba651421.diff

[clang] 0a17896 - [Analyzer][Core] Make SValBuilder to better simplify svals with 3 symbols in the tree

2021-11-30 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-11-30T11:24:59+01:00 New Revision: 0a17896fe6fdbbde1f9d3ffbb10a4f3bfa8960f9 URL: https://github.com/llvm/llvm-project/commit/0a17896fe6fdbbde1f9d3ffbb10a4f3bfa8960f9 DIFF: https://github.com/llvm/llvm-project/commit/0a17896fe6fdbbde1f9d3ffbb10a4f3bfa8960f9.diff

[clang] 20f8733 - [Analyzer][solver] Simplification: Do a fixpoint iteration before the eq class merge

2021-12-01 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-12-01T22:23:41+01:00 New Revision: 20f8733d4b8d5bdb93080b8824de57b7fae31785 URL: https://github.com/llvm/llvm-project/commit/20f8733d4b8d5bdb93080b8824de57b7fae31785 DIFF: https://github.com/llvm/llvm-project/commit/20f8733d4b8d5bdb93080b8824de57b7fae31785.diff

[clang] 93ce23a - [clang][dataflow] Add initial sign analysis

2022-10-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-10-26T15:13:22+02:00 New Revision: 93ce23adb548240f3907e7dc0690a82cce060a96 URL: https://github.com/llvm/llvm-project/commit/93ce23adb548240f3907e7dc0690a82cce060a96 DIFF: https://github.com/llvm/llvm-project/commit/93ce23adb548240f3907e7dc0690a82cce060a96.diff

[clang] bb72d0d - [clang][dataflow] Implement transferBranch

2022-10-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-10-26T15:24:55+02:00 New Revision: bb72d0dde29edc2f240ab3d3650544251795ef9f URL: https://github.com/llvm/llvm-project/commit/bb72d0dde29edc2f240ab3d3650544251795ef9f DIFF: https://github.com/llvm/llvm-project/commit/bb72d0dde29edc2f240ab3d3650544251795ef9f.diff

[clang] 82a5081 - [analyzer][StdLibraryFunctionsChecker] Add NoteTags for applied arg

2022-10-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-10-26T16:33:25+02:00 New Revision: 82a50812f7e539b69fb8031bee9c823e5290d1c9 URL: https://github.com/llvm/llvm-project/commit/82a50812f7e539b69fb8031bee9c823e5290d1c9 DIFF: https://github.com/llvm/llvm-project/commit/82a50812f7e539b69fb8031bee9c823e5290d1c9.diff

[clang] 5bd142c - [clang][dataflow] Remove unused 'Analysis' field from 'TerminatorVisitor'

2022-10-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-10-26T17:28:56+02:00 New Revision: 5bd142ca265d8243ecebb63ffed0c7afd3abf440 URL: https://github.com/llvm/llvm-project/commit/5bd142ca265d8243ecebb63ffed0c7afd3abf440 DIFF: https://github.com/llvm/llvm-project/commit/5bd142ca265d8243ecebb63ffed0c7afd3abf440.diff

[clang] 3605ebc - [analyzer][NFC][test] Add new RUN lint with support-symbolic-integer-casts=true to svalbuilder-rearrange-comparisons.c

2022-06-15 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-06-15T13:52:18+02:00 New Revision: 3605ebca32fc42d01a54eea00bb4bf8049dca214 URL: https://github.com/llvm/llvm-project/commit/3605ebca32fc42d01a54eea00bb4bf8049dca214 DIFF: https://github.com/llvm/llvm-project/commit/3605ebca32fc42d01a54eea00bb4bf8049dca214.diff

[clang] f7a38ee - [analyzer][NFC][test] Add new RUN line with support-symbolic-integer-casts=true to expr-inspection.cpp

2022-06-15 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-06-15T16:06:53+02:00 New Revision: f7a38eeccb03a8076e298fd6c0baed7d171f07b6 URL: https://github.com/llvm/llvm-project/commit/f7a38eeccb03a8076e298fd6c0baed7d171f07b6 DIFF: https://github.com/llvm/llvm-project/commit/f7a38eeccb03a8076e298fd6c0baed7d171f07b6.diff

[clang] f75bc5b - [analyzer] Fix symbol simplification assertion failure

2022-05-25 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-25T10:55:50+02:00 New Revision: f75bc5bfc8f898de10e14163998c63eeb2b9f705 URL: https://github.com/llvm/llvm-project/commit/f75bc5bfc8f898de10e14163998c63eeb2b9f705 DIFF: https://github.com/llvm/llvm-project/commit/f75bc5bfc8f898de10e14163998c63eeb2b9f705.diff

[clang] ca3d962 - [analyzer] Return from reAssume if State is posteriorly overconstrained

2022-05-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-26T13:50:40+02:00 New Revision: ca3d962548b9699d69157d102e071607d27ba126 URL: https://github.com/llvm/llvm-project/commit/ca3d962548b9699d69157d102e071607d27ba126 DIFF: https://github.com/llvm/llvm-project/commit/ca3d962548b9699d69157d102e071607d27ba126.diff

[clang] b5b2aec - [analyzer] Add UnarySymExpr

2022-05-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-26T14:00:27+02:00 New Revision: b5b2aec1ff51197343dede9741ea377f8314d41b URL: https://github.com/llvm/llvm-project/commit/b5b2aec1ff51197343dede9741ea377f8314d41b DIFF: https://github.com/llvm/llvm-project/commit/b5b2aec1ff51197343dede9741ea377f8314d41b.diff

[clang] 88abc50 - [analyzer][solver] Handle UnarySymExpr in RangeConstraintSolver

2022-05-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-26T14:09:46+02:00 New Revision: 88abc50398eb26d536518270b91939ce18687305 URL: https://github.com/llvm/llvm-project/commit/88abc50398eb26d536518270b91939ce18687305 DIFF: https://github.com/llvm/llvm-project/commit/88abc50398eb26d536518270b91939ce18687305.diff

[clang] cd5783d - [analyzer][solver] Handle UnarySymExpr in SMTConv

2022-05-26 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-26T14:14:10+02:00 New Revision: cd5783d3e82b98bfa140853fee95170852fd3c74 URL: https://github.com/llvm/llvm-project/commit/cd5783d3e82b98bfa140853fee95170852fd3c74 DIFF: https://github.com/llvm/llvm-project/commit/cd5783d3e82b98bfa140853fee95170852fd3c74.diff

[clang] 6ab69ef - [analyzer][NFC] Rename GREngine->CoreEngine, GRExprEngine->ExprEngine in comments and txt files

2022-05-27 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-05-27T11:04:35+02:00 New Revision: 6ab69efe61f2db50d72416a59fafa427249cb91b URL: https://github.com/llvm/llvm-project/commit/6ab69efe61f2db50d72416a59fafa427249cb91b DIFF: https://github.com/llvm/llvm-project/commit/6ab69efe61f2db50d72416a59fafa427249cb91b.diff

[clang] 160798a - [analyzer] Handle SymbolCast in SValBuilder

2022-05-31 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-06-01T08:42:04+02:00 New Revision: 160798ab9be87a9be323966c5f5816a5b7ca818f URL: https://github.com/llvm/llvm-project/commit/160798ab9be87a9be323966c5f5816a5b7ca818f DIFF: https://github.com/llvm/llvm-project/commit/160798ab9be87a9be323966c5f5816a5b7ca818f.diff

[clang] 81e4441 - [analyzer][NFC] Move overconstrained check from reAssume to assumeDualImpl

2022-06-02 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-06-02T11:41:19+02:00 New Revision: 81e44414aa925f5dcaf05ef658d1bffd8937ef4c URL: https://github.com/llvm/llvm-project/commit/81e44414aa925f5dcaf05ef658d1bffd8937ef4c DIFF: https://github.com/llvm/llvm-project/commit/81e44414aa925f5dcaf05ef658d1bffd8937ef4c.diff

[clang] f66f4d3 - [analyzer] Track assume call stack to detect fixpoint

2022-06-06 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-06-07T08:36:11+02:00 New Revision: f66f4d3b07b2226cf14bd7a0f2056dfb2d26a89f URL: https://github.com/llvm/llvm-project/commit/f66f4d3b07b2226cf14bd7a0f2056dfb2d26a89f DIFF: https://github.com/llvm/llvm-project/commit/f66f4d3b07b2226cf14bd7a0f2056dfb2d26a89f.diff

[clang] 17e9ea6 - [analyzer][NFC] Add LLVM_UNLIKELY to assumeDualImpl

2022-06-07 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-06-07T12:48:48+02:00 New Revision: 17e9ea61389411f3142b1a34989d3a1a42a5f1fb URL: https://github.com/llvm/llvm-project/commit/17e9ea61389411f3142b1a34989d3a1a42a5f1fb DIFF: https://github.com/llvm/llvm-project/commit/17e9ea61389411f3142b1a34989d3a1a42a5f1fb.diff

[clang] 8131ee4 - [analyzer] Remove NotifyAssumeClients

2022-06-07 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-06-07T13:02:03+02:00 New Revision: 8131ee4c43a8e33547628a313bf5ced9daed0045 URL: https://github.com/llvm/llvm-project/commit/8131ee4c43a8e33547628a313bf5ced9daed0045 DIFF: https://github.com/llvm/llvm-project/commit/8131ee4c43a8e33547628a313bf5ced9daed0045.diff

[clang] bc2c759 - [analyzer] Fix assertion failure after getKnownValue call

2022-06-09 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-06-09T16:13:57+02:00 New Revision: bc2c759aeee7d1560840a24365ce18b8e8b63ded URL: https://github.com/llvm/llvm-project/commit/bc2c759aeee7d1560840a24365ce18b8e8b63ded DIFF: https://github.com/llvm/llvm-project/commit/bc2c759aeee7d1560840a24365ce18b8e8b63ded.diff

[clang] ededa65 - [analyzer] StdLibraryFunctionsChecker: Add NotNull Arg Constraint

2020-03-20 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-03-20T17:34:29+01:00 New Revision: ededa65d559dac04ae50d3a33610875bb8f1a85e URL: https://github.com/llvm/llvm-project/commit/ededa65d559dac04ae50d3a33610875bb8f1a85e DIFF: https://github.com/llvm/llvm-project/commit/ededa65d559dac04ae50d3a33610875bb8f1a85e.diff

[clang] f59bb40 - Attempt to fix failing build-bot with [-Werror,-Wcovered-switch-default]

2020-03-20 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-03-20T18:04:55+01:00 New Revision: f59bb40e361c061adaa19e988f1f5769d3b8fac7 URL: https://github.com/llvm/llvm-project/commit/f59bb40e361c061adaa19e988f1f5769d3b8fac7 DIFF: https://github.com/llvm/llvm-project/commit/f59bb40e361c061adaa19e988f1f5769d3b8fac7.diff

[clang] eaa7d00 - [analyzer][NFC] Add missing LLVM header blurb (and license)

2020-03-25 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-03-25T17:57:29+01:00 New Revision: eaa7d00f366ba53e9cf4391163b93253065c2e6c URL: https://github.com/llvm/llvm-project/commit/eaa7d00f366ba53e9cf4391163b93253065c2e6c DIFF: https://github.com/llvm/llvm-project/commit/eaa7d00f366ba53e9cf4391163b93253065c2e6c.diff

[clang] 1a1bb87 - [analyzer] Add core.CallAndMessage to StdCLibraryFunctionArgsChecker's dependency

2020-03-30 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-03-30T17:57:15+02:00 New Revision: 1a1bb876dba41066f6e9a273c24fad04e0f9f2da URL: https://github.com/llvm/llvm-project/commit/1a1bb876dba41066f6e9a273c24fad04e0f9f2da DIFF: https://github.com/llvm/llvm-project/commit/1a1bb876dba41066f6e9a273c24fad04e0f9f2da.diff

[clang] 1525232 - [analyzer] StdLibraryFunctionsChecker: fix bug with arg constraints

2020-04-02 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-04-02T17:00:11+02:00 New Revision: 1525232e276153e325a49372894ae52ed07351a5 URL: https://github.com/llvm/llvm-project/commit/1525232e276153e325a49372894ae52ed07351a5 DIFF: https://github.com/llvm/llvm-project/commit/1525232e276153e325a49372894ae52ed07351a5.diff

[clang] a49a41e - [AST][NFC] Update outdated comments in ASTStructuralEquivalence.cpp

2020-02-21 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-02-21T15:54:58+01:00 New Revision: a49a41e7855fad426abf6ee9b8b88a535e8d33cc URL: https://github.com/llvm/llvm-project/commit/a49a41e7855fad426abf6ee9b8b88a535e8d33cc DIFF: https://github.com/llvm/llvm-project/commit/a49a41e7855fad426abf6ee9b8b88a535e8d33cc.diff

[clang] 4cfb91f - [Analyzer][Docs][NFC] Add CodeChecker to the command line tools

2019-12-12 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2019-12-12T14:22:52+01:00 New Revision: 4cfb91f1ef1b136f82015b792d6f1fafd47fd437 URL: https://github.com/llvm/llvm-project/commit/4cfb91f1ef1b136f82015b792d6f1fafd47fd437 DIFF: https://github.com/llvm/llvm-project/commit/4cfb91f1ef1b136f82015b792d6f1fafd47fd437.diff

[clang] 25234fd - [ASTImporter] Support functions with placeholder return types ...

2019-12-12 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2019-12-12T17:49:03+01:00 New Revision: 25234fd69e32e51bc800686075265f535d69d990 URL: https://github.com/llvm/llvm-project/commit/25234fd69e32e51bc800686075265f535d69d990 DIFF: https://github.com/llvm/llvm-project/commit/25234fd69e32e51bc800686075265f535d69d990.diff

[clang] 4becf68 - [ASTImporter] Friend class decl should not be visible in its context

2019-12-17 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2019-12-17T14:48:55+01:00 New Revision: 4becf68c6f17fe143539ceac954b21175914e1c1 URL: https://github.com/llvm/llvm-project/commit/4becf68c6f17fe143539ceac954b21175914e1c1 DIFF: https://github.com/llvm/llvm-project/commit/4becf68c6f17fe143539ceac954b21175914e1c1.diff

[clang] bc5b7e2 - recommit: [ASTImporter] Friend class decl should not be visible in its context

2019-12-18 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2019-12-18T11:43:46+01:00 New Revision: bc5b7e21e32b23603f4d6148adeb88cd34dd287e URL: https://github.com/llvm/llvm-project/commit/bc5b7e21e32b23603f4d6148adeb88cd34dd287e DIFF: https://github.com/llvm/llvm-project/commit/bc5b7e21e32b23603f4d6148adeb88cd34dd287e.diff

[clang] 59a960b - [analyzer] Skip analysis of inherited ctor as top-level function

2020-03-09 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-03-09T12:05:11+01:00 New Revision: 59a960b83c2d1559f31e1dd75728dd24fae2f68c URL: https://github.com/llvm/llvm-project/commit/59a960b83c2d1559f31e1dd75728dd24fae2f68c DIFF: https://github.com/llvm/llvm-project/commit/59a960b83c2d1559f31e1dd75728dd24fae2f68c.diff

<    1   2   3   >