]> granicus.if.org Git - clang/commitdiff
Fix use after free. Incrementing an use_iterator after its user is erased is unsafe.
authorBenjamin Kramer <benny.kra@googlemail.com>
Sat, 10 Apr 2010 11:02:40 +0000 (11:02 +0000)
committerBenjamin Kramer <benny.kra@googlemail.com>
Sat, 10 Apr 2010 11:02:40 +0000 (11:02 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@100926 91177308-0d34-0410-b5e6-96231b3b80d8

lib/CodeGen/CodeGenModule.cpp

index 3a59c4cf3dedd54b881e244cb2f0204ae957f88b..565f83c69081d190c69be26730af1eba694d7822 100644 (file)
@@ -1203,11 +1203,12 @@ static void ReplaceUsesOfNonProtoTypeWithRealFunction(llvm::GlobalValue *Old,
   llvm::SmallVector<llvm::Value*, 4> ArgList;
 
   for (llvm::Value::use_iterator UI = OldFn->use_begin(), E = OldFn->use_end();
-       UI != E; ++UI) {
+       UI != E; ) {
     // TODO: Do invokes ever occur in C code?  If so, we should handle them too.
-    llvm::CallInst *CI = dyn_cast<llvm::CallInst>(*UI);
+    llvm::Value::use_iterator I = UI++; // Increment before the CI is erased.
+    llvm::CallInst *CI = dyn_cast<llvm::CallInst>(*I);
     llvm::CallSite CS(CI);
-    if (!CI || !CS.isCallee(UI)) continue;
+    if (!CI || !CS.isCallee(I)) continue;
 
     // If the return types don't match exactly, and if the call isn't dead, then
     // we can't transform this call.