[all-commits] [llvm/llvm-project] 1bcadb: [LangRef] clarify the semantics of nocapture

Juneyoung Lee via All-commits all-commits at lists.llvm.org
Thu Apr 15 17:49:03 PDT 2021


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1bcadb0984e7676cb3539c42747d61d4633fd78e
      https://github.com/llvm/llvm-project/commit/1bcadb0984e7676cb3539c42747d61d4633fd78e
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2021-04-16 (Fri, 16 Apr 2021)

  Changed paths:
    M llvm/docs/LangRef.rst

  Log Message:
  -----------
  [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




More information about the All-commits mailing list