[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,

[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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] f66f4d3 - [analyzer] Track assume call stack to detect fixpoint

2022-06-07 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] 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] 160798a - [analyzer] Handle SymbolCast in SValBuilder

2022-06-01 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] 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] 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] 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] 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] 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] 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] 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

[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] 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] 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] 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] 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] 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] 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] 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] 280b430 - [Analyzer] Add docs to StdCLibraryFunctionArgsChecker

2022-01-31 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2022-01-31T11:25:31+01:00 New Revision: 280b43031ca05bfb674017f91988b7c9b659a820 URL: https://github.com/llvm/llvm-project/commit/280b43031ca05bfb674017f91988b7c9b659a820 DIFF: https://github.com/llvm/llvm-project/commit/280b43031ca05bfb674017f91988b7c9b659a820.diff

[clang] 2ccf0b7 - Fix build failure with GCC 11 in C++20 mode

2022-01-06 Thread Gabor Marton via cfe-commits
Author: Evgeny Mandrikov Date: 2022-01-06T17:20:26+01:00 New Revision: 2ccf0b76bcaf0895e04f14e3ff53c59dd96f9f0f URL: https://github.com/llvm/llvm-project/commit/2ccf0b76bcaf0895e04f14e3ff53c59dd96f9f0f DIFF:

[clang] bd9e239 - [analyzer] Expand conversion check to check more expressions for overflow and underflow

2021-12-15 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-12-15T11:41:34+01:00 New Revision: bd9e23943a2299804172da69b308533241f99b60 URL: https://github.com/llvm/llvm-project/commit/bd9e23943a2299804172da69b308533241f99b60 DIFF: https://github.com/llvm/llvm-project/commit/bd9e23943a2299804172da69b308533241f99b60.diff

[clang] 978431e - [Analyzer] SValBuilder: Simlify a SymExpr to the absolute simplest form

2021-12-07 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-12-07T10:02:32+01:00 New Revision: 978431e80b6155878d8d5b4fc7a67c90af317c01 URL: https://github.com/llvm/llvm-project/commit/978431e80b6155878d8d5b4fc7a67c90af317c01 DIFF: https://github.com/llvm/llvm-project/commit/978431e80b6155878d8d5b4fc7a67c90af317c01.diff

[clang] 341a30a - [clang][ASTImporter] Update lookup table correctly at deduction guides.

2021-12-06 Thread Gabor Marton via cfe-commits
Author: Balázs Kéri Date: 2021-12-06T20:40:16+01:00 New Revision: 341a30a4ba4bdb537916986cbc0bac8b5b31d8f6 URL: https://github.com/llvm/llvm-project/commit/341a30a4ba4bdb537916986cbc0bac8b5b31d8f6 DIFF: https://github.com/llvm/llvm-project/commit/341a30a4ba4bdb537916986cbc0bac8b5b31d8f6.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] 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] 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] 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] 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] 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] 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] 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] 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] cac8808 - [analyzer][solver] Introduce reasoning for not equal to operator

2021-10-22 Thread Gabor Marton via cfe-commits
Author: Manas Date: 2021-10-22T12:00:08+02:00 New Revision: cac8808f154cef6446e507d55aba5721c3bd5352 URL: https://github.com/llvm/llvm-project/commit/cac8808f154cef6446e507d55aba5721c3bd5352 DIFF: https://github.com/llvm/llvm-project/commit/cac8808f154cef6446e507d55aba5721c3bd5352.diff LOG:

[clang] 5f8dca0 - [Analyzer] Extend ConstraintAssignor to handle remainder op

2021-10-22 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-10-22T10:47:25+02:00 New Revision: 5f8dca023504ed21490a40ddc3a0241029782910 URL: https://github.com/llvm/llvm-project/commit/5f8dca023504ed21490a40ddc3a0241029782910 DIFF: https://github.com/llvm/llvm-project/commit/5f8dca023504ed21490a40ddc3a0241029782910.diff

[clang] e2a2c83 - [Analyzer][NFC] Add RangedConstraintManager to ConstraintAssignor

2021-10-22 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-10-22T10:46:28+02:00 New Revision: e2a2c8328f573c792dcf8707b6adb88fa38cca11 URL: https://github.com/llvm/llvm-project/commit/e2a2c8328f573c792dcf8707b6adb88fa38cca11 DIFF: https://github.com/llvm/llvm-project/commit/e2a2c8328f573c792dcf8707b6adb88fa38cca11.diff

[clang] 01b4ddb - [Analyzer][NFC] Move RangeConstraintManager's def before ConstraintAssignor's def

