Page MenuHomePhabricator
Feed Advanced Search

Thu, Aug 15

xazax.hun created D66303: [LifetimeAnalysis] Add support for free functions.
Thu, Aug 15, 9:14 AM · Restricted Project

Wed, Aug 14

xazax.hun committed rGbfe0c376014e: [LifetimeAnalysis] Fix false negatives of statement local lifetime analysis for… (authored by xazax.hun).
[LifetimeAnalysis] Fix false negatives of statement local lifetime analysis for…
Wed, Aug 14, 9:36 AM

Tue, Aug 13

xazax.hun added inline comments to D66164: [LifetimeAnalysis] Support std::stack::top() and std::optional::value().
Tue, Aug 13, 3:33 PM · Restricted Project, Restricted Project
xazax.hun added inline comments to D66164: [LifetimeAnalysis] Support std::stack::top() and std::optional::value().
Tue, Aug 13, 3:04 PM · Restricted Project, Restricted Project
xazax.hun accepted D66164: [LifetimeAnalysis] Support std::stack::top() and std::optional::value().

LG! But let's wait for Dmitri :)

Tue, Aug 13, 2:12 PM · Restricted Project, Restricted Project
xazax.hun added a comment to D66152: Fix false negatives of statement local lifetime analysis for some STL implementation.

Apologies for going off-topic, but would it make sense to start lifetime related patches with the tag [LifetimeAnalysis] or similar (like [analyzer] for static analyzer patches)? I dont feel knowledgable enough to participate, but would gladly add a herald rule to be subscribed and learn about the development process of it.

Tue, Aug 13, 11:14 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D66152: Fix false negatives of statement local lifetime analysis for some STL implementation.
Tue, Aug 13, 10:34 AM · Restricted Project, Restricted Project
xazax.hun created D66152: Fix false negatives of statement local lifetime analysis for some STL implementation.
Tue, Aug 13, 10:34 AM · Restricted Project, Restricted Project
xazax.hun added reviewers for D66136: Remove no-op callbacks from TemplateInstantiationCallback: Szelethus, sabel83.

The changes look good to me. Added some folks who might have more knowledge about the original purpose.

Tue, Aug 13, 6:55 AM · Restricted Project

Mon, Aug 12

xazax.hun added a comment to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.

Hi. I noticed in our builders that both of the warnings introduced in this patch are being diagnosed for pointers that don't use GSL at all. I'm attempting to make a small reproducer now.

Hi!

Clang now apply GSL annotations for some STL types automatically. So this is the expected behavior. Are any of those warnings unwanted/false positive with the newest Clang version? If so, please share the reproducers and I will either fix them ASAP or revert/turn off the warnings.

Thanks! I didn't know that they were applied to stl types. This could explain why the warning is raised in my case (std::string), but I don't think there's anything wrong in this example that would lead to a warning:

leonardchan@cp-snakewater:~/llvm-monorepo/llvm-build-3-master$ cat ~/misc/test.cpp
#include <string>

std::string MakeStr();
void other_func(const char *s);

void func(std::string s) {
  const char *x = MakeStr().c_str();
  other_func(x);
}
leonardchan@cp-snakewater:~/llvm-monorepo/llvm-build-3-master$ ~/llvm-monorepo/llvm-build-3-master/bin/clang++ -c ~/misc/test.cpp
/usr/local/google/home/leonardchan/misc/test.cpp:7:19: warning: object backing the pointer will be destroyed at the end of the full-expression [-Wdangling]
  const char *x = MakeStr().c_str();
                  ^~~~~~~~~
1 warning generated.

This was made using a release build from ToT clang.

Mon, Aug 12, 5:09 PM · Restricted Project, Restricted Project
xazax.hun added a comment to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.

Hi. I noticed in our builders that both of the warnings introduced in this patch are being diagnosed for pointers that don't use GSL at all. I'm attempting to make a small reproducer now.

Mon, Aug 12, 3:15 PM · Restricted Project, Restricted Project
xazax.hun committed rGc6802b231f9c: Fix multiple lifetime warning messages for range based for loop (authored by xazax.hun).
Fix multiple lifetime warning messages for range based for loop
Mon, Aug 12, 9:22 AM

Sun, Aug 11

