llvm-project
79ebcadf - [analyzer] Prevent inlining RAII ctors/dtors (#208729)

Commit
1 day ago
[analyzer] Prevent inlining RAII ctors/dtors (#208729) BlockInCriticalSectionChecker registers the pre-call for the RAII ctors and Dtors - and also the raw 'lock' and 'unlock' handlers. However, pre-call does not prevent inlining. This means that (in the likely case of) that the body is present, the analyzer will model the effect of the lock twice. This happens on libc++ unique_lock. We really should have eval-called the ctor/dtor to avoid the inlining of those, but here we are. rdar://175814310
Author
Parents
Loading