[PATCH] D39031: [Analyzer] Correctly handle parameters passed by reference when bodyfarming std::call_once

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov created this revision.
Herald added subscribers: szepet, kristof.beyls, xazax.hun, javed.absar, aemerson.

Also explicitly do not support functors for now, since that entails figuring out which call operator corresponds to the passed parameters.
Resolution: we really should not do body farming for templated C++ functions, even in seemingly trivial cases!


https://reviews.llvm.org/D39031

Files:
  lib/Analysis/BodyFarm.cpp
  test/Analysis/call_once.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D39031.119415.patch
Type: text/x-patch
Size: 5331 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20171018/8f64bde7/attachment-0001.bin>