Denys Duchier wrote: > Guido Tack <[EMAIL PROTECTED]> writes: > >> Otherwise, the post statement returns a BoolVar that is constrained >> to >> the truth value of the equivalence. Unfortunately, gcc doesn't warn >> about the ignored return value (I don't know about Microsoft cl)! > > you can ask gcc to warn on ignored return values by adding: > > __attribute__ ((warn_unused_result)) > > to the function's prototype.
Right, thanks. I thought -Wall (which includes -Wunused-value) would detect this, but apparently not for the result of function calls (I think this is because in ancient C all void functions returned int or something similarly relevant today...) Cheers, Guido _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users