[all-commits] [llvm/llvm-project] c2b851: Some minor cleanups

Balazs Benics via All-commits all-commits at lists.llvm.org
Tue Jun 11 23:49:16 PDT 2024


  Branch: refs/heads/users/steakhal/spr/analyzernfc-reorganize-z3-report-refutation
  Home:   https://github.com/llvm/llvm-project
  Commit: c2b851066607d5ee6711859cc52c9263de448657
      https://github.com/llvm/llvm-project/commit/c2b851066607d5ee6711859cc52c9263de448657
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-06-12 (Wed, 12 Jun 2024)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/BugReporter/Z3CrosscheckVisitor.h
    M clang/lib/StaticAnalyzer/Core/Z3CrosscheckVisitor.cpp
    M llvm/lib/Support/Z3Solver.cpp

  Log Message:
  -----------
  Some minor cleanups

Created using spr 1.3.4



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


More information about the All-commits mailing list