File: assert-side-effect.m

package info (click to toggle)
llvm-toolchain-17 1%3A17.0.6-22
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,799,624 kB
  • sloc: cpp: 6,428,607; ansic: 1,383,196; asm: 793,408; python: 223,504; objc: 75,364; f90: 60,502; lisp: 33,869; pascal: 15,282; sh: 9,684; perl: 7,453; ml: 4,937; awk: 3,523; makefile: 2,889; javascript: 2,149; xml: 888; fortran: 619; cs: 573
file content (53 lines) | stat: -rw-r--r-- 1,996 bytes parent folder | download | duplicates (13)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
// RUN: %check_clang_tidy %s bugprone-assert-side-effect %t

int abort(void);

@interface NSObject
@end

@interface NSString
@end

@interface NSAssertionHandler
+ (NSAssertionHandler *)currentHandler;
- handleFailureInMethod:(SEL)cmd object:(NSObject *)obj desc:(NSString *)desc;
- handleFailureInFunction:(NSString *)desc;
@end

#ifndef NDEBUG
#define NSAssert(condition, description, ...)                                    \
  do {                                                                           \
    if (__builtin_expect(!(condition), 0)) {                                     \
      [[NSAssertionHandler currentHandler] handleFailureInMethod:_cmd            \
                                                          object:self            \
                                                            desc:(description)]; \
    }                                                                            \
  } while (0);
#define NSCAssert(condition, description, ...)                                     \
  do {                                                                             \
    if (__builtin_expect(!(condition), 0)) {                                       \
      [[NSAssertionHandler currentHandler] handleFailureInFunction:(description)]; \
    }                                                                              \
  } while (0);
#else
#define NSAssert(condition, description, ...) do {} while (0)
#define NSCAssert(condition, description, ...) do {} while (0)
#endif

@interface I : NSObject
- (void)foo;
@end

@implementation I
- (void)foo {
  int x = 0;
  NSAssert((++x) == 1, @"Ugh.");
  // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in NSAssert() condition discarded in release builds [bugprone-assert-side-effect]
}
@end

void foo(void) {
  int x = 0;
  NSCAssert((++x) == 1, @"Ugh.");
  // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in NSCAssert() condition discarded in release builds [bugprone-assert-side-effect]
}