llvm-project/clang/test/Analysis/arc-zero-init.m
Aaron Ballman 0dd49a5628 Use functions with prototypes when appropriate; NFC
A significant number of our tests in C accidentally use functions
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 eighth batch of tests being updated (there are a
significant number of other tests left to be updated).
2022-02-12 07:25:06 -05:00

47 lines
1.1 KiB
Objective-C

// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify -fobjc-arc %s
#if __has_feature(objc_arc)
// expected-no-diagnostics
#endif
@interface SomeClass
@end
void simpleStrongPointerValue(void) {
SomeClass *x;
if (x) {}
#if !__has_feature(objc_arc)
// expected-warning@-2{{Branch condition evaluates to a garbage value}}
#endif
}
void simpleArray(void) {
SomeClass *vlaArray[5];
if (vlaArray[0]) {}
#if !__has_feature(objc_arc)
// expected-warning@-2{{Branch condition evaluates to a garbage value}}
#endif
}
void variableLengthArray(void) {
int count = 1;
SomeClass * vlaArray[count];
if (vlaArray[0]) {}
#if !__has_feature(objc_arc)
// expected-warning@-2{{Branch condition evaluates to a garbage value}}
#endif
}
void variableLengthArrayWithExplicitStrongAttribute(void) {
int count = 1;
__attribute__((objc_ownership(strong))) SomeClass * vlaArray[count];
if (vlaArray[0]) {}
#if !__has_feature(objc_arc)
// expected-warning@-2{{Branch condition evaluates to a garbage value}}
#endif
}