[all-commits] [llvm/llvm-project] d72b7f: [clang][analyzer] Fix StreamChecker `ftell` and `f...

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

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d72b7f913300493480f78d4f23104d0f51d50b62
      https://github.com/llvm/llvm-project/commit/d72b7f913300493480f78d4f23104d0f51d50b62
  Author: Balázs Kéri <balazs.keri at ericsson.com>
  Date:   2024-03-08 (Fri, 08 Mar 2024)

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

  Log Message:
  -----------
  [clang][analyzer] Fix StreamChecker `ftell` and `fgetpos` at indeterminate file position. (#84191)

These functions should not be allowed if the file position is
indeterminate (they return the file position).
This condition is now checked, and tests are improved to check it.



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