Quote: C's 'restrict' annotation splits aliases of p created outside of a procedure from those inside; enables better program checking and optimization

Quotation Skeleton

If we knew that 'do_with_lock' could only access … global variable, then locally within 'do_with_lock' we could … [ref]. The recent C99 standard for the C programming language [ref] provides a way to say almost exactly this. … At a high level, the 'restrict' keyword means … In C, … [restrict] amounts to a license for compilers to … even more useful in program checking tools … [p. 131] Intuitively, annotating the definition of p with … of the 'restrict' may be accessed outside the … may be accessed within the scope of the …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: safe use of pointers (102 items)
Topic: code optimization by flow analysis (45 items)