- User Since
- Apr 6 2020, 5:32 AM (53 w, 22 h)
Thu, Apr 8
Change produced SVal for the spaceship operator from Undefined to Unknown
Require std::data to accept exactly 1 argument
Well, that is a nice exercise for "two pointer" problems, but can we please talk about the actual use case for it?
Wed, Apr 7
Support nested init lists
Tue, Apr 6
Set Prop and IVar at the same time
It looks like this patch introduced a some weird false positive on PostgreSQL
I'll try to look at it myself and minimize it, but maybe you can get an idea from a full report.
Use builtin way of checking for init methods
Sat, Apr 3
Fri, Apr 2
Thanks for working on improvements of the solver and constraints! However, I have some tough questions about this patch.
Wed, Mar 31
Looking great! Thanks!
Tue, Mar 30
Mon, Mar 29
Add another test
Thu, Mar 25
From the first glance, everything is looking good! Thanks for addressing this!
But I still need to have a deeper look.
Wed, Mar 24
Tue, Mar 23
Mon, Mar 22
Re-write the test using %clang_analyze_cc1
Fri, Mar 19
Fix typos in comments
Thu, Mar 18
Wed, Mar 17
Replace manual memory management of IPData with std::unique_ptr
Tue, Mar 16
Add minor fix in tests
Oof, it took me quite some time to come back to this.
I don't think that I'll be able to gather more performance-related data than I already did, so if it's OK with y'all, we can land it.
@NoQ @steakhal @ASDenysPetrov ?
Rebase and address review comments
Mon, Mar 15
Unify the way we deal with escapes
Mar 12 2021
Mar 11 2021
Remove unused global variable from the test
Make areFeasible function static
Fix review comments
Mar 10 2021
@steakhal I personally don't see any fundamental problems with this patch
Mar 9 2021
Looks great, thanks for cleaning up!