Home | History | Annotate | Download | only in Analysis

Lines Matching refs:Declared

102   bool              Declared;         ///<  true if the lock was declared
108 Declared(Declrd) {}
115 bool declared() const { return Declared; }
117 void setDeclared(bool D) { Declared = D; }
1205 !Entry->asserted() && !Entry->declared()) {
2356 // Adjust the expected exit set by adding or removing locks, as declared