2021-10-22 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-10-22T10:46:28+02:00 New Revision: 01b4ddbfbbad575437fb157e8c6e3e2ffb8f0cea URL: https://github.com/llvm/llvm-project/commit/01b4ddbfbbad575437fb157e8c6e3e2ffb8f0cea DIFF: https://github.com/llvm/llvm-project/commit/01b4ddbfbbad575437fb157e8c6e3e2ffb8f0cea.diff

[clang] ac3edc5 - [analyzer][solver] Handle simplification to ConcreteInt

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

[clang] b8f6c85 - [analyzer][NFC] Add RangeSet::dump

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

[clang] 792be5d - [analyzer][solver] Fix CmpOpTable handling bug

2021-10-06 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-10-06T18:28:03+02:00 New Revision: 792be5df92e8d068ca32444383bc4e9e7f024bd8 URL: https://github.com/llvm/llvm-project/commit/792be5df92e8d068ca32444383bc4e9e7f024bd8 DIFF: https://github.com/llvm/llvm-project/commit/792be5df92e8d068ca32444383bc4e9e7f024bd8.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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 4b99f9c - [analyzer][StdLibraryFunctionsChecker] Track dependent arguments

2021-04-27 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-04-27T15:35:58+02:00 New Revision: 4b99f9c7db262aa55d56d3af2f228e624ff7b55f URL: https://github.com/llvm/llvm-project/commit/4b99f9c7db262aa55d56d3af2f228e624ff7b55f DIFF: https://github.com/llvm/llvm-project/commit/4b99f9c7db262aa55d56d3af2f228e624ff7b55f.diff

[clang] a7cb951 - [Analyzer][StdLibraryFunctionsChecker] Describe arg constraints

2021-04-23 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-04-23T17:27:54+02:00 New Revision: a7cb951fa40df14d98c51059194ae42855b96a08 URL: https://github.com/llvm/llvm-project/commit/a7cb951fa40df14d98c51059194ae42855b96a08 DIFF: https://github.com/llvm/llvm-project/commit/a7cb951fa40df14d98c51059194ae42855b96a08.diff

[clang] efa7df1 - [Analyzer] Track RValue expressions

2021-03-30 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-03-30T14:48:38+02:00 New Revision: efa7df1682c2859dabe3646ee7dc01e68629417f URL: https://github.com/llvm/llvm-project/commit/efa7df1682c2859dabe3646ee7dc01e68629417f DIFF: https://github.com/llvm/llvm-project/commit/efa7df1682c2859dabe3646ee7dc01e68629417f.diff

[clang] 98f6cbd - [ASTImporter] Import member specialization/instantiation of enum decls

2021-03-30 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-03-30T11:57:46+02:00 New Revision: 98f6cbd68eba04764f318d467abb10feca713776 URL: https://github.com/llvm/llvm-project/commit/98f6cbd68eba04764f318d467abb10feca713776 DIFF: https://github.com/llvm/llvm-project/commit/98f6cbd68eba04764f318d467abb10feca713776.diff

[clang] 015c398 - [Analyzer] Infer 0 value when the divisible is 0 (bug fix)

2021-03-25 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-03-25T18:25:06+01:00 New Revision: 015c39882ebc1771713a7523ae76903ebae83288 URL: https://github.com/llvm/llvm-project/commit/015c39882ebc1771713a7523ae76903ebae83288 DIFF: https://github.com/llvm/llvm-project/commit/015c39882ebc1771713a7523ae76903ebae83288.diff

[clang] f8a850c - [Analyzer][NFC] Fix typos in comments

2021-03-24 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2021-03-24T11:46:10+01:00 New Revision: f8a850ccf452f9709c652823f11f1e95fd2c0e24 URL: https://github.com/llvm/llvm-project/commit/f8a850ccf452f9709c652823f11f1e95fd2c0e24 DIFF: https://github.com/llvm/llvm-project/commit/f8a850ccf452f9709c652823f11f1e95fd2c0e24.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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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

[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

[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] 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] 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] 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

[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] 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] bd03ef1 - [analyzer] ApiModeling: Add buffer size arg constraint

2020-05-29 Thread Gabor Marton via cfe-commits
Author: Gabor Marton Date: 2020-05-29T16:13:57+02:00 New Revision: bd03ef19beb8a3476d5cd9f744c5fba5ca287c51 URL: https://github.com/llvm/llvm-project/commit/bd03ef19beb8a3476d5cd9f744c5fba5ca287c51 DIFF: https://github.com/llvm/llvm-project/commit/bd03ef19beb8a3476d5cd9f744c5fba5ca287c51.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] 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] 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

  1   2   3   >