[all-commits] [llvm/llvm-project] 6bedfa: [analyzer][MallocChecker] Fix the incorrect retrie...

Kristóf Umann via All-commits all-commits at lists.llvm.org
Mon Jun 1 13:39:00 PDT 2020


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 6bedfaf5200474f9a72b059f0d99dd39ece1c03e
      https://github.com/llvm/llvm-project/commit/6bedfaf5200474f9a72b059f0d99dd39ece1c03e
  Author: Kirstóf Umann <dkszelethus at gmail.com>
  Date:   2020-06-01 (Mon, 01 Jun 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
    M clang/test/Analysis/malloc.c

  Log Message:
  -----------
  [analyzer][MallocChecker] Fix the incorrect retrieval of the from argument in realloc()

In the added testfile, the from argument was recognized as
&Element{SymRegion{reg_$0<long * global_a>},-1 S64b,long}
instead of
reg_$0<long * global_a>.




More information about the All-commits mailing list