szepet (Peter Szecsi)
User

Projects

User does not belong to any projects.

User Details

User Since
Jun 16 2016, 2:39 AM (75 w, 18 h)

Recent Activity

Today

szepet updated the diff for D38694: [ASTImporter] Support importing CXXUnresolvedConstructExpr and UnresolvedLookupExpr.

Updating the usage of ImportTemplateArgumentListInfo.

Thu, Nov 23, 4:35 PM
szepet updated the diff for D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr.

Updating the usage of ImportTemplateArgumentListInfo.

Thu, Nov 23, 4:32 PM
szepet updated the diff for D38845: [ASTImporter] Support importing UnresolvedMemberExpr, DependentNameType, DependentScopeDeclRefExpr.

Updated based on review comments.

Thu, Nov 23, 4:17 PM
szepet added a comment to D38694: [ASTImporter] Support importing CXXUnresolvedConstructExpr and UnresolvedLookupExpr.

Hello Aleksei,

Thu, Nov 23, 3:01 PM
szepet updated the diff for D38694: [ASTImporter] Support importing CXXUnresolvedConstructExpr and UnresolvedLookupExpr.

Updates based on review comments.

Thu, Nov 23, 3:00 PM
szepet added inline comments to D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr.
Thu, Nov 23, 7:46 AM
szepet updated the diff for D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr.

Left some unformatted lines in the previous version. Fixed.

Thu, Nov 23, 7:44 AM
szepet added inline comments to D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr.
Thu, Nov 23, 7:26 AM
szepet updated the diff for D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr.

Updates based on comments.

Thu, Nov 23, 7:26 AM

Thu, Nov 16

szepet updated the diff for D38921: [analyzer] LoopUnrolling: update the matched assignment operators.

Testfiles added and HTML updated.

Thu, Nov 16, 8:14 AM
szepet updated the diff for D38921: [analyzer] LoopUnrolling: update the matched assignment operators.

isAssignmentOp matcher moved to ASTMatchers.h
(Manuel added to reviewers as the code owner of ASTMatchers)

Thu, Nov 16, 6:55 AM

Sat, Oct 28

