HomePhabricator

[Attributor][FIX] NullPointerIsDefined needs the pointer AS (AANonNull)

Description

[Attributor][FIX] NullPointerIsDefined needs the pointer AS (AANonNull)

Also includes a shortcut via AADereferenceable if possible.

Details

Committed
jdoerfertOct 13 2019, 1:48 PM
Parents
rL374736: [Attributor][MemBehavior] Fallback to the function state for arguments
Branches
Unknown
Tags
Unknown