Skip to content

Rule: Pointer parameter gained restrict

Canonical rule slug: pointer-parameter-gained-restrict. ← back to all rules

A published pointer parameter gains restrict, tightening the caller's aliasing obligation without changing the calling convention -- overlapping arguments that were legal become undefined.

Canonical demonstration