539 …OSArray *newPtr = OSDynamicCast(OSArray, originalPtr); // expected-note {{'newPtr' initialized to …  in check_dynamic_cast_alias()  local
540   if (newPtr) {                                          // expected-note {{'newPtr' is non-null}}  in check_dynamic_cast_alias()
543     (void)newPtr;  in check_dynamic_cast_alias()
551   OSArray *newPtr = 0;  in check_dynamic_cast_alias_cond()  local
552 …if ((newPtr = OSDynamicCast(OSArray, originalPtr))) { // expected-note {{The value of 'originalPtr…  in check_dynamic_cast_alias_cond()
556     (void)newPtr;  in check_dynamic_cast_alias_cond()
565   OSArray *newPtr = 0;  in check_dynamic_cast_alias_intermediate()  local
566 …if ((newPtr = OSDynamicCast(OSArray, intermediate))) { // expected-note {{The value of 'intermedia…  in check_dynamic_cast_alias_intermediate()
570     (void)newPtr;  in check_dynamic_cast_alias_intermediate()
579   OSArray *newPtr = 0;  in check_dynamic_cast_alias_intermediate_2()  local
580 …if ((newPtr = OSDynamicCast(OSArray, intermediate))) { // expected-note {{Value assigned to 'newPt…  in check_dynamic_cast_alias_intermediate_2()
586   (void)newPtr;  in check_dynamic_cast_alias_intermediate_2()