Subject: bug#9983: valgrind warning in draw_glyphs

From: Eli Zaretskii <[email-masked]>
Date: Mon, 07 Nov 2011 17:54:56 +0200

> From: Andreas Schwab <[email-masked]>
> Cc: Eli Zaretskii <[email-masked]>,  [email-masked]
> Date: Mon, 07 Nov 2011 13:59:37 +0100
> 
> Dan Nicolaescu <[email-masked]> writes:
> 
> > so it looks like check_mouse_face is tested after mouse_beg_col.
> 
> That is perfectly ok under the as-if rule.  See also
> <http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50975>.

Where can I find the definition of the "side effects" that would
disallow such optimizations?