2f237670b1
A call through a function pointer has no associated FunctionDecl, but it still might have a nodiscard return type. Ensure there is a codepath to emit the nodiscard warning in this case. Fixes #142453
34 lines
1.5 KiB
Plaintext
34 lines
1.5 KiB
Plaintext
// RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
|
template<class T>
|
|
struct [[nodiscard]] expected {};
|
|
|
|
using E = expected<int>;
|
|
|
|
using NI [[nodiscard]] = int; // expected-warning {{'[[nodiscard]]' attribute ignored when applied to a typedef}}
|
|
using WURI [[clang::warn_unused_result]] = int;
|
|
|
|
@interface INTF
|
|
- (int) a [[nodiscard]];
|
|
+ (int) b [[nodiscard]];
|
|
- (expected<int>) c;
|
|
+ (expected<int>) d;
|
|
- (E) e;
|
|
+ (E) f;
|
|
- (void) g [[nodiscard]]; // expected-warning {{attribute 'nodiscard' cannot be applied to Objective-C method without return value}}
|
|
- (NI) h;
|
|
- (WURI) i;
|
|
@end
|
|
|
|
void foo(INTF *a) {
|
|
[a a]; // expected-warning {{ignoring return value of function declared with 'nodiscard' attribute}}
|
|
[INTF b]; // expected-warning {{ignoring return value of function declared with 'nodiscard' attribute}}
|
|
[a c]; // expected-warning {{ignoring return value of type 'expected<int>' declared with 'nodiscard' attribute}}
|
|
[INTF d]; // expected-warning {{ignoring return value of type 'expected<int>' declared with 'nodiscard' attribute}}
|
|
[a e]; // expected-warning {{ignoring return value of type 'expected<int>' declared with 'nodiscard' attribute}}
|
|
[INTF f]; // expected-warning {{ignoring return value of type 'expected<int>' declared with 'nodiscard' attribute}}
|
|
[a g]; // no warning because g returns void
|
|
[a h]; // no warning because attribute is ignored
|
|
[a i]; // expected-warning {{ignoring return value of type 'WURI' declared with 'clang::warn_unused_result' attribute}}
|
|
}
|