Home | History | Annotate | Download | only in analyzer

Lines Matching refs:nonnull

39   nonnull;
62   nonnull -> freed [label="on 'free(X);'"];
66   /* Handle "__attribute__((nonnull))".   */
67   unchecked -> nonnull [label="on 'FN(X)' with __attribute__((nonnull)):\nWarn('possible NULL arg')"];
68   null -> stop [label="on 'FN(X)' with __attribute__((nonnull)):\nWarn('NULL arg')"];
73   nonnull -> null [label="on 'X = 0;'"];
79   unchecked -> nonnull [label="on '*X':\nWarn('possible NULL deref')"];
84   unchecked -> nonnull [label="on 'X != 0'"];
88   nonnull -> stop [label="on leak:\nWarn('leak')"];