baloghadamsoftware (Balogh, Ádám)
User

Projects

User does not belong to any projects.

User Details

User Since
Mar 9 2016, 4:07 AM (136 w, 4 d)

Recent Activity

Sat, Oct 13

baloghadamsoftware committed rL344445: [clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`.
[clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`
Sat, Oct 13, 4:20 AM
baloghadamsoftware committed rCTE344445: [clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`.
[clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`
Sat, Oct 13, 4:19 AM
baloghadamsoftware added a comment to D32906: [Analyzer] Iterator Checker - Part 10: Support for iterators passed as parameter.
In D32906#1257140, @NoQ wrote:

Also i'll have a look at whether the checker is in a good shape to be enabled by default. I suspect that mismatched iterators might be very safe to enable. With all these solver and rearrangement issues, if they only cause false negatives, it's not blocking enabling the checker by default. The same applies to the debate around find.

Sat, Oct 13, 4:06 AM
baloghadamsoftware closed D32906: [Analyzer] Iterator Checker - Part 10: Support for iterators passed as parameter.

Closed by commits in the previous comments, just URLs misspelled.

Sat, Oct 13, 3:52 AM
baloghadamsoftware committed rCTE344444: [clang-tidy] Optimize query in bugprone-exception-escape.
[clang-tidy] Optimize query in bugprone-exception-escape
Sat, Oct 13, 3:37 AM
baloghadamsoftware committed rL344444: [clang-tidy] Optimize query in bugprone-exception-escape.
[clang-tidy] Optimize query in bugprone-exception-escape
Sat, Oct 13, 3:36 AM
baloghadamsoftware closed D53187: [clang-tidy] Optimize query in bugprone-exception-escape.
Sat, Oct 13, 3:36 AM · Restricted Project
baloghadamsoftware committed rC344443: [Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter.
[Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter
Sat, Oct 13, 3:27 AM
baloghadamsoftware committed rL344443: [Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter.
[Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter
Sat, Oct 13, 3:26 AM
baloghadamsoftware added a comment to D53187: [clang-tidy] Optimize query in bugprone-exception-escape.

I think further optimization steps should be done is separate patches. However, this is the biggest step.

Sat, Oct 13, 1:29 AM · Restricted Project
baloghadamsoftware updated the diff for D53187: [clang-tidy] Optimize query in bugprone-exception-escape.

Warning added to the docs.

Sat, Oct 13, 1:28 AM · Restricted Project

Fri, Oct 12

baloghadamsoftware added a comment to D53187: [clang-tidy] Optimize query in bugprone-exception-escape.

I think that with this optimization it is not so expensive anymore. I do not think it was an endless loop in the bugreport but it was insufferable execution time. Maybe we could speed it up a little more by changing it totally to a width-first CFG visitor. Then we could apply your solution as well (not removing visited function from the call stack) so the algorithm would visit every called function (for every function that should not throw) only once along the shortest path. This would not introduce new false positives neither would it lose true positives.

In the debugging if have seen some functions analyzed thousands of times so I think this would really make a difference. Caching the result might work too?

Fri, Oct 12, 6:29 AM · Restricted Project
baloghadamsoftware added a comment to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Maybe it should be done in a separate patch together for all checks using that utility function. So there would be no need for duplication but the original functions should be changed instead.

Fri, Oct 12, 6:08 AM · Restricted Project
baloghadamsoftware committed rCTE344340: [clang-tidy] White List Option for performance-unnecessary-value-param….
[clang-tidy] White List Option for performance-unnecessary-value-param…
Fri, Oct 12, 6:07 AM
baloghadamsoftware committed rL344340: [clang-tidy] White List Option for performance-unnecessary-value-param….
[clang-tidy] White List Option for performance-unnecessary-value-param…
Fri, Oct 12, 6:07 AM
baloghadamsoftware closed D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Fri, Oct 12, 6:07 AM · Restricted Project
baloghadamsoftware added a comment to D53187: [clang-tidy] Optimize query in bugprone-exception-escape.

I think that with this optimization it is not so expensive anymore. I do not think it was an endless loop in the bugreport but it was insufferable execution time. Maybe we could speed it up a little more by changing it totally to a width-first CFG visitor. Then we could apply your solution as well (not removing visited function from the call stack) so the algorithm would visit every called function (for every function that should not throw) only once along the shortest path. This would not introduce new false positives neither would it lose true positives.

Fri, Oct 12, 6:01 AM · Restricted Project
baloghadamsoftware added a comment to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

LG in principle, just the SmallVec thing could be done if you agree. I don't insist on it, but it looks like a performance benefit to me.

Fri, Oct 12, 5:53 AM · Restricted Project
baloghadamsoftware created D53187: [clang-tidy] Optimize query in bugprone-exception-escape.
Fri, Oct 12, 1:57 AM · Restricted Project

Wed, Oct 10

baloghadamsoftware updated the diff for D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Matching of allowed types happens now on the top-level type, not the canonical one.

Wed, Oct 10, 6:25 AM · Restricted Project

Tue, Oct 9

baloghadamsoftware added inline comments to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Tue, Oct 9, 6:13 AM · Restricted Project
baloghadamsoftware updated the diff for D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Updated according to the comments.

Tue, Oct 9, 6:11 AM · Restricted Project

Mon, Oct 8

baloghadamsoftware updated the diff for D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Updated according to the comments.

Mon, Oct 8, 5:30 AM · Restricted Project

Thu, Oct 4

baloghadamsoftware added inline comments to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Thu, Oct 4, 6:11 AM · Restricted Project
baloghadamsoftware added inline comments to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Thu, Oct 4, 5:51 AM · Restricted Project
baloghadamsoftware updated the diff for D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Updated according to the comments.

Thu, Oct 4, 5:35 AM · Restricted Project

Tue, Oct 2

baloghadamsoftware added inline comments to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Tue, Oct 2, 7:17 AM · Restricted Project

Mon, Oct 1

baloghadamsoftware abandoned D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Mon, Oct 1, 8:59 AM · Restricted Project
baloghadamsoftware abandoned D52315: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Mon, Oct 1, 8:59 AM · Restricted Project
baloghadamsoftware created D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Mon, Oct 1, 8:58 AM · Restricted Project
baloghadamsoftware added a comment to D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

Since modifications of the infrastructure are always error-prone I tried to generate tests to have full coverage for smaller numbers. However for full coverage I need type signed char and unsigned char, but these tests failed because of this bug: Bug 39138. If that bug is fixed we can have full coverage for both signed and unsigned char types which is more than enough. Of course the generated test should not be part of the standard test suite because of its execution time.

Mon, Oct 1, 4:18 AM

Sun, Sep 30

baloghadamsoftware added a comment to D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

This also solves the examples in the comment of bug 32911.

Sun, Sep 30, 11:50 PM

Wed, Sep 26

baloghadamsoftware added a comment to D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

I disagree, it must not have false-negatives by default.

Wed, Sep 26, 5:48 AM · Restricted Project
baloghadamsoftware added a comment to D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Would that also skip checks for something like shared_ptr?

Wed, Sep 26, 5:45 AM · Restricted Project
baloghadamsoftware added a comment to D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Config option is a good idea but it must not be empty by default. The checker must ignore all pointer and references by default based on their names.

Wed, Sep 26, 5:05 AM · Restricted Project

Sep 21 2018

baloghadamsoftware added a comment to D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

This is an alternative approach to D52315.

Sep 21 2018, 7:17 AM · Restricted Project
baloghadamsoftware created D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Sep 21 2018, 7:17 AM · Restricted Project
baloghadamsoftware added a comment to D52315: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

I still wonder what true positives could we get without checking the size? No real-life types come to my mind with size of a pointer but really expensive copy operations. What could be so really expensive when copying a single machine world?

Sep 21 2018, 12:47 AM · Restricted Project

Sep 20 2018

baloghadamsoftware created D52315: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Sep 20 2018, 10:09 AM · Restricted Project

Sep 17 2018

baloghadamsoftware added a comment to D52133: [analyzer] A testing facility for testing relationships between symbols..

This looks better than using the "raw" dumps.

Sep 17 2018, 5:03 AM

Sep 10 2018

baloghadamsoftware committed rC341795: [Analyzer] Commit fix for rL341790/rC341790.
[Analyzer] Commit fix for rL341790/rC341790
Sep 10 2018, 2:22 AM
baloghadamsoftware committed rL341795: [Analyzer] Commit fix for rL341790/rC341790.
[Analyzer] Commit fix for rL341790/rC341790
Sep 10 2018, 2:22 AM
baloghadamsoftware committed rC341794: [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert….
[Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert…
Sep 10 2018, 2:10 AM
baloghadamsoftware committed rL341794: [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert….
[Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert…
Sep 10 2018, 2:09 AM
baloghadamsoftware closed D32904: [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, emplace and erase operations.
Sep 10 2018, 2:09 AM
baloghadamsoftware committed rC341793: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations.
[Analyzer] Iterator Checker - Part 7: Support for push and pop operations
Sep 10 2018, 2:07 AM
baloghadamsoftware committed rL341793: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations.
[Analyzer] Iterator Checker - Part 7: Support for push and pop operations
Sep 10 2018, 2:07 AM
baloghadamsoftware closed D32902: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations.
Sep 10 2018, 2:07 AM
baloghadamsoftware committed rL341792: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for….
[Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for…
Sep 10 2018, 2:06 AM
baloghadamsoftware committed rC341792: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for….
[Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for…
Sep 10 2018, 2:06 AM
baloghadamsoftware closed D32860: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors and comparisons.
Sep 10 2018, 2:06 AM
baloghadamsoftware committed rL341791: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.
[Analyzer] Iterator Checker - Part 5: Move Assignment of Containers
Sep 10 2018, 2:05 AM
baloghadamsoftware committed rC341791: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.
[Analyzer] Iterator Checker - Part 5: Move Assignment of Containers
Sep 10 2018, 2:05 AM
baloghadamsoftware closed D32859: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.
Sep 10 2018, 2:05 AM
baloghadamsoftware committed rL341790: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function….
[Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function…
Sep 10 2018, 2:04 AM
baloghadamsoftware committed rC341790: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function….
[Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function…
Sep 10 2018, 2:04 AM
baloghadamsoftware closed D32845: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters.
Sep 10 2018, 2:04 AM

Sep 6 2018

baloghadamsoftware added a comment to D32906: [Analyzer] Iterator Checker - Part 10: Support for iterators passed as parameter.

Your are right, it is not necessary anymore. Should I keep this patch to add the tests only or should I abandon it completely?

Sep 6 2018, 12:20 AM
baloghadamsoftware updated the diff for D32906: [Analyzer] Iterator Checker - Part 10: Support for iterators passed as parameter.

Modification of the checker not needed anymore. Only tests added.

Sep 6 2018, 12:19 AM

Sep 5 2018

baloghadamsoftware added inline comments to D32905: [Analyzer] Iterator Checker - Part 9: Evaluation of std::find-like calls.
Sep 5 2018, 7:01 AM
baloghadamsoftware updated the diff for D32904: [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, emplace and erase operations.

Rebased.

Sep 5 2018, 3:55 AM
baloghadamsoftware added inline comments to D32902: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations.
Sep 5 2018, 2:10 AM
baloghadamsoftware updated the diff for D32902: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations.

Updated according to the comments and rebased.

Sep 5 2018, 2:05 AM

Sep 3 2018

baloghadamsoftware updated the diff for D32860: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors and comparisons.

Checking of constructor parameters moved to PreCall check.

Sep 3 2018, 10:22 AM
baloghadamsoftware updated the diff for D32859: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.

) added.

Sep 3 2018, 8:44 AM
baloghadamsoftware updated the diff for D32859: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.

Comments added, functions renamed.

Sep 3 2018, 8:37 AM
baloghadamsoftware added inline comments to D32845: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters.
Sep 3 2018, 2:15 AM
baloghadamsoftware updated the diff for D32845: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters.

Minor changes.

Sep 3 2018, 2:10 AM

Aug 31 2018

baloghadamsoftware updated the diff for D32845: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters.

Since rL338263 fixed a bug in the cleanup phase the tests for mismatched iterator checker did not pass. The reason for this is that the region of some LazyCompoundVals are cleaned up while there are still iterator positions connected to the LazyCompoundVal itself. This happens typically for arguments which are constructed in-place (e.g. begin() or end() of a container is invoked in the argument itself).

Aug 31 2018, 6:21 AM

Aug 29 2018

baloghadamsoftware added a comment to D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

Disabled? No, that was a different thing. I have some ideas there as well, how to solve it, but it was the rearrangement in the SValBuilder. This one is one level lower, the ConstraintManager which only calculate the range for a symbol where we have and assumption for it. Here operations such as Symbol + Integer1 <= Integer2 have been supported for many years (+ can be - as well, similarily we can replace <= with any other comparison operator). This patch adds support for * and / so it extends support for expressions like Symbol * Integer0 + Integer1 <= Integer2. It has marginal impact on the performance, a constant and surely not exponential.

Aug 29 2018, 11:11 PM

Aug 28 2018

baloghadamsoftware committed rL340805: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy)….
[Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy)…
Aug 28 2018, 1:42 AM
baloghadamsoftware committed rC340805: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy)….
[Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy)…
Aug 28 2018, 1:42 AM
baloghadamsoftware closed D32747: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments.
Aug 28 2018, 1:42 AM
baloghadamsoftware added a comment to D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

Of course we would like to try the Z3 for refutation, we do not dispute its usefulness. This patch is about something really different. It extends the range-based constraint manager in a very natural way. Is the code of the range-based constraint manager frozen for some reason? If not, then why not add multiplication and division as well, where addition and subtraction is already supported?

Aug 28 2018, 12:49 AM

Aug 4 2018

baloghadamsoftware added a comment to D32747: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments.
Aug 4 2018, 12:11 AM

Aug 3 2018

baloghadamsoftware added a comment to D32859: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.
In D32859##inline-360206, @NoQ wrote:

I do not immediately understand what is this useful for. At least tests don't look like they make use of these offset manipulations(?)

Without full understanding, i wonder: when we overwrite one container with another, why don't we just overwrite all symbols associated with it, instead of creating a mixture of old and new symbols?

Or maybe this is an accidental part of another patch, that has something to do with resizes?

Aug 3 2018, 8:44 AM
baloghadamsoftware added inline comments to D32845: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters.
Aug 3 2018, 8:31 AM
baloghadamsoftware added a dependency for D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager: D50256: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager (for == and != only).
Aug 3 2018, 8:16 AM
baloghadamsoftware added a dependent revision for D50256: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager (for == and != only): D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.
Aug 3 2018, 8:16 AM
baloghadamsoftware updated the diff for D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

Completely rewritten: works correctly for modular arithmetic (multiplication), works correctly for truncation (division), only uses integers, no floats.

Aug 3 2018, 8:15 AM
baloghadamsoftware created D50256: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager (for == and != only).
Aug 3 2018, 8:12 AM

Aug 2 2018

baloghadamsoftware added a comment to D32747: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments.

Yes, it is working now without the hack.

Aug 2 2018, 1:47 AM
baloghadamsoftware updated the diff for D32747: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments.

Copying iterator position for the this pointer of C++ operators from the caller's context to the callee's context is no longer needed.

Aug 2 2018, 1:45 AM

Aug 1 2018

baloghadamsoftware added inline comments to D32747: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments.
Aug 1 2018, 1:45 AM
baloghadamsoftware updated the diff for D32747: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments.

Pre-statement check of CXXOperatorCallExpr merged into pre-call check.

Aug 1 2018, 1:44 AM

Jul 30 2018

baloghadamsoftware added inline comments to D32747: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments.
Jul 30 2018, 11:59 PM
baloghadamsoftware committed rL338234: [Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its….
[Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its…
Jul 30 2018, 1:52 AM
baloghadamsoftware committed rC338234: [Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its….
[Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its…
Jul 30 2018, 1:52 AM
baloghadamsoftware closed D48427: [Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its last iterator is cleaned up.
Jul 30 2018, 1:52 AM

Jul 26 2018

baloghadamsoftware added a comment to D49627: [CFG] [analyzer] Constructors of member CXXOperatorCallExpr's argument 0 are not argument constructors..

How much different is a correct this-argument construction context from real argument construction contexts?

Jul 26 2018, 1:59 AM
baloghadamsoftware added a comment to D49627: [CFG] [analyzer] Constructors of member CXXOperatorCallExpr's argument 0 are not argument constructors..
Jul 26 2018, 1:55 AM

Jul 23 2018

baloghadamsoftware committed rC337679: Fix for last commit: adding new test file forgotten..
Fix for last commit: adding new test file forgotten.
Jul 23 2018, 3:53 AM
baloghadamsoftware committed rL337679: Fix for last commit: adding new test file forgotten..
Fix for last commit: adding new test file forgotten.
Jul 23 2018, 3:53 AM
baloghadamsoftware committed rC337678: [Analyzer] Quick Fix for exponential execution time when simpilifying complex….
[Analyzer] Quick Fix for exponential execution time when simpilifying complex…
Jul 23 2018, 3:50 AM
baloghadamsoftware committed rL337678: [Analyzer] Quick Fix for exponential execution time when simpilifying complex….
[Analyzer] Quick Fix for exponential execution time when simpilifying complex…
Jul 23 2018, 3:50 AM
baloghadamsoftware closed D49536: [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions.
Jul 23 2018, 3:50 AM

Jul 19 2018

baloghadamsoftware added a comment to D41938: [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option).

The flag is off by default. Except the rearrangement of additive operations. Should we put it also behind the flag?

Jul 19 2018, 3:32 AM
baloghadamsoftware updated the summary of D49536: [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions.
Jul 19 2018, 3:31 AM
baloghadamsoftware updated the summary of D49536: [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions.
Jul 19 2018, 3:31 AM
baloghadamsoftware updated the summary of D49536: [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions.
Jul 19 2018, 3:30 AM