FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

analyzer, testuite: comment fixes

Browse source 
gcc/testsuite/ChangeLog:
	* c-c++-common/analyzer/memset-1.c: Clarify some comments.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
This commit is contained in:
David Malcolm 2024-04-10 16:43:27 -04:00
parent d09d70cdb2
commit 082374f657
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/testsuite/c-c++-common/analyzer/memset-1.c
View file

@ -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" } */
}