[Bug c/37947] missing sequence point warning for 'count += inc(&count);'

["manu at gcc dot gnu dot org"]

------- Comment #7 from manu at gcc dot gnu dot org  2008-10-29 15:46 -------
(In reply to comment #6)
> Warning is (reliably) only possible if we can tell if the function call
> modifies
> the passed storage.  This requires some IPA analysis and thus moving the
> warning to the middle-end.

I don't want that at all. I wonder how much correct code is written like this
against how much incorrect code. However, now I realize that any function call 

counter += inc();

can trigger this if counter is a global variable. So this is impossible to get 
right 100% and it is not probably practical to move to the middle-end, since it
is very front-end specific.


-- 

manu at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37947