Quote: use 'confine' annotation to restrict aliasing of a pointer expression; like 'restrict' over common sub-expression elimination

Quotation Skeleton

Editing a program to add a few 'restrict' … add, and many involve expressions. In our experience, … much. Our solution is to introduce a new … [e.g., 'confine(&locks[i]) { … }'] … Intuitively, 'confine' inference corresponds to performing a kind … to make sense, an expression that is 'confined' …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: safe use of pointers (102 items)