
without prototypes. This patch converts the function signatures to have a prototype for the situations where the test is not specific to K&R C declarations. e.g., void func(); becomes void func(void); This is the ninth batch of tests being updated (there are a significant number of other tests left to be updated).
23 lines
484 B
C
23 lines
484 B
C
// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpTraversal %s | FileCheck %s
|
|
|
|
void inline_callee(int i);
|
|
|
|
// CHECK: --BEGIN FUNCTION--
|
|
void inline_caller(void) {
|
|
// CHECK: --BEGIN FUNCTION--
|
|
// CHECK: --BEGIN FUNCTION--
|
|
// CHECK: --BEGIN FUNCTION--
|
|
inline_callee(3);
|
|
// CHECK: --END FUNCTION--
|
|
// CHECK: --END FUNCTION--
|
|
// CHECK: --END FUNCTION--
|
|
}
|
|
// CHECK: --END FUNCTION--
|
|
|
|
void inline_callee(int i) {
|
|
if (i <= 1)
|
|
return;
|
|
|
|
inline_callee(i - 1);
|
|
}
|