https://bugs.llvm.org/show_bug.cgi?id=50735

Allen zhong <zhongyu...@tom.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|INVALID                     |---
             Status|RESOLVED                    |REOPENED

--- Comment #2 from Allen zhong <zhongyu...@tom.com> ---
thanks for your answer.

how about the following new case.
As member functions const will not change the member variable, so the value 
nPair.bins[0] will not change in function exclusion, then we can assert the
return value must be true?


class NPair /*: protected Pointers */ {
public:
  int bins[10];
  int exclusion(int n) const;
  // int exclusion(int n) __attribute__((const));
};

// extern int * __restrict bins;
extern class NPair nPair;

int foo (void)
{
  int tmp = nPair.bins[0];
  nPair.exclusion(1);

  return tmp == nPair.bins[0];
}

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to