| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -Wuninitialized" } */ | |
| int f(void); | |
| static inline void rcu_read_unlock(void) | |
| { | |
| static _Bool __warned; | |
| if (f() && !__warned && !f()) { | |
| __warned = 1; | |
| } | |
| } | |
| int inet6_rtm_getroute(void) | |
| { | |
| int dst; | |
| int fibmatch = f(); | |
| if (!fibmatch) | |
| dst = f(); | |
| rcu_read_unlock(); | |
| if (fibmatch) | |
| dst = 0; | |
| return dst; | |
| } |