HomePhabricator

Add a dereferenceable attribute

Description

Add a dereferenceable attribute

This attribute indicates that the parameter or return pointer is
dereferenceable. Practically speaking, loads from such a pointer within the
associated byte range are safe to speculatively execute. Such pointer
parameters are common in source languages (C++ references, for example).

Details

Committed
hfinkelJul 18 2014, 8:51 AM
Parents
rL213384: tsan: fix Go runtime build with clang
Branches
Unknown
Tags
Unknown

Event Timeline