File: unchecked-optional-access-ignore-smart.cpp

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 (51 lines) | stat: -rw-r--r-- 1,373 bytes parent folder | download | duplicates (4)
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
// RUN: %check_clang_tidy %s bugprone-unchecked-optional-access %t -- \
// RUN:   -config="{CheckOptions: [ \
// RUN:     {key: bugprone-unchecked-optional-access.IgnoreSmartPointerDereference, value: true}]}" -- \
// RUN:   -I %S/Inputs/unchecked-optional-access

#include "absl/types/optional.h"

// Include some basic cases to ensure that IgnoreSmartPointerDereference doesn't
// disable everything. Then check the relevant smart-pointer cases.

void unchecked_deref_operator_access(const absl::optional<int> &opt) {
  *opt;
  // CHECK-MESSAGES: :[[@LINE-1]]:4: warning: unchecked access to optional value
}

void unchecked_value_access(const absl::optional<int> &opt) {
  opt.value();
  // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: unchecked access to optional value [bugprone-unchecked-optional-access]
}

struct Foo {
  void foo() const {}
};

void unchecked_arrow_operator_access(const absl::optional<Foo> &opt) {
  opt->foo();
  // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: unchecked access to optional value
}

template <typename T>
struct SmartPtr {
  T& operator*() &;
  T* operator->();
};

struct Bar {
  absl::optional<int> opt;
};


void unchecked_value_access_through_smart_ptr(SmartPtr<absl::optional<int>> s) {
  s->value();
  (*s).value();

}

void unchecked_value_access_through_smart_ptr_field(SmartPtr<Bar> s) {
  s->opt.value();
  (*s).opt.value();

}