Searched refs:addKnowledge (Results 1 – 1 of 1) sorted by relevance
173 void addKnowledge(RetainedKnowledge RK) { in addKnowledge() function204 addKnowledge({Attr.getKindAsEnum(), AttrArg, WasOn}); in addAttribute()259 addKnowledge({Attribute::Dereferenceable, DerefSize, Pointer}); in addAccessedPtr()262 addKnowledge({Attribute::NonNull, 0u, Pointer}); in addAccessedPtr()265 addKnowledge({Attribute::Alignment, MA.valueOrOne().value(), Pointer}); in addAccessedPtr()312 Builder.addKnowledge(RK); in buildAssumeFromKnowledge()484 Builder.addKnowledge(RK); in mergeRange()