[all-commits] [llvm/llvm-project] ae354c: [analyzer] Model Microsoft "__assume" in the same ...

[Loïc Joly via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ae354c5a45d319b3117c2822b8f6988461f3cb33
      https://github.com/llvm/llvm-project/commit/ae354c5a45d319b3117c2822b8f6988461f3cb33
  Author: Loïc Joly <loic.joly at sonarsource.com>
  Date:   2024-02-05 (Mon, 05 Feb 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
    M clang/test/Analysis/builtin-functions.cpp

  Log Message:
  -----------
  [analyzer] Model Microsoft "__assume" in the same way as clang "__builtin_assume"