blob: 9e5da8890c4ec6ce427ba9932e4e2399ce55355c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/* { dg-options "-O2 -fdump-tree-vrp1 " } */
/* Tests that calls to update_stmt by the folder will also update ranger's
cache value and produce the correct result for the builtin_constant_p
function. */
void dead ();
void foo( void *_thrdescr, int _result)
{
const char *lossage = _result ? "constant string" : 0;
if (__builtin_expect (lossage != ((void *)0) , 0))
{
unsigned __message_length = __builtin_strlen (lossage);
if (! __builtin_constant_p (__message_length))
dead ();
}
}
/* { dg-final { scan-tree-dump-not "dead" "vrp1" } } */
|
