Viewing file:  dot-output.c (1.23 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Verify that the various .dot output files from the analyzer are readable
by .dot. */
/* { dg-require-dot "" } */
/* { dg-additional-options "-fdump-analyzer-callgraph -fdump-analyzer-exploded-graph -fdump-analyzer-state-purge -fdump-analyzer-supergraph -fdump-analyzer-feasibility" } */
#include <stdlib.h>
int some_call (int i, char ch)
{
return i * i;
}
int *test (int *buf, int n, int *out)
{
int i;
int *result = malloc (sizeof (int) * n);
/* A loop, to ensure we have phi nodes. */
for (i = 0; i < n; i++)
result[i] = buf[i] + i; /* { dg-warning "possibly-NULL" } */
/* Example of a "'" (to test quoting). */
*out = some_call (i, 'a');
return result;
}
/* Test that we can generate valid .dot files given a BB with no
statements. */
extern int func ();
int test_2 (void)
{
int c1;
do
{
c1 = func ();
if (c1 == '\0')
break;
}
while (c1);
return c1;
}
/* { dg-final { dg-check-dot "dot-output.c.callgraph.dot" } } */
/* { dg-final { dg-check-dot "dot-output.c.eg.dot" } } */
/* { dg-final { dg-check-dot "dot-output.c.state-purge.dot" } } */
/* { dg-final { dg-check-dot "dot-output.c.supergraph.dot" } } */
/* { dg-final { dg-check-dot "dot-output.c.supergraph-eg.dot" } } */
|
