aaron.ballman added a comment.

> I think ideally we would get all possible values at this point and analyze 
> them all(?), but I'm not sure how to implement this.

Err, if we don't know the callee, there's not a whole lot we can do. I don't 
think we'd want to make guesses at what potentially could be stored in the 
function pointer at that point.

Overall, though, I think this direction makes sense, but I'd like to hear from 
@aaronpuchert and/or @delesley.



================
Comment at: clang/lib/Analysis/ThreadSafety.cpp:2066-2070
+  const auto *CD = Exp->getCalleeDecl();
+  if (!CD)
+    return;
+
+  const auto *D = dyn_cast<NamedDecl>(CD);
----------------



Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D152246/new/

https://reviews.llvm.org/D152246

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to