Viewing file:  strcmp-1.c (1.07 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Verify that we clarify the sense of paths involving strcmp. */
#include <string.h>
#include <stdlib.h>
int test_1 (const char *str, char *ptr)
{
if (strcmp (str, "VALUE")) /* { dg-message "following 'true' branch \\(when the strings are non-equal\\)\\.\\.\\." } */
free (ptr);
free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
}
int test_2 (const char *str, char *ptr)
{
if (strcmp (str, "VALUE") == 0) /* { dg-message "following 'true' branch \\(when the strings are equal\\)\\.\\.\\." } */
free (ptr);
free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
}
int test_3 (const char *str, char *ptr)
{
if (!strcmp (str, "VALUE")) /* { dg-message "following 'true' branch \\(when the strings are equal\\)\\.\\.\\." } */
free (ptr);
free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
}
int test_4 (const char *str, char *ptr)
{
if (strcmp (str, "VALUE")) /* { dg-message "following 'false' branch \\(when the strings are equal\\)\\.\\.\\." } */
{
}
else
free (ptr);
free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
}
|
