Kostya Serebryany | 4c0fc99 | 2013-02-26 06:58:27 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 2 | |
| 3 | #define NO_SANITIZE_MEMORY __attribute__((no_sanitize_memory)) |
| 4 | |
| 5 | #if !__has_attribute(no_sanitize_memory) |
| 6 | #error "Should support no_sanitize_memory" |
| 7 | #endif |
Dimitry Andric | b1aa87e | 2016-01-03 15:55:40 +0000 | [diff] [blame] | 8 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 9 | void no_analyze() NO_SANITIZE_MEMORY; |
Dimitry Andric | b1aa87e | 2016-01-03 15:55:40 +0000 | [diff] [blame] | 10 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 11 | void no_analyze_alt() __attribute__((__no_sanitize_memory__)); |
Dimitry Andric | b1aa87e | 2016-01-03 15:55:40 +0000 | [diff] [blame] | 12 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 13 | void no_analyze_args() __attribute__((no_sanitize_memory(1))); // \ |
Dimitry Andric | b1aa87e | 2016-01-03 15:55:40 +0000 | [diff] [blame] | 14 | // expected-error {{'no_sanitize_memory' attribute takes no arguments}} |
| 15 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 16 | int no_analyze_testfn(int y) NO_SANITIZE_MEMORY; |
Kostya Serebryany | 4c0fc99 | 2013-02-26 06:58:27 +0000 | [diff] [blame] | 17 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 18 | int no_analyze_testfn(int y) { |
Kostya Serebryany | 4c0fc99 | 2013-02-26 06:58:27 +0000 | [diff] [blame] | 19 | int x NO_SANITIZE_MEMORY = y; // \ |
Aaron Ballman | 981ba24 | 2014-05-20 14:10:53 +0000 | [diff] [blame] | 20 | // expected-error {{'no_sanitize_memory' attribute only applies to functions}} |
Kostya Serebryany | 4c0fc99 | 2013-02-26 06:58:27 +0000 | [diff] [blame] | 21 | return x; |
| 22 | } |
| 23 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 24 | int no_analyze_test_var NO_SANITIZE_MEMORY; // \ |
Aaron Ballman | 981ba24 | 2014-05-20 14:10:53 +0000 | [diff] [blame] | 25 | // expected-error {{'no_sanitize_memory' attribute only applies to functions}} |
Kostya Serebryany | 4c0fc99 | 2013-02-26 06:58:27 +0000 | [diff] [blame] | 26 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 27 | class NoAnalyzeFoo { |
Kostya Serebryany | 4c0fc99 | 2013-02-26 06:58:27 +0000 | [diff] [blame] | 28 | private: |
| 29 | int test_field NO_SANITIZE_MEMORY; // \ |
Aaron Ballman | 981ba24 | 2014-05-20 14:10:53 +0000 | [diff] [blame] | 30 | // expected-error {{'no_sanitize_memory' attribute only applies to functions}} |
Kostya Serebryany | 4c0fc99 | 2013-02-26 06:58:27 +0000 | [diff] [blame] | 31 | void test_method() NO_SANITIZE_MEMORY; |
| 32 | }; |
| 33 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 34 | class NO_SANITIZE_MEMORY NoAnalyzeTestClass { // \ |
Aaron Ballman | 981ba24 | 2014-05-20 14:10:53 +0000 | [diff] [blame] | 35 | // expected-error {{'no_sanitize_memory' attribute only applies to functions}} |
Kostya Serebryany | 4c0fc99 | 2013-02-26 06:58:27 +0000 | [diff] [blame] | 36 | }; |
| 37 | |
Aaron Ballman | b057360 | 2019-05-21 22:43:48 +0000 | [diff] [blame] | 38 | void no_analyze_params(int lvar NO_SANITIZE_MEMORY); // \ |
Aaron Ballman | 981ba24 | 2014-05-20 14:10:53 +0000 | [diff] [blame] | 39 | // expected-error {{'no_sanitize_memory' attribute only applies to functions}} |