[PATCH] D65184: [Sema] Thread Safety Analysis: Make negative capability typeless.

Aaron Puchert via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jan 13 11:32:05 PST 2020


aaronpuchert requested changes to this revision.
aaronpuchert added a comment.
This revision now requires changes to proceed.

> A fix would be to let all three produce exclusive negative capability, which essentially means there is no type associated with negative capability. This fix could also fix my bug.

As discussed, this is how it should be solved. I'm changing the state so that it's clear there is nothing to review here currently.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D65184





More information about the cfe-commits mailing list