[PATCH] D12571: [Analyzer] Fix assertions in commit r246345 (pr22954).

[Devin Coughlin via cfe-commits]

dcoughlin added a comment.

Here is a reduced test case:

  class B {
  public:
     B &operator= (const B &v) {
        return *this;
     }
  };
  
  class A {
    int a[1];
    B b;
  };
  
  typedef long int ptrdiff_t;
  
  void copyInto(A *first, A *last, A *result) {
    ptrdiff_t n;
    for (n = last - first; n > 0; --n)
       *--result = *--last;
  }


http://reviews.llvm.org/D12571