r356318 - [analyzer] ConditionBRVisitor: Remove GDM checking

2019-03-16 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sat Mar 16 02:16:16 2019 New Revision: 356318 URL: http://llvm.org/viewvc/llvm-project?rev=356318=rev Log: [analyzer] ConditionBRVisitor: Remove GDM checking Summary: Removed the `GDM` checking what could prevent reports made by this visitor. Now we rely on constraint

r356323 - [analyzer] ConditionBRVisitor: Unknown condition evaluation support

2019-03-16 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sat Mar 16 06:47:55 2019 New Revision: 356323 URL: http://llvm.org/viewvc/llvm-project?rev=356323=rev Log: [analyzer] ConditionBRVisitor: Unknown condition evaluation support Summary: If the constraint information is not changed between two program states the analyzer has

r356322 - [analyzer] ConditionBRVisitor: Remove GDM checking

2019-03-16 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sat Mar 16 04:55:07 2019 New Revision: 356322 URL: http://llvm.org/viewvc/llvm-project?rev=356322=rev Log: [analyzer] ConditionBRVisitor: Remove GDM checking Summary: Removed the `GDM` checking what could prevent reports made by this visitor. Now we rely on constraint

r356319 - [analyzer] ConditionBRVisitor: Unknown condition evaluation support

2019-03-16 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sat Mar 16 02:24:30 2019 New Revision: 356319 URL: http://llvm.org/viewvc/llvm-project?rev=356319=rev Log: [analyzer] ConditionBRVisitor: Unknown condition evaluation support Summary: If the constraint information is not changed between two program states the analyzer has

r356320 - Revert "[analyzer] ConditionBRVisitor: Unknown condition evaluation support"

2019-03-16 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sat Mar 16 03:06:06 2019 New Revision: 356320 URL: http://llvm.org/viewvc/llvm-project?rev=356320=rev Log: Revert "[analyzer] ConditionBRVisitor: Unknown condition evaluation support" This reverts commit 0fe67a61cd4aec13c7969a179517f1cc06ab05cd. Modified:

r356321 - Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"

2019-03-16 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sat Mar 16 03:44:49 2019 New Revision: 356321 URL: http://llvm.org/viewvc/llvm-project?rev=356321=rev Log: Revert "[analyzer] ConditionBRVisitor: Remove GDM checking" This reverts commit f962485adad9d646511fd3240c0408d9554e6784. Modified:

r356307 - hello, clang

2019-03-15 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Fri Mar 15 16:44:35 2019 New Revision: 356307 URL: http://llvm.org/viewvc/llvm-project?rev=356307=rev Log: hello, clang Test commit with head and body. Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h Modified:

r362249 - [analyzer] print() JSONify: ExplodedNode revision

2019-05-31 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Fri May 31 10:54:12 2019 New Revision: 362249 URL: http://llvm.org/viewvc/llvm-project?rev=362249=rev Log: [analyzer] print() JSONify: ExplodedNode revision Summary: Revert node-ID removal. Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus

r361979 - [analyzer] print() JSONify: Type information implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 08:53:12 2019 New Revision: 361979 URL: http://llvm.org/viewvc/llvm-project?rev=361979=rev Log: [analyzer] print() JSONify: Type information implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ

r361978 - [analyzer] print() JSONify: Constraints implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 08:43:26 2019 New Revision: 361978 URL: http://llvm.org/viewvc/llvm-project?rev=361978=rev Log: [analyzer] print() JSONify: Constraints implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ

r361980 - [analyzer] print() JSONify: Constructing objects implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 08:58:26 2019 New Revision: 361980 URL: http://llvm.org/viewvc/llvm-project?rev=361980=rev Log: [analyzer] print() JSONify: Constructing objects implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ

r361983 - [analyzer] print() JSONify: Program state implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 09:22:21 2019 New Revision: 361983 URL: http://llvm.org/viewvc/llvm-project?rev=361983=rev Log: [analyzer] print() JSONify: Program state implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ

r361972 - [analyzer] print() JSONify: Store implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 08:25:19 2019 New Revision: 361972 URL: http://llvm.org/viewvc/llvm-project?rev=361972=rev Log: [analyzer] print() JSONify: Store implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ Subscribers:

r361976 - [analyzer] print() JSONify: Environment implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 08:36:58 2019 New Revision: 361976 URL: http://llvm.org/viewvc/llvm-project?rev=361976=rev Log: [analyzer] print() JSONify: Environment implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ

