NoQ accepted this revision.
NoQ edited reviewers, added: NoQ; removed: dergachev.a.
NoQ added a comment.

This will slightly skew Static Analyzer exploration order, not necessarily in a 
good way, as default arguments and (sometimes) default initializers are not 
modeled properly. But this doesn't sound dangerous, because whether functions 
will be analyzed at top level doesn't depend on where they're positioned in the 
`CallGraph`, but instead on whether they've been actually visited during 
symbolic execution. So it's mostly about order rather than coverage. So i'm not 
worried.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D65453



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

Reply via email to