C0501

不得使用restrict类型修饰符

Category: Required

Decidability: Decidable

Scope: Single Translation Unit

谨慎地使用 restrict 类型修饰符可能有助于提升编译器所生成代码的效率。也可能有助于静态分析。但是，要使用 restrict 类型修饰符，程序员必须确保由两个或两个以上指针操作的内存区域不重叠。