HomePhabricator

[LangRef] clarify the semantics of nocapture

Authored by aqjune on Mon, Apr 12, 9:57 PM.

Description

[LangRef] clarify the semantics of nocapture

This patch clarifies the semantics of nocapture attribute.

A 'Pointer Capture' subsection is added to describe the semantics of pointer capture first.

For the nocapture example with two same pointer arguments, it is consistent with the semantics that Alive2 used to run lit tests.

Reviewed By: nlopes

Differential Revision: https://reviews.llvm.org/D97924

Details

Committed
aqjuneThu, Apr 15, 5:48 PM
Reviewer
nlopes
Differential Revision
D97924: [LangRef] clarify the semantics of nocapture
Parents
rG98b114d4804e: [dfsan] Remove hard-coded constant in release_shadow_space.c
Branches
Unknown
Tags
Unknown