Author: charusso
Date: Fri Mar 15 16:44:35 2019
New Revision: 356307
URL: http://llvm.org/viewvc/llvm-project?rev=356307&view=rev
Log:
hello, clang
Test commit with head and body.
Modified:
cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
Modified: cfe/trunk/include/cl
Author: charusso
Date: Sat Mar 16 02:16:16 2019
New Revision: 356318
URL: http://llvm.org/viewvc/llvm-project?rev=356318&view=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
Author: charusso
Date: Sat Mar 16 02:24:30 2019
New Revision: 356319
URL: http://llvm.org/viewvc/llvm-project?rev=356319&view=rev
Log:
[analyzer] ConditionBRVisitor: Unknown condition evaluation support
Summary: If the constraint information is not changed between two program
states the analyzer
Author: charusso
Date: Sat Mar 16 03:06:06 2019
New Revision: 356320
URL: http://llvm.org/viewvc/llvm-project?rev=356320&view=rev
Log:
Revert "[analyzer] ConditionBRVisitor: Unknown condition evaluation support"
This reverts commit 0fe67a61cd4aec13c7969a179517f1cc06ab05cd.
Modified:
cfe/trun
Author: charusso
Date: Sat Mar 16 03:44:49 2019
New Revision: 356321
URL: http://llvm.org/viewvc/llvm-project?rev=356321&view=rev
Log:
Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"
This reverts commit f962485adad9d646511fd3240c0408d9554e6784.
Modified:
cfe/trunk/include/clang/
Author: charusso
Date: Sat Mar 16 04:55:07 2019
New Revision: 356322
URL: http://llvm.org/viewvc/llvm-project?rev=356322&view=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
Author: charusso
Date: Sat Mar 16 06:47:55 2019
New Revision: 356323
URL: http://llvm.org/viewvc/llvm-project?rev=356323&view=rev
Log:
[analyzer] ConditionBRVisitor: Unknown condition evaluation support
Summary:
If the constraint information is not changed between two program states the
analyzer
t;
> 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 that started the flakiness,
> it is the latest which changed the
Author: charusso
Date: Thu May 30 07:48:43 2019
New Revision: 362098
URL: http://llvm.org/viewvc/llvm-project?rev=362098&view=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
tmt, #1\}\"
>>>
>>> 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
Author: charusso
Date: Thu May 30 08:15:57 2019
New Revision: 362101
URL: http://llvm.org/viewvc/llvm-project?rev=362101&view=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:
c
/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
ing
>> nondeterminizm,
>> 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
>>
Author: charusso
Date: Fri May 31 10:54:12 2019
New Revision: 362249
URL: http://llvm.org/viewvc/llvm-project?rev=362249&view=rev
Log:
[analyzer] print() JSONify: ExplodedNode revision
Summary: Revert node-ID removal.
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Subsc
Author: charusso
Date: Wed Jun 5 11:55:39 2019
New Revision: 362632
URL: http://llvm.org/viewvc/llvm-project?rev=362632&view=rev
Log:
[analyzer] PathDiagnosticPopUpPiece: working with CharSourceRange
Summary: Sometimes we are at character boundaries so past the token-range.
Modified:
cfe/tr
Author: charusso
Date: Wed Jun 12 11:24:02 2019
New Revision: 363187
URL: http://llvm.org/viewvc/llvm-project?rev=363187&view=rev
Log:
[analyzer] ProgramPoint: more explicit printJson()
Summary: Now we print out every possible kinds of ProgramPoints.
Reviewers: NoQ, xazax.hun, ravikandhadai, bal
Author: charusso
Date: Sat Jun 15 03:05:49 2019
New Revision: 363491
URL: http://llvm.org/viewvc/llvm-project?rev=363491&view=rev
Log:
[analyzer] ReturnVisitor: Bypass everything to see inlined calls
Summary:
When we traversed backwards on ExplodedNodes to see where processed the
given statement
Author: charusso
Date: Sun Jun 16 10:29:37 2019
New Revision: 363515
URL: http://llvm.org/viewvc/llvm-project?rev=363515&view=rev
Log:
[analyzer] ReturnVisitor: more portable test case
Modified:
cfe/trunk/test/Analysis/inlining/placement-new-fp-suppression.cpp
Modified: cfe/trunk/test/Analys
Author: charusso
Date: Wed Jul 17 17:03:55 2019
New Revision: 366391
URL: http://llvm.org/viewvc/llvm-project?rev=366391&view=rev
Log:
[analyzer] MallocChecker: Prevent Integer Set Library false positives
Summary:
Integer Set Library using retain-count based allocation which is not
modeled in Mal
Author: charusso
Date: Thu Aug 1 13:41:13 2019
New Revision: 367608
URL: http://llvm.org/viewvc/llvm-project?rev=367608&view=rev
Log:
[analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its
profile
Summary:
It allows discriminating between stack frames of the same call that is
Author: charusso
Date: Thu Aug 8 19:20:44 2019
New Revision: 368382
URL: http://llvm.org/viewvc/llvm-project?rev=368382&view=rev
Log:
[analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces
Summary:
A condition could be a multi-line expression where we create the highlight
in separated
Author: charusso
Date: Thu Aug 8 19:24:42 2019
New Revision: 368383
URL: http://llvm.org/viewvc/llvm-project?rev=368383&view=rev
Log:
[analyzer] CastValueChecker: Model castAs(), getAs()
Summary: Thanks to Kristóf Umann for the great idea!
Reviewed By: NoQ
Differential Revision: https://review
Author: charusso
Date: Thu Aug 15 18:53:14 2019
New Revision: 369078
URL: http://llvm.org/viewvc/llvm-project?rev=369078&view=rev
Log:
[analyzer] Analysis: Silence checkers
Summary:
This patch introduces a new `analyzer-config` configuration:
`-analyzer-config silence-checkers`
which could be use
Author: charusso
Date: Thu Aug 15 18:53:14 2019
New Revision: 369078
URL: http://llvm.org/viewvc/llvm-project?rev=369078&view=rev
Log:
[analyzer] Analysis: Silence checkers
Summary:
This patch introduces a new `analyzer-config` configuration:
`-analyzer-config silence-checkers`
which could be use
Author: charusso
Date: Mon Jun 24 09:06:44 2019
New Revision: 364193
URL: http://llvm.org/viewvc/llvm-project?rev=364193&view=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 co
Author: charusso
Date: Mon Jun 24 09:19:39 2019
New Revision: 364197
URL: http://llvm.org/viewvc/llvm-project?rev=364197&view=rev
Log:
[analyzer] print() JSONify: ProgramPoint revision
Summary: Now we also print out the filename with its path.
Reviewers: NoQ
Reviewed By: NoQ
Subscribers: xazax
Author: charusso
Date: Mon Jun 24 17:44:33 2019
New Revision: 364259
URL: http://llvm.org/viewvc/llvm-project?rev=364259&view=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, x
Author: charusso
Date: Mon Jun 24 20:08:32 2019
New Revision: 364270
URL: http://llvm.org/viewvc/llvm-project?rev=364270&view=rev
Log:
[analyzer] JsonSupport: Escape escapes
Summary: -
Reviewers: NoQ
Reviewed By: NoQ
Subscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin,
m
Author: charusso
Date: Mon Jun 24 20:17:55 2019
New Revision: 364271
URL: http://llvm.org/viewvc/llvm-project?rev=364271&view=rev
Log:
[analyzer] print() JSONify: Create pointers
Summary: -
Reviewers: NoQ
Reviewed By: NoQ
Subscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin,
Author: charusso
Date: Wed Jul 3 17:50:50 2019
New Revision: 365103
URL: http://llvm.org/viewvc/llvm-project?rev=365103&view=rev
Log:
[analyzer] ReturnValueChecker: Model the guaranteed boolean return value of
function calls
Summary: It models the known LLVM methods paired with their class.
Re
Author: charusso
Date: Tue Jul 9 16:33:23 2019
New Revision: 365582
URL: http://llvm.org/viewvc/llvm-project?rev=365582&view=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 bas
Author: charusso
Date: Tue Jul 9 16:47:09 2019
New Revision: 365584
URL: http://llvm.org/viewvc/llvm-project?rev=365584&view=rev
Log:
Revert "[analyzer] CastValueChecker: Model casts"
This reverts commit 27cf6664437efd640bb6db5594bafcce68fa2854.
Removed:
cfe/trunk/lib/StaticAnalyzer/Checker
Author: charusso
Date: Tue Jul 9 17:20:03 2019
New Revision: 365585
URL: http://llvm.org/viewvc/llvm-project?rev=365585&view=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 bas
Author: charusso
Date: Tue Jul 9 17:50:01 2019
New Revision: 365590
URL: http://llvm.org/viewvc/llvm-project?rev=365590&view=rev
Log:
[analyzer] CastValueChecker: Remove a dump()
Summary: Fix a nit.
Modified:
cfe/trunk/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
Modified: cfe/trunk/li
Author: charusso
Date: Wed May 29 08:25:19 2019
New Revision: 361972
URL: http://llvm.org/viewvc/llvm-project?rev=361972&view=rev
Log:
[analyzer] print() JSONify: Store implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subscriber
Author: charusso
Date: Wed May 29 08:36:58 2019
New Revision: 361976
URL: http://llvm.org/viewvc/llvm-project?rev=361976&view=rev
Log:
[analyzer] print() JSONify: Environment implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subs
Author: charusso
Date: Wed May 29 08:43:26 2019
New Revision: 361978
URL: http://llvm.org/viewvc/llvm-project?rev=361978&view=rev
Log:
[analyzer] print() JSONify: Constraints implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subs
Author: charusso
Date: Wed May 29 08:53:12 2019
New Revision: 361979
URL: http://llvm.org/viewvc/llvm-project?rev=361979&view=rev
Log:
[analyzer] print() JSONify: Type information implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Author: charusso
Date: Wed May 29 08:58:26 2019
New Revision: 361980
URL: http://llvm.org/viewvc/llvm-project?rev=361980&view=rev
Log:
[analyzer] print() JSONify: Constructing objects implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By:
Author: charusso
Date: Wed May 29 09:02:33 2019
New Revision: 361982
URL: http://llvm.org/viewvc/llvm-project?rev=361982&view=rev
Log:
[analyzer] print() JSONify: Checker messages implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Author: charusso
Date: Wed May 29 09:22:21 2019
New Revision: 361983
URL: http://llvm.org/viewvc/llvm-project?rev=361983&view=rev
Log:
[analyzer] print() JSONify: Program state implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Su
Author: charusso
Date: Wed May 29 11:05:53 2019
New Revision: 361997
URL: http://llvm.org/viewvc/llvm-project?rev=361997&view=rev
Log:
[analyzer] print() JSONify: getNodeLabel implementation
Summary: This patch also rewrites the ProgramPoint printing.
Reviewers: NoQ, xazax.hun, ravikandhadai, ba
Author: charusso
Date: Wed May 29 11:17:18 2019
New Revision: 362000
URL: http://llvm.org/viewvc/llvm-project?rev=362000&view=rev
Log:
[analyzer][AST] print() JSONify: Stmt implementation
Summary:
This patch also adds a function called `JsonFormat()` which:
- Flattens the string so removes the ne
Author: charusso
Date: Wed May 29 11:21:14 2019
New Revision: 362002
URL: http://llvm.org/viewvc/llvm-project?rev=362002&view=rev
Log:
[analyzer] print() JSONify: Decl revision
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subscribers: cfe-
Author: charusso
Date: Wed May 29 11:29:31 2019
New Revision: 362003
URL: http://llvm.org/viewvc/llvm-project?rev=362003&view=rev
Log:
[analyzer] print() JSONify: CFG implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subscribers:
Author: charusso
Date: Wed May 29 11:38:52 2019
New Revision: 362008
URL: http://llvm.org/viewvc/llvm-project?rev=362008&view=rev
Log:
[analyzer] print() JSONify: SVal implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subscribers
Author: charusso
Date: Wed May 29 11:58:41 2019
New Revision: 362011
URL: http://llvm.org/viewvc/llvm-project?rev=362011&view=rev
Log:
[analyzer] print() JSONify chain: Generic stmt_id
Summary: Some environment create less statements so make them generic.
Modified:
cfe/trunk/test/Analysis/du
Author: charusso
Date: Wed May 29 12:21:59 2019
New Revision: 362014
URL: http://llvm.org/viewvc/llvm-project?rev=362014&view=rev
Log:
[analyzer] [NFC] PathDiagnostic: Create PathDiagnosticPopUpPiece
Summary:
This new piece is similar to our macro expansion printing in HTML reports:
On mouse-hove
Author: charusso
Date: Wed May 29 13:13:29 2019
New Revision: 362023
URL: http://llvm.org/viewvc/llvm-project?rev=362023&view=rev
Log:
[analyzer] ConditionBRVisitor: Test 'add-pop-up-notes=false'
Summary: -
Reviewers: NoQ, alexfh
Reviewed By: alexfh
Subscribers: cfe-commits, xazax.hun, balogha
Author: charusso
Date: Wed May 29 13:18:07 2019
New Revision: 362025
URL: http://llvm.org/viewvc/llvm-project?rev=362025&view=rev
Log:
[analyzer] ConditionBRVisitor: Remove duplicated code
Summary: -
Reviewers: NoQ, george.karpenkov
Reviewed By: NoQ
Subscribers: cfe-commits, xazax.hun, balogha
Author: charusso
Date: Wed May 29 13:29:02 2019
New Revision: 362026
URL: http://llvm.org/viewvc/llvm-project?rev=362026&view=rev
Log:
[analyzer] ConditionBRVisitor: MemberExpr support
Summary: -
Reviewers: NoQ, george.karpenkov
Reviewed By: NoQ
Subscribers: cfe-commits, xazax.hun, baloghadams
Author: charusso
Date: Wed May 29 13:34:29 2019
New Revision: 362027
URL: http://llvm.org/viewvc/llvm-project?rev=362027&view=rev
Log:
[analyzer] ConditionBRVisitor: Boolean support
Summary: -
Reviewers: NoQ, george.karpenkov
Reviewed By: NoQ, george.karpenkov
Subscribers: cfe-commits, xazax.h
Author: charusso
Date: Wed May 29 13:47:27 2019
New Revision: 362030
URL: http://llvm.org/viewvc/llvm-project?rev=362030&view=rev
Log:
[analyzer] Remove EndPath function as it is dead code
Summary: -
Reviewers: george.karpenkov
Reviewed By: george.karpenkov
Subscribers: baloghadamsoftware, cfe
Author: charusso
Date: Sun Oct 13 01:28:27 2019
New Revision: 374707
URL: http://llvm.org/viewvc/llvm-project?rev=374707&view=rev
Log:
[clang-tidy] New checker for not null-terminated result caused by strlen(),
size() or equal length
Summary:
New checker called bugprone-not-null-terminated-resul
Author: charusso
Date: Sun Oct 13 01:41:24 2019
New Revision: 374709
URL: http://llvm.org/viewvc/llvm-project?rev=374709&view=rev
Log:
[clang-tidy] bugprone-not-null-terminated-result: Sphinx adjustments
Modified:
clang-tools-extra/trunk/docs/clang-tidy/checks/bugprone-not-null-terminated-re
Author: charusso
Date: Sun Oct 13 01:49:43 2019
New Revision: 374710
URL: http://llvm.org/viewvc/llvm-project?rev=374710&view=rev
Log:
[clang-tidy] bugprone-not-null-terminated-result: Sphinx adjustments 2
Modified:
clang-tools-extra/trunk/docs/clang-tidy/checks/bugprone-not-null-terminated-
Author: charusso
Date: Sun Oct 13 02:46:56 2019
New Revision: 374711
URL: http://llvm.org/viewvc/llvm-project?rev=374711&view=rev
Log:
[clang-tidy] bugprone-not-null-terminated-result: checker adjustments
Modified:
clang-tools-extra/trunk/clang-tidy/bugprone/NotNullTerminatedResultCheck.cpp
Author: charusso
Date: Sun Oct 13 03:20:58 2019
New Revision: 374712
URL: http://llvm.org/viewvc/llvm-project?rev=374712&view=rev
Log:
[clang-tidy] bugprone-not-null-terminated-result: checker adjustments 2
Modified:
clang-tools-extra/trunk/clang-tidy/bugprone/NotNullTerminatedResultCheck.cpp
Author: charusso
Date: Sun Oct 13 03:41:13 2019
New Revision: 374713
URL: http://llvm.org/viewvc/llvm-project?rev=374713&view=rev
Log:
[clang-tidy] bugprone-not-null-terminated-result: checker adjustments 3
On Windows the signed/unsigned int conversions of APInt seems broken, so that
two of the t
Author: charusso
Date: Sun Oct 13 03:59:30 2019
New Revision: 374715
URL: http://llvm.org/viewvc/llvm-project?rev=374715&view=rev
Log:
[clang-tidy] bugprone-not-null-terminated-result: checker adjustments 4
Modified:
clang-tools-extra/trunk/test/clang-tidy/Inputs/bugprone-not-null-terminated
Author: charusso
Date: Wed Aug 21 17:06:58 2019
New Revision: 369604
URL: http://llvm.org/viewvc/llvm-project?rev=369604&view=rev
Log:
[analyzer] TrackConstraintBRVisitor: Do not track unknown values
Summary: -
Reviewers: NoQ, Szelethus
Reviewed By: NoQ, Szelethus
Differential Revision: https:
Author: charusso
Date: Wed Aug 21 17:20:36 2019
New Revision: 369605
URL: http://llvm.org/viewvc/llvm-project?rev=369605&view=rev
Log:
[analyzer] CastValueChecker: Store the dynamic types and casts
Summary:
This patch introduces `DynamicCastInfo` similar to `DynamicTypeInfo` which
is stored in `C
Author: charusso
Date: Wed Aug 21 17:36:42 2019
New Revision: 369607
URL: http://llvm.org/viewvc/llvm-project?rev=369607&view=rev
Log:
[analyzer] CastValueChecker: Rewrite dead header hotfix
Modified:
cfe/trunk/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp
cfe/trunk/lib/
Author: charusso
Date: Wed Aug 21 18:41:06 2019
New Revision: 369609
URL: http://llvm.org/viewvc/llvm-project?rev=369609&view=rev
Log:
[analyzer] CastValueChecker: Try to fix the buildbots
Modified:
cfe/trunk/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
Modified: cfe/trunk/lib/StaticAnal
Author: charusso
Date: Wed Aug 21 19:57:59 2019
New Revision: 369615
URL: http://llvm.org/viewvc/llvm-project?rev=369615&view=rev
Log:
[analyzer] CastValueChecker: Model isa(), isa_and_nonnull()
Summary: -
Reviewed By: NoQ
Differential Revision: https://reviews.llvm.org/D66423
Modified:
cf
Author: charusso
Date: Sat Aug 24 05:17:49 2019
New Revision: 369845
URL: http://llvm.org/viewvc/llvm-project?rev=369845&view=rev
Log:
[analyzer] Analysis: Fix checker silencing
Modified:
cfe/trunk/lib/Frontend/CompilerInvocation.cpp
cfe/trunk/tools/scan-build/bin/scan-build
Modified: cf
66 matches
Mail list logo
