[all-commits] [llvm/llvm-project] 5ca877: [clang][analyzer] Fix argument invalidations in St...

[Balázs Kéri via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5ca877591e65acf18b5a8d3234ff88b215b4f369
      https://github.com/llvm/llvm-project/commit/5ca877591e65acf18b5a8d3234ff88b215b4f369
  Author: Balázs Kéri <balazs.keri at ericsson.com>
  Date:   2024-02-23 (Fri, 23 Feb 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
    A clang/test/Analysis/stream-invalidate.c

  Log Message:
  -----------
  [clang][analyzer] Fix argument invalidations in StreamChecker. (#79470)

Specific arguments passed to stream handling functions are changed by
the function, this means these should be invalidated ("escaped") by the
analyzer. This change adds the argument invalidation (in specific cases)
to the checker.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications