The semantics replace any semantics that may have been previously assigned to name . If no sem is given, i.e. if only name is given, the option is taken as a request to remove semantics from the named function. This information is used in subsequent value tracking. This is identical to the semantic S2 defined in Function Listing - Semantics and it is considered a Return semantic. See Function Mimicry for the definition of Return semantic.
Code following such a function is considered unreachable.
This also is considered a Return semantic. If the i th argument could possibly be null this will be reported. An argument is integral if it is typed int or some variation of integral such as char , unsigned long , an enumeration, etc. 1n states that the return value will either be equal to 4 or will be greater than the first argument. P is like i p except that all values are specified in bytes.