r361982 - [analyzer] print() JSONify: Checker messages implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 09:02:33 2019 New Revision: 361982 URL: http://llvm.org/viewvc/llvm-project?rev=361982=rev Log: [analyzer] print() JSONify: Checker messages implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ

Re: r361997 - [analyzer] print() JSONify: getNodeLabel implementation

2019-05-30 Thread Csaba Dabis via cfe-commits
ly, it fails after 2-5 runs for me, running: > python bin/llvm-lit.py -v ../clang/test/Analysis/dump_egraph.cpp > > Please could you take a look? > > Note that I'm not certain it was this commit that started the flakiness, > it is the latest which changed the failing line. > >

r362098 - [analyzer] print() JSONify chain: Fix build-bot breaks

2019-05-30 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Thu May 30 07:48:43 2019 New Revision: 362098 URL: http://llvm.org/viewvc/llvm-project?rev=362098=rev Log: [analyzer] print() JSONify chain: Fix build-bot breaks Summary: Printing out a map structure different in different environments so that this patch generalize the

r362011 - [analyzer] print() JSONify chain: Generic stmt_id

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 11:58:41 2019 New Revision: 362011 URL: http://llvm.org/viewvc/llvm-project?rev=362011=rev Log: [analyzer] print() JSONify chain: Generic stmt_id Summary: Some environment create less statements so make them generic. Modified:

r361997 - [analyzer] print() JSONify: getNodeLabel implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 11:05:53 2019 New Revision: 361997 URL: http://llvm.org/viewvc/llvm-project?rev=361997=rev Log: [analyzer] print() JSONify: getNodeLabel implementation Summary: This patch also rewrites the ProgramPoint printing. Reviewers: NoQ, xazax.hun, ravikandhadai,

r362002 - [analyzer] print() JSONify: Decl revision

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 11:21:14 2019 New Revision: 362002 URL: http://llvm.org/viewvc/llvm-project?rev=362002=rev Log: [analyzer] print() JSONify: Decl revision Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ Subscribers:

r362008 - [analyzer] print() JSONify: SVal implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 11:38:52 2019 New Revision: 362008 URL: http://llvm.org/viewvc/llvm-project?rev=362008=rev Log: [analyzer] print() JSONify: SVal implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ Subscribers:

r362000 - [analyzer][AST] print() JSONify: Stmt implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 11:17:18 2019 New Revision: 362000 URL: http://llvm.org/viewvc/llvm-project?rev=362000=rev Log: [analyzer][AST] print() JSONify: Stmt implementation Summary: This patch also adds a function called `JsonFormat()` which: - Flattens the string so removes the

r362003 - [analyzer] print() JSONify: CFG implementation

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 11:29:31 2019 New Revision: 362003 URL: http://llvm.org/viewvc/llvm-project?rev=362003=rev Log: [analyzer] print() JSONify: CFG implementation Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ Subscribers:

r362014 - [analyzer] [NFC] PathDiagnostic: Create PathDiagnosticPopUpPiece

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 12:21:59 2019 New Revision: 362014 URL: http://llvm.org/viewvc/llvm-project?rev=362014=rev Log: [analyzer] [NFC] PathDiagnostic: Create PathDiagnosticPopUpPiece Summary: This new piece is similar to our macro expansion printing in HTML reports: On mouse-hover

r362101 - [analyzer] print() JSONify chain: Fix possible build-bot breaks

2019-05-30 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Thu May 30 08:15:57 2019 New Revision: 362101 URL: http://llvm.org/viewvc/llvm-project?rev=362101=rev Log: [analyzer] print() JSONify chain: Fix possible build-bot breaks Summary: Printing constructing_objects could be non-deterministic as it is a map. Modified:

Re: r361997 - [analyzer] print() JSONify: getNodeLabel implementation

