Lines Matching defs:Object
46 /// object that never escapes from the function.
85 /// getObjectSize - Return the size of the object specified by V, or
96 /// isObjectSmallerThan - Return true if we can prove that the object specified
101 // Note that the meanings of the "object" are slightly different in the
106 // c1 and c2 share the same meaning; however, the meaning of "object" in c3
107 // refers to the "entire object".
113 // In the context of c1 and c2, the "object" pointed by q refers to the
116 // However, in the context of c3, the "object" refers to the chunk of memory
117 // being allocated. So, the "object" has 100 bytes, and q points to the middle
118 // the "object". In case q is passed to isObjectSmallerThan() as the 1st
120 // entire object, we should:
121 // - either rewind the pointer q to the base-address of the object in
124 // to the base address the object.
130 // This function needs to use the aligned object size because we allow
137 /// isObjectSize - Return true if we can prove that the object specified
689 /// specified memory object. Since we only look at local properties of this
698 const Value *Object = GetUnderlyingObject(Loc.Ptr, TD);
705 if (isa<AllocaInst>(Object))
710 // If the pointer is to a locally allocated object that does not escape,
713 if (!isa<Constant>(Object) && CS.getInstruction() != Object &&
714 isNonEscapingLocalObject(Object)) {
730 if (!isNoAlias(Location(*CI), Location(Object))) {
998 // is less than the size of the associated memory object, then we know
1200 // Null values in the default address space don't point to any object, so they
1231 // non-escaping local object within the same function, then we know the
1232 // object couldn't escape to a point where the call could return it.
1245 // If the size of one access is larger than the entire object on the other
1298 // If both pointers are pointing into the same object and one of them
1299 // accesses is accessing the entire object, then the accesses must
