------- Additional Comments From pinskia at gcc dot gnu dot org 2005-05-19 23:40 ------- (In reply to comment #9) > And we can construct more. But it does not rule out the fact that we > should handle the simple cases.
What assuming |= returns *this, that is just wrong and you know it, if the compiler assumes that, then we will get false warnings for places which don't return a reference to a temporary variable. Also I copied the code from his example so the example in comment #5 is just a reduced testcase for his example. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21672