[all-commits] [llvm/llvm-project] a315fb: [ASan][libc++] Correct (explicit) annotation size ...

[Tacet via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a315fb1c577a40a40968daa9d346435458d7e06e
      https://github.com/llvm/llvm-project/commit/a315fb1c577a40a40968daa9d346435458d7e06e
  Author: Tacet <advenam.tacet at trailofbits.com>
  Date:   2024-01-25 (Thu, 25 Jan 2024)

  Changed paths:
    M libcxx/include/string
    M libcxx/test/std/strings/basic.string/string.modifiers/string_append/pointer_size.pass.cpp

  Log Message:
  -----------
  [ASan][libc++] Correct (explicit) annotation size (#79292)

A quick examination suggests that the current code in the codebase does
not lead to incorrect annotations. However, the intention is for the
object after the function to be annotated in a way that only its
contents are unpoisoned and the rest is poisoned. This commit makes it
explicit and avoids potential issues in future.

In addition, I have implemented a few tests for a function that helped
me identify the specific argument value.

Notice: there is no known scenario where old code results in incorrect
annotation.