xazax.hun committed rGe812bf553087: Properly detect temporary gsl::Owners through reference initialization chains. (authored by xazax.hun).
Properly detect temporary gsl::Owners through reference initialization chains.
Sun, Aug 11, 7:43 AM
xazax.hun committed rG3560ed052354: Properly handle reference initialization when detecting gsl::Pointer… (authored by xazax.hun).
Properly handle reference initialization when detecting gsl::Pointer…
Sun, Aug 11, 1:09 AM

Fri, Aug 9

xazax.hun committed rGeb563af70b54: Fix a false positive warning when initializing members with gsl::Owners. (authored by xazax.hun).
Fix a false positive warning when initializing members with gsl::Owners.
Fri, Aug 9, 5:35 PM
xazax.hun committed rG795c3667d910: Attempt to reapply "Even more warnings utilizing gsl::Owner/gsl::Pointer… (authored by xazax.hun).
Attempt to reapply "Even more warnings utilizing gsl::Owner/gsl::Pointer…
Fri, Aug 9, 4:07 PM
xazax.hun committed rG67a7530b4727: Revert Even more warnings utilizing gsl::Owner/gsl::Pointer annotations (authored by xazax.hun).
Revert Even more warnings utilizing gsl::Owner/gsl::Pointer annotations
Fri, Aug 9, 12:02 PM
xazax.hun committed rGfd85c894eb68: Revert Fix a build bot failure and multiple warnings instances for range base… (authored by xazax.hun).
Revert Fix a build bot failure and multiple warnings instances for range base…
Fri, Aug 9, 11:58 AM
xazax.hun committed rG2bf522aea62e: Fix a build bot failure and multiple warnings instances for range base for loops (authored by xazax.hun).
Fix a build bot failure and multiple warnings instances for range base for loops
Fri, Aug 9, 10:44 AM
xazax.hun committed rG7c3c8ba8daf4: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations (authored by xazax.hun).
Even more warnings utilizing gsl::Owner/gsl::Pointer annotations
Fri, Aug 9, 10:12 AM
xazax.hun committed rGc1dafd7b534c: More warnings regarding gsl::Pointer and gsl::Owner attributes (authored by xazax.hun).
More warnings regarding gsl::Pointer and gsl::Owner attributes
Fri, Aug 9, 8:19 AM

Thu, Aug 8

xazax.hun added inline comments to D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
Thu, Aug 8, 2:06 PM · Restricted Project, Restricted Project
xazax.hun updated the diff for D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
  • Fix review comments.
Thu, Aug 8, 2:04 PM · Restricted Project, Restricted Project
xazax.hun added a comment to D65723: [analyzer][NFC] Add different interestingness kinds.

As this thing will now be part of the checker interface it would be great to have some guidelines which interestingness kind to use (or, when to use interestingness at all). I am totally fine with addressing this in a followup patch though.

Thu, Aug 8, 1:35 PM · Restricted Project
xazax.hun added a comment to D65575: [analyzer] Mention whether an event is about a condition in a bug report part 1.

Yeah, this is important bike-shedding from the user point of view. Otherwise it looks good to me.

Thu, Aug 8, 1:31 PM · Restricted Project
xazax.hun added inline comments to D65287: [analyzer][CFG] Don't track the condition of asserts.
Thu, Aug 8, 1:25 PM · Restricted Project, Restricted Project
xazax.hun added inline comments to D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.
Thu, Aug 8, 12:46 PM · Restricted Project, Restricted Project

Wed, Aug 7

xazax.hun added inline comments to D65724: [analyzer] Don't make ConditionBRVisitor events prunable when the condition is an interesting field.
Wed, Aug 7, 3:19 PM · Restricted Project
xazax.hun added inline comments to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Wed, Aug 7, 11:13 AM · Restricted Project, Restricted Project

Tue, Aug 6

xazax.hun committed rGe5e10b526f2f: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes (authored by xazax.hun).
Teach some warnings to respect gsl::Pointer and gsl::Owner attributes
Tue, Aug 6, 12:17 PM
xazax.hun added inline comments to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Tue, Aug 6, 8:43 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.
Tue, Aug 6, 8:34 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.
Tue, Aug 6, 6:56 AM · Restricted Project, Restricted Project

Mon, Jul 29

