[static analyzer] Analyzer is skipping forward declared C/C++ functions
authorAnna Zaks <ganna@apple.com>
Fri, 26 Jun 2015 17:42:58 +0000 (17:42 +0000)
committerAnna Zaks <ganna@apple.com>
Fri, 26 Jun 2015 17:42:58 +0000 (17:42 +0000)
commit3849dea8c97be08a4c80787d00893f52145328f3
tree74f9c7e7f307accf7cf2714542dbf71a79a2aa71
parentbced3032e02b95433b9ab576f030f20a687657cd
[static analyzer] Analyzer is skipping forward declared C/C++ functions

A patch by Karthik Bhat!

This patch fixes a regression introduced by r224398. Prior to r224398
we were able to analyze the following code in test-include.c and report
a null deref in this case. But post r224398 this analysis is being skipped.

E.g.
  // test-include.c
  #include "test-include.h"
  void test(int * data) {
    data = 0;
    *data = 1;
  }

   // test-include.h
  void test(int * data);

This patch uses the function body (instead of its declaration) as the location
of the function when deciding if the Decl should be analyzed with path-sensitive
analysis. (Prior to r224398, the call graph was guaranteed to have a definition
when available.)

llvm-svn: 240800
clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp
clang/test/Analysis/test-include-cpp.cpp [new file with mode: 0644]
clang/test/Analysis/test-include-cpp.h [new file with mode: 0644]
clang/test/Analysis/test-include.c [new file with mode: 0644]
clang/test/Analysis/test-include.h [new file with mode: 0644]