-
Notifications
You must be signed in to change notification settings - Fork 15k
Open
Labels
c++clang:analysisclang:frontendLanguage frontend issues, e.g. anything involving "Sema"Language frontend issues, e.g. anything involving "Sema"confirmedVerified by a second partyVerified by a second party
Description
In this example the destructor is marked [[clang::callable_when(consumed)]]
, and the constructor is marked with [[clang::return_typestate(unconsumed)]]
. Despite this there is no warning issued when the destructor is reached on an unconsumed instance of IplTag
Metadata
Metadata
Assignees
Labels
c++clang:analysisclang:frontendLanguage frontend issues, e.g. anything involving "Sema"Language frontend issues, e.g. anything involving "Sema"confirmedVerified by a second partyVerified by a second party