diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-cfg.c | 11 |
2 files changed, 14 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9b4a543..849f101 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2009-02-06 Richard Guenther <rguenther@suse.de> + + PR middle-end/38977 + * tree-cfg.c (need_fake_edge_p): Force a fake edge for + fork because we may expand it as __gcov_fork. + 2009-02-06 Nick Clifton <nickc@redhat.com> * config/m32c/m32c.h (PCC_BITFIELD_TYPE_MATTERS): Define to diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 875d123..cb00581 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -6444,9 +6444,14 @@ need_fake_edge_p (gimple t) && fndecl && DECL_BUILT_IN (fndecl) && (call_flags & ECF_NOTHROW) - && !(call_flags & ECF_NORETURN) - && !(call_flags & ECF_RETURNS_TWICE)) - return false; + && !(call_flags & ECF_RETURNS_TWICE) + /* fork() doesn't really return twice, but the effect of + wrapping it in __gcov_fork() which calls __gcov_flush() + and clears the counters before forking has the same + effect as returning twice. Force a fake edge. */ + && !(DECL_BUILT_IN_CLASS (fndecl) == BUILT_IN_NORMAL + && DECL_FUNCTION_CODE (fndecl) == BUILT_IN_FORK)) + return false; if (is_gimple_call (t) && !(call_flags & ECF_NORETURN)) |