2019-05-30 Thread Csaba Dabis via cfe-commits
t;> but only hides it by deleting tests that showed that said determinism >> exists in the first place, >> is not a fix. >> >> Roman. >> >> On Thu, May 30, 2019 at 6:14 PM Csaba Dabis >> wrote: >> > >> > Hm, the first `CHECK: const

Re: r361997 - [analyzer] print() JSONify: getNodeLabel implementation

2019-05-30 Thread Csaba Dabis via cfe-commits
ot; >>> >>> Running locally, it fails after 2-5 runs for me, running: >>> python bin/llvm-lit.py -v ../clang/test/Analysis/dump_egraph.cpp >>> >>> Please could you take a look? >>> >>> Note that I'm not certain it was this commit th

Re: r361997 - [analyzer] print() JSONify: getNodeLabel implementation

2019-05-30 Thread Csaba Dabis via cfe-commits
/commit/32d545f930ce44614ac8398693dacd1d6dbc41a3 Thanks everyone! On Thu, May 30, 2019 at 4:52 PM Roman Lebedev wrote: > On Thu, May 30, 2019 at 5:48 PM Csaba Dabis via cfe-commits > wrote: > > > > Thanks you! > > > > Fixed by > https://gi

r362632 - [analyzer] PathDiagnosticPopUpPiece: working with CharSourceRange

2019-06-05 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Jun 5 11:55:39 2019 New Revision: 362632 URL: http://llvm.org/viewvc/llvm-project?rev=362632=rev Log: [analyzer] PathDiagnosticPopUpPiece: working with CharSourceRange Summary: Sometimes we are at character boundaries so past the token-range. Modified:

r362025 - [analyzer] ConditionBRVisitor: Remove duplicated code

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 13:18:07 2019 New Revision: 362025 URL: http://llvm.org/viewvc/llvm-project?rev=362025=rev Log: [analyzer] ConditionBRVisitor: Remove duplicated code Summary: - Reviewers: NoQ, george.karpenkov Reviewed By: NoQ Subscribers: cfe-commits, xazax.hun,

r362027 - [analyzer] ConditionBRVisitor: Boolean support

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 13:34:29 2019 New Revision: 362027 URL: http://llvm.org/viewvc/llvm-project?rev=362027=rev Log: [analyzer] ConditionBRVisitor: Boolean support Summary: - Reviewers: NoQ, george.karpenkov Reviewed By: NoQ, george.karpenkov Subscribers: cfe-commits, xazax.hun,

r362023 - [analyzer] ConditionBRVisitor: Test 'add-pop-up-notes=false'

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 13:13:29 2019 New Revision: 362023 URL: http://llvm.org/viewvc/llvm-project?rev=362023=rev Log: [analyzer] ConditionBRVisitor: Test 'add-pop-up-notes=false' Summary: - Reviewers: NoQ, alexfh Reviewed By: alexfh Subscribers: cfe-commits, xazax.hun,

r362026 - [analyzer] ConditionBRVisitor: MemberExpr support

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 13:29:02 2019 New Revision: 362026 URL: http://llvm.org/viewvc/llvm-project?rev=362026=rev Log: [analyzer] ConditionBRVisitor: MemberExpr support Summary: - Reviewers: NoQ, george.karpenkov Reviewed By: NoQ Subscribers: cfe-commits, xazax.hun,

r362030 - [analyzer] Remove EndPath function as it is dead code

2019-05-29 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed May 29 13:47:27 2019 New Revision: 362030 URL: http://llvm.org/viewvc/llvm-project?rev=362030=rev Log: [analyzer] Remove EndPath function as it is dead code Summary: - Reviewers: george.karpenkov Reviewed By: george.karpenkov Subscribers: baloghadamsoftware,

r363515 - [analyzer] ReturnVisitor: more portable test case

2019-06-16 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sun Jun 16 10:29:37 2019 New Revision: 363515 URL: http://llvm.org/viewvc/llvm-project?rev=363515=rev Log: [analyzer] ReturnVisitor: more portable test case Modified: cfe/trunk/test/Analysis/inlining/placement-new-fp-suppression.cpp Modified:

r363491 - [analyzer] ReturnVisitor: Bypass everything to see inlined calls

2019-06-15 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sat Jun 15 03:05:49 2019 New Revision: 363491 URL: http://llvm.org/viewvc/llvm-project?rev=363491=rev Log: [analyzer] ReturnVisitor: Bypass everything to see inlined calls Summary: When we traversed backwards on ExplodedNodes to see where processed the given statement we

r364259 - [analyzer] ExprEngine: Escape pointers in bitwise operations

2019-06-24 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Mon Jun 24 17:44:33 2019 New Revision: 364259 URL: http://llvm.org/viewvc/llvm-project?rev=364259=rev Log: [analyzer] ExprEngine: Escape pointers in bitwise operations Summary: After evaluation it would be an Unknown value and tracking would be lost. Reviewers: NoQ,

r364270 - [analyzer] JsonSupport: Escape escapes

2019-06-24 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Mon Jun 24 20:08:32 2019 New Revision: 364270 URL: http://llvm.org/viewvc/llvm-project?rev=364270=rev Log: [analyzer] JsonSupport: Escape escapes Summary: - Reviewers: NoQ Reviewed By: NoQ Subscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin,

r364271 - [analyzer] print() JSONify: Create pointers

2019-06-24 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Mon Jun 24 20:17:55 2019 New Revision: 364271 URL: http://llvm.org/viewvc/llvm-project?rev=364271=rev Log: [analyzer] print() JSONify: Create pointers Summary: - Reviewers: NoQ Reviewed By: NoQ Subscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin,

r363187 - [analyzer] ProgramPoint: more explicit printJson()

2019-06-12 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Jun 12 11:24:02 2019 New Revision: 363187 URL: http://llvm.org/viewvc/llvm-project?rev=363187=rev Log: [analyzer] ProgramPoint: more explicit printJson() Summary: Now we print out every possible kinds of ProgramPoints. Reviewers: NoQ, xazax.hun, ravikandhadai,

r364193 - [analyzer] Fix JSON dumps for ExplodedNodes

2019-06-24 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Mon Jun 24 09:06:44 2019 New Revision: 364193 URL: http://llvm.org/viewvc/llvm-project?rev=364193=rev Log: [analyzer] Fix JSON dumps for ExplodedNodes Summary: - Now we could see the `has_report` property in `trim-egraph` mode. - This patch also removes the trailing comma

r364197 - [analyzer] print() JSONify: ProgramPoint revision

2019-06-24 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Mon Jun 24 09:19:39 2019 New Revision: 364197 URL: http://llvm.org/viewvc/llvm-project?rev=364197=rev Log: [analyzer] print() JSONify: ProgramPoint revision Summary: Now we also print out the filename with its path. Reviewers: NoQ Reviewed By: NoQ Subscribers:

r365103 - [analyzer] ReturnValueChecker: Model the guaranteed boolean return value of function calls

2019-07-03 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Jul 3 17:50:50 2019 New Revision: 365103 URL: http://llvm.org/viewvc/llvm-project?rev=365103=rev Log: [analyzer] ReturnValueChecker: Model the guaranteed boolean return value of function calls Summary: It models the known LLVM methods paired with their class.

r365582 - [analyzer] CastValueChecker: Model casts

2019-07-09 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Tue Jul 9 16:33:23 2019 New Revision: 365582 URL: http://llvm.org/viewvc/llvm-project?rev=365582=rev Log: [analyzer] CastValueChecker: Model casts Summary: It models the LLVM casts: - `cast<>` - `dyn_cast<>` - `cast_or_null<>` - `dyn_cast_or_null<>` It has a very basic

r365585 - [analyzer] CastValueChecker: Model casts

2019-07-09 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Tue Jul 9 17:20:03 2019 New Revision: 365585 URL: http://llvm.org/viewvc/llvm-project?rev=365585=rev Log: [analyzer] CastValueChecker: Model casts Summary: It models the LLVM casts: - `cast<>` - `dyn_cast<>` - `cast_or_null<>` - `dyn_cast_or_null<>` It has a very basic

r365590 - [analyzer] CastValueChecker: Remove a dump()

2019-07-09 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Tue Jul 9 17:50:01 2019 New Revision: 365590 URL: http://llvm.org/viewvc/llvm-project?rev=365590=rev Log: [analyzer] CastValueChecker: Remove a dump() Summary: Fix a nit. Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp Modified:

r365584 - Revert "[analyzer] CastValueChecker: Model casts"

2019-07-09 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Tue Jul 9 16:47:09 2019 New Revision: 365584 URL: http://llvm.org/viewvc/llvm-project?rev=365584=rev Log: Revert "[analyzer] CastValueChecker: Model casts" This reverts commit 27cf6664437efd640bb6db5594bafcce68fa2854. Removed:

r369078 - [analyzer] Analysis: Silence checkers

2019-08-15 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Thu Aug 15 18:53:14 2019 New Revision: 369078 URL: http://llvm.org/viewvc/llvm-project?rev=369078=rev Log: [analyzer] Analysis: Silence checkers Summary: This patch introduces a new `analyzer-config` configuration: `-analyzer-config silence-checkers` which could be used to

[clang-tools-extra] r369078 - [analyzer] Analysis: Silence checkers

2019-08-15 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Thu Aug 15 18:53:14 2019 New Revision: 369078 URL: http://llvm.org/viewvc/llvm-project?rev=369078=rev Log: [analyzer] Analysis: Silence checkers Summary: This patch introduces a new `analyzer-config` configuration: `-analyzer-config silence-checkers` which could be used to

r366391 - [analyzer] MallocChecker: Prevent Integer Set Library false positives

2019-07-17 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Jul 17 17:03:55 2019 New Revision: 366391 URL: http://llvm.org/viewvc/llvm-project?rev=366391=rev Log: [analyzer] MallocChecker: Prevent Integer Set Library false positives Summary: Integer Set Library using retain-count based allocation which is not modeled in

r367608 - [analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its profile

2019-08-01 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Thu Aug 1 13:41:13 2019 New Revision: 367608 URL: http://llvm.org/viewvc/llvm-project?rev=367608=rev Log: [analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its profile Summary: It allows discriminating between stack frames of the same call that is

r368382 - [analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces

2019-08-08 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Thu Aug 8 19:20:44 2019 New Revision: 368382 URL: http://llvm.org/viewvc/llvm-project?rev=368382=rev Log: [analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces Summary: A condition could be a multi-line expression where we create the highlight in separated

r368383 - [analyzer] CastValueChecker: Model castAs(), getAs()

2019-08-08 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Thu Aug 8 19:24:42 2019 New Revision: 368383 URL: http://llvm.org/viewvc/llvm-project?rev=368383=rev Log: [analyzer] CastValueChecker: Model castAs(), getAs() Summary: Thanks to Kristóf Umann for the great idea! Reviewed By: NoQ Differential Revision:

r369609 - [analyzer] CastValueChecker: Try to fix the buildbots

2019-08-21 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Aug 21 18:41:06 2019 New Revision: 369609 URL: http://llvm.org/viewvc/llvm-project?rev=369609=rev Log: [analyzer] CastValueChecker: Try to fix the buildbots Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp Modified:

r369604 - [analyzer] TrackConstraintBRVisitor: Do not track unknown values

2019-08-21 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Aug 21 17:06:58 2019 New Revision: 369604 URL: http://llvm.org/viewvc/llvm-project?rev=369604=rev Log: [analyzer] TrackConstraintBRVisitor: Do not track unknown values Summary: - Reviewers: NoQ, Szelethus Reviewed By: NoQ, Szelethus Differential Revision:

r369605 - [analyzer] CastValueChecker: Store the dynamic types and casts

2019-08-21 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Aug 21 17:20:36 2019 New Revision: 369605 URL: http://llvm.org/viewvc/llvm-project?rev=369605=rev Log: [analyzer] CastValueChecker: Store the dynamic types and casts Summary: This patch introduces `DynamicCastInfo` similar to `DynamicTypeInfo` which is stored in

r369607 - [analyzer] CastValueChecker: Rewrite dead header hotfix

2019-08-21 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Aug 21 17:36:42 2019 New Revision: 369607 URL: http://llvm.org/viewvc/llvm-project?rev=369607=rev Log: [analyzer] CastValueChecker: Rewrite dead header hotfix Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp

r369615 - [analyzer] CastValueChecker: Model isa(), isa_and_nonnull()

2019-08-21 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Wed Aug 21 19:57:59 2019 New Revision: 369615 URL: http://llvm.org/viewvc/llvm-project?rev=369615=rev Log: [analyzer] CastValueChecker: Model isa(), isa_and_nonnull() Summary: - Reviewed By: NoQ Differential Revision: https://reviews.llvm.org/D66423 Modified:

r369845 - [analyzer] Analysis: Fix checker silencing

2019-08-24 Thread Csaba Dabis via cfe-commits
Author: charusso Date: Sat Aug 24 05:17:49 2019 New Revision: 369845 URL: http://llvm.org/viewvc/llvm-project?rev=369845=rev Log: [analyzer] Analysis: Fix checker silencing Modified: cfe/trunk/lib/Frontend/CompilerInvocation.cpp cfe/trunk/tools/scan-build/bin/scan-build Modified: