Testing if an expression has side effects at compile time

[Tom Tromey]

>>>>> "Alejandro" == Alejandro Colomar via Gcc <gcc@gcc.gnu.org> writes:

Alejandro> I'm trying to find a way to verify that an expression (usually passed as
Alejandro> an argument to a macro) has no side effects.  Is this possible?

FWIW there's a bug open about this:

    https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57612

Tom