r214064 - Factoring DataflowWorklist out of LiveVariables and UninitializedValues analyses

[Artyom Skrobov]

Indeed, for the other version of options.c, the analysis (on my machine) takes 3 sec before the patch, and 6 min after the patch.

It doesn’t hang indefinitely though, and the output is the same in both cases; so what we have is a performance regression.

 

I’m now trying a fix.

 

 

From: Alexander Kornienko [mailto:alexfh at google.com] 
Sent: 04 August 2014 19:26
To: Artyom Skrobov
Subject: Re: r214064 - Factoring DataflowWorklist out of LiveVariables and UninitializedValues analyses

 

On Mon, Aug 4, 2014 at 4:36 PM, Artyom Skrobov <Artyom.Skrobov at arm.com> wrote:

Are you sure this issue has anything to do with my patch?

I’ve just run “clang -cc1 -analyze -analyzer-checker=deadcode.DeadStores options.i” using a build of Clang pre-dating my patch by a couple of weeks; and the analysis hangs nevertheless.

 

You're right. This specific file causes hangs regardless of your patch. Sorry for not verifying this.

 

However, I've got another version of this file, which only makes analyzer hang with your patch. Please try it.

 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140805/d7640fe4/attachment.html>