Lines Matching refs:nullable

11 1) nullable
14 If a pointer 'p' has a nullable annotation and no explicit null check or assert, we should warn in …
18 Taking a branch on nullable pointers are the same like taking branch on null unspecified pointers.
20 Explicit cast from nullable to nonnul::
27 …ens, I will treat bar as nullable unspecified, this way all of the warnings will be suppressed. Tr…
33 - Converting nonnull to nullable is Ok.
34 - When there is an explicit cast from nonnull to nullable I will trust the cast (it is probable the…
53 - Sending a message to a nullable pointer
54 …ght return a nonnull pointer, when it was sent to a nullable pointer the return type will be nulla…
55 	- The result is nullable unless the receiver is known to be non null.
63 …n inlined body. For example, consider these conversions from nonnull to nullable in presence of in…
69     void takesNullable(nullable id obj) {
70        obj->ivar // we should assume obj is nullable and warn here
73 …ll remain nonnull to avoid false positives but the functions that takes nullable parameters will b…
88 …levant region a qualifier information would be attached which is either nullable, nonnull or null …
89 - On a branch, where a nullable pointer is known to be non null, the checker treat it as a same way…
90 - When there is an explicit cast from a null unspecified to either nonnull or nullable I will trust…