xazax.hun added inline comments to D64991: [analyzer][WIP] Implement a primitive reaching definitions analysis.
Mon, Jul 29, 9:19 PM · Restricted Project
xazax.hun accepted D65290: [analyzer][NFC] Prove that we only track the evaluated part of the condition.

More tests are always welcome :)

Mon, Jul 29, 9:06 PM · Restricted Project, Restricted Project
xazax.hun added inline comments to D65287: [analyzer][CFG] Don't track the condition of asserts.
Mon, Jul 29, 9:02 PM · Restricted Project, Restricted Project
xazax.hun added a comment to D65361: [analyzer] Trust global initializers when analyzing main()..

I like the change.

Mon, Jul 29, 8:49 PM · Restricted Project
xazax.hun added a comment to D65381: [analyzer][NFC] Refactoring BugReporter.cpp P3.: std::shared_pointer<PathDiagnosticPiece> -> PathDiagnosticPieceRef.

Just wondering, did you check if we actually need shared ownership for this type? If not, do not waste your time checking for now :)

Mon, Jul 29, 8:43 PM · Restricted Project, Restricted Project
xazax.hun accepted D65349: [analyzer] Be more careful with destructors of non-regions..

LG!

Mon, Jul 29, 8:35 PM · Restricted Project
xazax.hun accepted D65379: [analyzer][NFC] Refactoring BugReporter.cpp P2.: Clean up the construction of bug paths and finding a valid report.

Looks good, some nits inline. I agree with Artem, we should consider omitting the trimming and document how to get something similar if desired for debugging.

Mon, Jul 29, 8:30 PM · Restricted Project, Restricted Project
xazax.hun accepted D65378: [analyzer][NFC] Refactoring BugReporter.cpp P1.: Store interesting symbols/regions in a simple set.

LGTM! I also do not see much value in the old code at this point. I would expect PathDiagnosticConsumers to be independent of the interesting symbols/regions.

Mon, Jul 29, 8:15 PM · Restricted Project, Restricted Project
xazax.hun added a comment to D65182: [analyzer] Add fix-it hint support..

The direction looks good to me. I wonder if it is worth to add some warnings somewhere that it is really tricky to come up with reasonable fixits for most path sensitive checks.

Mon, Jul 29, 8:08 PM · Restricted Project
xazax.hun added a comment to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.

Thanks for the review!
Since I did some refactoring I will wait for an additional accept before committing.

Mon, Jul 29, 11:37 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.
Mon, Jul 29, 11:37 AM · Restricted Project, Restricted Project
xazax.hun updated the diff for D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.
  • Rebase, add the results of testing on real world projects to the description.
Mon, Jul 29, 11:37 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
Mon, Jul 29, 11:31 AM · Restricted Project, Restricted Project
xazax.hun updated the diff for D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
  • Add new line to end of file.
  • Rebase, calls no longer need special handling.
Mon, Jul 29, 11:31 AM · Restricted Project, Restricted Project
xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • Actually move the code snippet in question.
Mon, Jul 29, 11:31 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Mon, Jul 29, 11:31 AM · Restricted Project, Restricted Project
xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • A small refactoring based on an observation from a review comment.
Mon, Jul 29, 11:24 AM · Restricted Project, Restricted Project

Wed, Jul 24

xazax.hun updated the diff for D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.
  • Rebase
Wed, Jul 24, 12:28 PM · Restricted Project, Restricted Project
xazax.hun updated the diff for D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
  • Remove unused parameter.
Wed, Jul 24, 12:27 PM · Restricted Project, Restricted Project
xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • Fix a false positive case found by running over ~200 open source projects
Wed, Jul 24, 12:24 PM · Restricted Project, Restricted Project
xazax.hun added a comment to D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.

I have run this successfully on ~192 open source projects.

Wed, Jul 24, 9:48 AM · Restricted Project, Restricted Project

Mon, Jul 22

