This is an archive of the discontinued LLVM Phabricator instance.

[StaticAnalyzer] Skip simulating branches where for-loops take 0 unrolled step
Needs ReviewPublic

Authored by szepet on Jul 20 2017, 8:28 AM.

Details

Summary

I tried to experiment on the Static Analyzer and investigate how the false positive rate changes if we never assume that the body of a for-loop is executed 0 times. I came up with this solution but it still found the following bug: http://cc.elte.hu:15009/#run=23&report=5456

Diff Detail

Event Timeline

szepet created this revision.Jul 20 2017, 8:28 AM
szepet removed reviewers: whisperity, baloghadamsoftware.
NoQ edited edge metadata.Jul 20 2017, 8:36 AM

If we are to help with looking into this remaining bug, could you try to extract the info that's needed to reproduce it (eg. preprocessed file and analyzer run-line)?