Searched refs:addKnowledge (Results 1 – 1 of 1) sorted by relevance
172 void addKnowledge(RetainedKnowledge RK) { in addKnowledge() function203 addKnowledge({Attr.getKindAsEnum(), AttrArg, WasOn}); in addAttribute()258 addKnowledge({Attribute::Dereferenceable, DerefSize, Pointer}); in addAccessedPtr()261 addKnowledge({Attribute::NonNull, 0u, Pointer}); in addAccessedPtr()264 addKnowledge({Attribute::Alignment, MA.valueOrOne().value(), Pointer}); in addAccessedPtr()314 Builder.addKnowledge(RK); in buildAssumeFromKnowledge()486 Builder.addKnowledge(RK); in mergeRange()