xazax.hun added a child revision for D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes: D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.
Mon, Jul 22, 5:38 PM · Restricted Project, Restricted Project
xazax.hun added a parent revision for D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations: D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
Mon, Jul 22, 5:38 PM · Restricted Project, Restricted Project
xazax.hun created D65127: Even more warnings utilizing gsl::Owner/gsl::Pointer annotations.
Mon, Jul 22, 5:38 PM · Restricted Project, Restricted Project
xazax.hun added inline comments to D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
Mon, Jul 22, 5:20 PM · Restricted Project, Restricted Project
xazax.hun added inline comments to D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
Mon, Jul 22, 3:35 PM · Restricted Project, Restricted Project
xazax.hun added a child revision for D64448: gsl::Owner/gsl::Pointer: Add implicit annotations for some std types: D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
Mon, Jul 22, 3:35 PM · Restricted Project, Restricted Project
xazax.hun added parent revisions for D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes: D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes, D64448: gsl::Owner/gsl::Pointer: Add implicit annotations for some std types.
Mon, Jul 22, 3:35 PM · Restricted Project, Restricted Project
xazax.hun added a child revision for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes: D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
Mon, Jul 22, 3:35 PM · Restricted Project, Restricted Project
xazax.hun created D65120: More warnings regarding gsl::Pointer and gsl::Owner attributes.
Mon, Jul 22, 3:31 PM · Restricted Project, Restricted Project
xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • Fix a false positive from previous change.
Mon, Jul 22, 11:12 AM · Restricted Project, Restricted Project
xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • Fix a TODO and add some more tests.
Mon, Jul 22, 10:34 AM · Restricted Project, Restricted Project
xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • Address the rest of the review comments.
Mon, Jul 22, 9:27 AM · Restricted Project, Restricted Project

Jul 17 2019

xazax.hun added inline comments to D64232: [analyzer] Prune calls to functions with linear CFGs that return a non-zero constrained value.
Jul 17 2019, 11:44 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D64270: [analyzer][NFC] Prepare visitors for different tracking kinds.
Jul 17 2019, 11:38 AM · Restricted Project, Restricted Project
xazax.hun accepted D64287: [analyzer] Track the right hand side of the last store regardless of its value.

Since we allow new kinds of SVals to be tracked it would be great to test this first on a larger corpus of projects just to see if there is a crash (due to an unhandled SVal type).

Jul 17 2019, 11:34 AM · Restricted Project
xazax.hun added a comment to D64272: [analyzer] Note last writes to a condition only in a nested stackframe.

I have one small question otherwise looks good.

Jul 17 2019, 11:33 AM · Restricted Project, Restricted Project

Jul 11 2019

xazax.hun added inline comments to D63954: Add lifetime categories attributes.
Jul 11 2019, 12:13 PM · Restricted Project, Restricted Project
xazax.hun added a comment to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.

Thanks for the review! I will update the patch soon. As there is a dependency that is not accepted yet Richard (who authored the code I extended) might have some chance to take a look at this patch.

Jul 11 2019, 12:08 PM · Restricted Project, Restricted Project

Jul 9 2019

xazax.hun added a comment to D64448: gsl::Owner/gsl::Pointer: Add implicit annotations for some std types.

The tests are currently here
I think due to their dependency on a standard library, they are not a good fit for clang/test/. Where else could I put them?

Make some mocks that reproduce the salient parts of different libraries, the coding patterns they use, and check them into clang/test.

Jul 9 2019, 3:24 PM · Restricted Project, Restricted Project
xazax.hun updated the summary of D64448: gsl::Owner/gsl::Pointer: Add implicit annotations for some std types.
Jul 9 2019, 3:24 PM · Restricted Project, Restricted Project
xazax.hun added inline comments to D63954: Add lifetime categories attributes.
Jul 9 2019, 10:53 AM · Restricted Project, Restricted Project
xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • Address review comments.
Jul 9 2019, 9:07 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Jul 9 2019, 9:05 AM · Restricted Project, Restricted Project

Jul 8 2019

xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • Fix a typo.
Jul 8 2019, 9:22 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Jul 8 2019, 9:20 AM · Restricted Project, Restricted Project
xazax.hun updated the diff for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
  • Address review comments.
Jul 8 2019, 9:20 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Jul 8 2019, 8:14 AM · Restricted Project, Restricted Project

Jul 5 2019