szepet committed rL316852: [analyzer] MisusedMovedObjectChecker: More precise warning message.
[analyzer] MisusedMovedObjectChecker: More precise warning message
Sat, Oct 28, 4:24 PM
szepet closed D38674: [analyzer] MisusedMovedObjectChecker: More precise warning message by committing rL316852: [analyzer] MisusedMovedObjectChecker: More precise warning message.
Sat, Oct 28, 4:24 PM
szepet closed D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.
Sat, Oct 28, 4:19 PM
szepet added an edge to rL316850: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting…: D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.
Sat, Oct 28, 4:19 PM
szepet added 1 commit(s) for D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects: rL316850: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting….
Sat, Oct 28, 4:19 PM
szepet committed rL316850: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting….
[analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting…
Sat, Oct 28, 4:10 PM
szepet committed rL316830: [analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943).
[analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)
Sat, Oct 28, 5:20 AM
szepet closed D38922: [analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943) by committing rL316830: [analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943).
Sat, Oct 28, 5:19 AM
szepet updated the diff for D38921: [analyzer] LoopUnrolling: update the matched assignment operators.

Updated to use a custom AST matcher for assignment operator check. (More structured and efficient.)

Sat, Oct 28, 4:39 AM

Fri, Oct 27

szepet updated the diff for D39398: [CFG][Analyzer] Add LoopExit element to the CFG in more cases.

Just removed some accidentally left changes from the patch.

Fri, Oct 27, 6:33 PM
szepet created D39398: [CFG][Analyzer] Add LoopExit element to the CFG in more cases.
Fri, Oct 27, 6:25 PM
szepet added a comment to D38842: [CrossTU] Fix handling of Cross Translation Unit directory path.

LGTM as well, but same note applies.

Fri, Oct 27, 5:24 AM

Oct 19 2017

szepet updated the diff for D38843: [ASTImporter] Support importing CXXPseudoDestructorExpr.

Checking for importing base updated to (!Imported && From) style.

Oct 19 2017, 6:26 AM
szepet added inline comments to D38843: [ASTImporter] Support importing CXXPseudoDestructorExpr.
Oct 19 2017, 6:25 AM
szepet added inline comments to D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr.
Oct 19 2017, 6:04 AM
szepet added inline comments to D38845: [ASTImporter] Support importing UnresolvedMemberExpr, DependentNameType, DependentScopeDeclRefExpr.
Oct 19 2017, 5:31 AM

Oct 14 2017

szepet updated the diff for D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.

Fixed the commented bug (check if ThisRegion is null).

Oct 14 2017, 10:20 AM
szepet updated the diff for D38675: [analyzer] MisusedMovedObjectChecker: Moving the checker out of alpha state.

Test file (running line) update.

Oct 14 2017, 10:14 AM
szepet created D38922: [analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943).
Oct 14 2017, 6:03 AM
szepet edited reviewers for D38921: [analyzer] LoopUnrolling: update the matched assignment operators, added: zaks.anna; removed: anna.
Oct 14 2017, 5:51 AM
szepet created D38921: [analyzer] LoopUnrolling: update the matched assignment operators.
Oct 14 2017, 5:50 AM

Oct 12 2017

szepet created D38845: [ASTImporter] Support importing UnresolvedMemberExpr, DependentNameType, DependentScopeDeclRefExpr.
Oct 12 2017, 6:13 AM
szepet created D38843: [ASTImporter] Support importing CXXPseudoDestructorExpr.
Oct 12 2017, 5:14 AM

Oct 9 2017

szepet added a dependency for D38694: [ASTImporter] Support importing CXXUnresolvedConstructExpr and UnresolvedLookupExpr: D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr.
Oct 9 2017, 10:27 AM
szepet added a dependent revision for D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr: D38694: [ASTImporter] Support importing CXXUnresolvedConstructExpr and UnresolvedLookupExpr.
Oct 9 2017, 10:27 AM
szepet created D38694: [ASTImporter] Support importing CXXUnresolvedConstructExpr and UnresolvedLookupExpr.
Oct 9 2017, 10:26 AM
szepet created D38692: [ASTImporter] Support importing FunctionTemplateDecl and CXXDependentScopeMemberExpr.
Oct 9 2017, 9:08 AM

Oct 8 2017

szepet created D38675: [analyzer] MisusedMovedObjectChecker: Moving the checker out of alpha state.
Oct 8 2017, 10:01 AM
szepet added a dependent revision for D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects: D38674: [analyzer] MisusedMovedObjectChecker: More precise warning message.
Oct 8 2017, 9:45 AM
szepet added a dependency for D38674: [analyzer] MisusedMovedObjectChecker: More precise warning message: D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.
Oct 8 2017, 9:45 AM
szepet removed a dependency for D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects: D38674: [analyzer] MisusedMovedObjectChecker: More precise warning message.
Oct 8 2017, 9:45 AM
szepet removed a dependent revision for D38674: [analyzer] MisusedMovedObjectChecker: More precise warning message: D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.
Oct 8 2017, 9:45 AM
szepet added a dependent revision for D38674: [analyzer] MisusedMovedObjectChecker: More precise warning message: D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.
Oct 8 2017, 9:44 AM
szepet added a dependency for D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects: D38674: [analyzer] MisusedMovedObjectChecker: More precise warning message.
Oct 8 2017, 9:44 AM
szepet created D38674: [analyzer] MisusedMovedObjectChecker: More precise warning message.
Oct 8 2017, 9:44 AM
szepet edited reviewers for D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects, added: NoQ; removed: dergachev.a.
Oct 8 2017, 9:36 AM
szepet updated the summary of D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.
Oct 8 2017, 9:35 AM
szepet added a dependent revision for D31538: [analyzer] MisusedMovedObjectChecker: Fix a false positive on state-resetting a base-class sub-object.: D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.
Oct 8 2017, 9:33 AM
szepet added a dependency for D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects: D31538: [analyzer] MisusedMovedObjectChecker: Fix a false positive on state-resetting a base-class sub-object..
Oct 8 2017, 9:33 AM
szepet created D38673: [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, handling method calls on base-class sub-objects.
Oct 8 2017, 9:32 AM

Oct 6 2017

szepet added a comment to D37897: [StaticAnalyzer] Fix ProgramState for static variables that are not written.

Hello Daniel!

Oct 6 2017, 7:58 AM
szepet added a comment to D31538: [analyzer] MisusedMovedObjectChecker: Fix a false positive on state-resetting a base-class sub-object..

Hello Artem!

Oct 6 2017, 2:34 AM

Oct 5 2017

szepet closed D32981: [ASTImporter] Improve handling of incomplete types .

This patch was commited in r302975. (https://reviews.llvm.org/rL302975)

Oct 5 2017, 5:50 PM

Sep 29 2017

szepet updated the diff for D32947: [ASTImporter] FriendDecl importing improvements.

Updates based on comments.

Sep 29 2017, 3:03 AM

Sep 12 2017

szepet committed rL313016: [clang-tidy] SuspiciousEnumUsageCheck bugfix.
[clang-tidy] SuspiciousEnumUsageCheck bugfix
Sep 12 2017, 2:41 AM
szepet closed D37572: [clang-tidy] SuspiciousEnumUsageCheck bugfix by committing rL313016: [clang-tidy] SuspiciousEnumUsageCheck bugfix.
Sep 12 2017, 2:41 AM

Sep 11 2017

szepet updated the diff for D37572: [clang-tidy] SuspiciousEnumUsageCheck bugfix.

Updates based on the comments. Thanks for the reduced test case and the fast review!

Sep 11 2017, 4:31 AM
szepet added a comment to D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.

ping~2

Sep 11 2017, 1:04 AM

Sep 7 2017

szepet created D37572: [clang-tidy] SuspiciousEnumUsageCheck bugfix.
Sep 7 2017, 8:12 AM

Sep 6 2017

szepet added a comment to D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.

ping

Sep 6 2017, 4:14 AM

Aug 31 2017

szepet added a comment to D37187: [Analyzer] Fix Bug 25609 - Assertion UNREACHABLE: 'Unexpected ProgramPoint' with widen-loops=true.

Thanks for the update!
It looks good to me! (Probably somebody else (most likely NoQ) will have some additional comment but I think it's great!)

Aug 31 2017, 10:28 AM

Aug 30 2017

szepet added a reviewer for D37187: [Analyzer] Fix Bug 25609 - Assertion UNREACHABLE: 'Unexpected ProgramPoint' with widen-loops=true: szepet.

Hello MTC,

Aug 30 2017, 2:13 PM

Aug 28 2017

szepet updated the summary of D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.
Aug 28 2017, 6:27 PM
szepet updated the diff for D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.

Update patch to not add a new flag but change the functionality of the old one. (If Sean still agrees.)

Aug 28 2017, 6:22 PM
szepet committed rL311883: [StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for each….
[StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for each…
Aug 28 2017, 3:52 AM
szepet closed D37181: {StaticAnalyzer} LoopUnrolling: Keep track the maximum number of steps for each loop by committing rL311883: [StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for each….
Aug 28 2017, 3:52 AM
szepet committed rL311881: [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state.
[StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state
Aug 28 2017, 3:36 AM
szepet closed D36962: [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state (make more branches) by committing rL311881: [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state.
Aug 28 2017, 3:36 AM
szepet committed rL311880: [StaticAnalyzer] LoopUnrolling fixes.
[StaticAnalyzer] LoopUnrolling fixes
Aug 28 2017, 3:22 AM
szepet closed D37103: [StaticAnalyzer] LoopUnrolling fixes by committing rL311880: [StaticAnalyzer] LoopUnrolling fixes.
Aug 28 2017, 3:22 AM
szepet updated the diff for D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.

Addressed comments.

Aug 28 2017, 3:17 AM
szepet updated the diff for D37181: {StaticAnalyzer} LoopUnrolling: Keep track the maximum number of steps for each loop.

Updated to use static int.

Aug 28 2017, 2:57 AM

Aug 27 2017

szepet added reviewers for D37187: [Analyzer] Fix Bug 25609 - Assertion UNREACHABLE: 'Unexpected ProgramPoint' with widen-loops=true: NoQ, dcoughlin, zaks.anna.
Aug 27 2017, 8:54 PM
szepet updated the diff for D37103: [StaticAnalyzer] LoopUnrolling fixes.

Update based on comments.

Aug 27 2017, 6:43 AM

Aug 26 2017

szepet created D37181: {StaticAnalyzer} LoopUnrolling: Keep track the maximum number of steps for each loop.
Aug 26 2017, 8:10 AM
szepet updated subscribers of D37103: [StaticAnalyzer] LoopUnrolling fixes.
Aug 26 2017, 6:57 AM
szepet updated subscribers of D36962: [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state (make more branches).
Aug 26 2017, 6:57 AM

Aug 25 2017

szepet updated the diff for D37103: [StaticAnalyzer] LoopUnrolling fixes.

Test added.

Aug 25 2017, 10:32 AM
szepet added inline comments to D36962: [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state (make more branches).
Aug 25 2017, 10:24 AM
szepet updated the diff for D36962: [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state (make more branches).

Testfiles and function updated.

Aug 25 2017, 10:23 AM

Aug 24 2017

szepet updated the summary of D37108: [StaticAnalyzer] LoopWidening: Adding replayWithWidening in case of maxBlockVisitOnPath exceeded.
Aug 24 2017, 7:17 AM
szepet updated the diff for D37108: [StaticAnalyzer] LoopWidening: Adding replayWithWidening in case of maxBlockVisitOnPath exceeded.

Unnecessary comment removed.

Aug 24 2017, 7:07 AM
szepet created D37108: [StaticAnalyzer] LoopWidening: Adding replayWithWidening in case of maxBlockVisitOnPath exceeded.
Aug 24 2017, 7:05 AM
szepet updated the diff for D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.

Format test file.

Aug 24 2017, 6:57 AM
szepet updated the diff for D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.

Added a more general approach for collecting changed variables.

Aug 24 2017, 6:15 AM
szepet added a comment to D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.

Nice! Thanks again for working on this.

Personally I would prefer modifying or replacing widen-loops, so we don't end up with two different approaches (and options) at the same time. Certainly that should be the end goal, but I think it might be worth doing now.

Aug 24 2017, 4:36 AM
szepet updated the summary of D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.
Aug 24 2017, 4:26 AM
szepet created D37103: [StaticAnalyzer] LoopUnrolling fixes.
Aug 24 2017, 4:02 AM

Aug 21 2017

szepet committed rL311346: [StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unroll….
[StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unroll…
Aug 21 2017, 9:35 AM
szepet closed D35684: [StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unroll specific loops by committing rL311346: [StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unroll….
Aug 21 2017, 9:35 AM
szepet committed rL311344: [StaticAnalyzer] Handle LoopExit CFGElement in the analyzer.
[StaticAnalyzer] Handle LoopExit CFGElement in the analyzer
Aug 21 2017, 9:11 AM
szepet closed D35670: [StaticAnalyzer] Handle LoopExit CFGElement in the analyzer by committing rL311344: [StaticAnalyzer] Handle LoopExit CFGElement in the analyzer.
Aug 21 2017, 9:11 AM
szepet added reviewers for D36962: [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state (make more branches): NoQ, zaks.anna, dcoughlin.
Aug 21 2017, 8:21 AM
szepet created D36962: [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state (make more branches).
Aug 21 2017, 8:20 AM

Aug 19 2017

szepet committed rL311235: [CFG] Add LoopExit information to CFG.
[CFG] Add LoopExit information to CFG
Aug 19 2017, 4:20 AM
szepet closed D35668: [CFG] Add LoopExit information to CFG by committing rL311235: [CFG] Add LoopExit information to CFG.
Aug 19 2017, 4:20 AM
szepet committed rL311234: [StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped….
[StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped…
Aug 19 2017, 3:25 AM
szepet closed D35657: [StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped before the loop by committing rL311234: [StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped….
Aug 19 2017, 3:25 AM

Aug 14 2017

szepet added a comment to D34812: [StaticAnalyzer] LoopUnrolling: Handling conditions with known value variables.
In D34812#822645, @NoQ wrote:

Am i understanding correctly that this patch is waiting to be rebased on top of D35684?

Aug 14 2017, 9:43 AM