maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
267,817 Commits 23 Branches 0 Tags 2.2 GiB
C++ 39.1%
LLVM 35.7%
C 12.1%
Assembly 8.9%
Python 1.1%
Other 2.7%
Go to file
Peter Szecsi 657ac14816 [StaticAnalyzer] Completely unrolling specific loops with known bound option 
This feature allows the analyzer to consider loops to completely unroll.
New requirements/rules (for unrolling) can be added easily via ASTMatchers.

Right now it is hidden behind a flag, the aim is to find the correct heuristic
and create a solution which results higher coverage % and more precise
analysis, thus can be enabled by default.

Right now the blocks which belong to an unrolled loop are marked by the
LoopVisitor which adds them to the ProgramState.
Then whenever we encounter a CFGBlock in the processCFGBlockEntrance which is
marked then we skip its investigating. That means, it won't be considered to
be visited more than the maximal bound for visiting since it won't be checked.

llvm-svn: 309006
 		2017-07-25 19:23:23 +00:00
clang [StaticAnalyzer] Completely unrolling specific loops with known bound option 2017-07-25 19:23:23 +00:00
clang-tools-extra [clang-tidy] Fixup clang-apply-replacements/invalid-files test 2017-07-25 14:39:08 +00:00
compiler-rt Only scan global sections containing data in LSan on darwin 2017-07-25 18:16:58 +00:00
debuginfo-tests Add a test for PR33166. 2017-05-25 19:33:16 +00:00
libclc generic: add missing get_work_dim include 2017-06-02 15:58:35 +00:00
libcxx Remove addtional parameters in function std::next() and std::prev() 2017-07-24 22:17:05 +00:00
libcxxabi Update version to 6.0.0svn 2017-07-19 13:42:18 +00:00
libunwind [libunwind] Handle .ARM.exidx tables without sentinel last entry 2017-07-24 09:19:32 +00:00
lld Attempt to fix lld tests on Windows after 308998. 2017-07-25 18:39:38 +00:00
lldb [TypeSystem] Guard the global `ASTSourceMap` with a mutex 2017-07-25 17:33:37 +00:00
llgo irgen: Create functions instead of global variables for builtin hash and equal algorithms. 2017-06-04 22:11:28 +00:00
llvm Revert "This patch enables the usage of constant Enum identifiers within Microsoft style inline assembly statements." 2017-07-25 19:22:09 +00:00
openmp Cleanup: __kmp_env_* variables 2017-07-25 18:20:16 +00:00
parallel-libs [Axccel] Remove -Wno-missing-braces in build 2016-12-19 21:34:07 +00:00
polly [ScopInfo] Rename ScopStmt::contains(BB) to represents(BB). NFC. 2017-07-25 16:25:37 +00:00