xazax.hun changed the repository for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes from rC Clang to rG LLVM Github Monorepo.
Jul 5 2019, 10:53 AM · Restricted Project, Restricted Project
xazax.hun added a parent revision for D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes: D63954: Add lifetime categories attributes.
Jul 5 2019, 10:53 AM · Restricted Project, Restricted Project
xazax.hun added a child revision for D63954: Add lifetime categories attributes: D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Jul 5 2019, 10:53 AM · Restricted Project, Restricted Project
xazax.hun retitled D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes from Teach some warnings to respect gsd::Pointer and gsl::Owner attributes to Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Jul 5 2019, 10:51 AM · Restricted Project, Restricted Project
xazax.hun created D64256: Teach some warnings to respect gsl::Pointer and gsl::Owner attributes.
Jul 5 2019, 10:51 AM · Restricted Project, Restricted Project

Jul 3 2019

xazax.hun added a comment to D63915: [analyzer] ReturnValueChecker: Model the guaranteed boolean return value of function calls.

Some nits inline, note that this was just a partial review.

Jul 3 2019, 11:51 AM · Restricted Project, Restricted Project
xazax.hun accepted D62611: [analyzer][Dominators] Add unittests.

Looks good to me, some nits inline.

Jul 3 2019, 11:39 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D63538: [CFG] Add a new function to get the proper condition of a CFGBlock.
Jul 3 2019, 11:30 AM · Restricted Project, Restricted Project

Jul 1 2019

xazax.hun added a comment to D63954: Add lifetime categories attributes.

I agree. In a follow-up patch we will add the attributes to STL types during parsing. Do you think it is OK to always add the attributes or should we only do it if a flag, e.g. -wlifetime is added to the compiler invocation?

Warning flags should not change the AST -- compiler engineers don't expect that. So if Clang is going to perform inference, it should either always do it, or it should be guarded by an -f flag, not a -W flag.

Jul 1 2019, 11:10 AM · Restricted Project, Restricted Project
xazax.hun accepted D63968: [analyzer] Fix target region invalidation when returning into a ctor initializer..

LG! Thanks!

Jul 1 2019, 10:27 AM · Restricted Project, Restricted Project
xazax.hun added inline comments to D63954: Add lifetime categories attributes.
Jul 1 2019, 9:35 AM · Restricted Project, Restricted Project
xazax.hun added a comment to D63954: Add lifetime categories attributes.

We explicitly allow to add an annotation after the definition of the class to allow adding annotations to external source from by the user

Asking users to forward-declare anything from the standard library is a very bad idea -- in fact it is undefined behavior. https://stackoverflow.com/questions/307343/forward-declare-an-stl-container

The compiler should just know about standard library types and attach attributes automatically.

Jul 1 2019, 8:58 AM · Restricted Project, Restricted Project

Jun 28 2019

xazax.hun accepted D63956: [analyzer] NonnullGlobalConstants: Don't be confused with a _Nonnull attribute..

LG!

Jun 28 2019, 10:29 PM · Restricted Project, Restricted Project
xazax.hun added a comment to D63954: Add lifetime categories attributes.

I actually think we should hard code STL (and maybe some other popular) types into the compiler. I.e.: if an STL type is unannotated and the warnings are turned on, we could look up the default annotations from a table and append them during parsing. This could be done in a separate patch.

Jun 28 2019, 3:14 PM · Restricted Project, Restricted Project

Jun 27 2019

xazax.hun added a comment to D63538: [CFG] Add a new function to get the proper condition of a CFGBlock.

This change will be really useful for the lifetime analysis as well! Thanks!

Jun 27 2019, 11:55 AM · Restricted Project, Restricted Project
xazax.hun accepted D63878: [CTU] Add missing statistics.

LGTM!

Jun 27 2019, 9:15 AM · Restricted Project, Restricted Project

Jun 25 2019

xazax.hun accepted D62883: [analyzer] Track terminator conditions on which a tracked expressions depends.

Artem had some comments that are not marked as done, but LGTM!

Jun 25 2019, 6:37 AM · Restricted Project, Restricted Project

Jun 20 2019

xazax.hun added a comment to D62883: [analyzer] Track terminator conditions on which a tracked expressions depends.
  • Now using CFGBlock::getTerminatorConditionExpr()
  • Uniqueing already tracked conditions as an (Expr, ExplodedNode) pair instead of on Expr
Jun 20 2019, 5:03 PM · Restricted Project, Restricted Project

Jun 19 2019

xazax.hun added inline comments to D63227: [analyzer] Better timers..
Jun 19 2019, 9:39 PM · Restricted Project, Restricted Project