diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-04-10 16:43:27 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-04-10 16:43:27 -0400 |
| commit | 082374f6570a311b0ef95cdf712dbc6eb1e7cd17 (patch) | |
| tree | 8ecf7c532e66853ed0db1053d941c7951d04d5f0 | |
| parent | d09d70cdb2a4bc45825fc887047ef4a20de590c6 (diff) | |
| download | gcc-082374f6570a311b0ef95cdf712dbc6eb1e7cd17.zip gcc-082374f6570a311b0ef95cdf712dbc6eb1e7cd17.tar.gz gcc-082374f6570a311b0ef95cdf712dbc6eb1e7cd17.tar.bz2 | |
analyzer, testuite: comment fixes
gcc/testsuite/ChangeLog:
* c-c++-common/analyzer/memset-1.c: Clarify some comments.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
| -rw-r--r-- | gcc/testsuite/c-c++-common/analyzer/memset-1.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/testsuite/c-c++-common/analyzer/memset-1.c b/gcc/testsuite/c-c++-common/analyzer/memset-1.c index 75aef53..d6695d4 100644 --- a/gcc/testsuite/c-c++-common/analyzer/memset-1.c +++ b/gcc/testsuite/c-c++-common/analyzer/memset-1.c @@ -58,7 +58,7 @@ void test_5 (int n) __analyzer_eval (buf[42] == 'A'); /* { dg-warning "TRUE" } */ memset (buf, 0, n); - /* We can't know if buf[42] was written to or not. */ + /* We can't know if buf[42] was overwritten by the memset or not. */ __analyzer_eval (buf[42] == 'A'); /* { dg-warning "UNKNOWN" } */ __analyzer_eval (buf[42] == '\0'); /* { dg-warning "UNKNOWN" } */ } @@ -72,7 +72,7 @@ void test_5a (int n) __analyzer_eval (buf[42] == 'A'); /* { dg-warning "TRUE" } */ __builtin___memset_chk (buf, 0, n, __builtin_object_size (buf, 0)); - /* We can't know if buf[42] was written to or not. */ + /* We can't know if buf[42] was overwritten by the memset or not. */ __analyzer_eval (buf[42] == 'A'); /* { dg-warning "UNKNOWN" } */ __analyzer_eval (buf[42] == '\0'); /* { dg-warning "UNKNOWN" } */ } |