LLVM Pass - Only access first element if vector is non-empty

For Issue #216
bprail · Aug 22, 2019 · 2de91e8 · 2de91e8
1 parent de8b5fc
commit 2de91e8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/llvm-contech/BufferCheckAnalysis.cpp b/llvm-contech/BufferCheckAnalysis.cpp
@@ -45,6 +45,7 @@ namespace llvm
     // accumulate the state from multiple branches
     int BufferCheckAnalysis::accumulateBranch(vector<int>& srcs)
     {
+		if (srcs.empty() == true) return 0;
         int ret = srcs[0];
         for (int i = 1; i < srcs.size(); ++i) 
         {