Page MenuHomePhabricator
Feed Advanced Search

Nov 20 2017

ilya-palachev updated the diff for D40073: [Analyzer] Non-determinism: don't sort indirect goto LabelDecl's by addresses.

Ok, I agree, this test file is rather better.

Nov 20 2017, 3:35 AM

Nov 15 2017

ilya-palachev updated the summary of D40073: [Analyzer] Non-determinism: don't sort indirect goto LabelDecl's by addresses.
Nov 15 2017, 5:29 AM
ilya-palachev updated the diff for D40073: [Analyzer] Non-determinism: don't sort indirect goto LabelDecl's by addresses.

Slightly changed the number of max-nodes, since previous one was maximum possible on my local branch, and it doesn't work for upstream. The behavior with number 500 seems more stable. With it, we have 4 different types of PLIST's being generated: 14, 54, 8 and 24 times, correspondingly.

Nov 15 2017, 5:25 AM
ilya-palachev created D40073: [Analyzer] Non-determinism: don't sort indirect goto LabelDecl's by addresses.
Nov 15 2017, 5:13 AM

Aug 10 2017

ilya-palachev added a comment to D9912: PR20958 Allow redeclaration of type-generic builtins.

Hi! Thanks for this patch.

Aug 10 2017, 2:51 AM

Feb 9 2017

ilya-palachev abandoned D27710: [analyzer] Prohibit ExplodedGraph's edges duplicating.

Ok, then, if you see no problem in dual edges, I'm abandoning this revision.

Feb 9 2017, 7:30 AM

Jan 19 2017

ilya-palachev added a comment to D27710: [analyzer] Prohibit ExplodedGraph's edges duplicating.

Thanks for review!

Jan 19 2017, 6:23 AM

Dec 21 2016

ilya-palachev added a comment to D27710: [analyzer] Prohibit ExplodedGraph's edges duplicating.

Are there any negative effects from having the duplicates in edges?

Dec 21 2016, 8:13 AM

Dec 13 2016

ilya-palachev set the repository for D27710: [analyzer] Prohibit ExplodedGraph's edges duplicating to rL LLVM.
Dec 13 2016, 6:23 AM
ilya-palachev updated the diff for D27710: [analyzer] Prohibit ExplodedGraph's edges duplicating.

Fixed a typo

Dec 13 2016, 5:59 AM
ilya-palachev retitled D27710: [analyzer] Prohibit ExplodedGraph's edges duplicating from to [analyzer] Prohibit ExplodedGraph's edges duplicating.
Dec 13 2016, 5:54 AM

Nov 9 2016

ilya-palachev retitled D26442: [analyzer] Fix crash on getSVal: handle case of CompoundVal from to [analyzer] Fix crash on getSVal: handle case of CompoundVal.
Nov 9 2016, 1:59 AM

Oct 18 2016

ilya-palachev updated subscribers of D25727: [analyzer] Handle case of undefined values in performTrivialCopy.
Oct 18 2016, 7:25 AM
ilya-palachev retitled D25727: [analyzer] Handle case of undefined values in performTrivialCopy from Handle case of undefined values in performTrivialCopy to [analyzer] Handle case of undefined values in performTrivialCopy.
Oct 18 2016, 7:12 AM
ilya-palachev retitled D25727: [analyzer] Handle case of undefined values in performTrivialCopy from to Handle case of undefined values in performTrivialCopy.
Oct 18 2016, 7:09 AM

Sep 15 2016

ilya-palachev updated subscribers of D22346: [Clang-tidy] CERT-MSC50-CPP (std:rand() ).
Sep 15 2016, 1:32 AM

Sep 9 2016

ilya-palachev updated subscribers of D24384: [analyzer] [draft] Don't leave results of comparisons unknown.
Sep 9 2016, 5:55 AM

Aug 11 2016

ilya-palachev updated subscribers of D23375: Add kfree( ) to MallocChecker.cpp.
Aug 11 2016, 4:05 AM ยท Restricted Project