[cfe-commits] r58419 - in /cfe/trunk: include/clang/Analysis/PathSensitive/GRExprEngine.h lib/Analysis/GRExprEngine.cpp

[Ted Kremenek]

On Oct 29, 2008, at 10:02 PM, Zhongxing Xu wrote:

> +  if (T->isArrayType()) {
> +    for (unsigned i = 0; i < NumInitElements; ++i) {
> +      Expr* Init = E->getInit(i);
> +      NodeSet Tmp;
> +      Visit(Init, Pred, Tmp);

....

>
> +
> +  if (T->isStructureType()) {
> +    // FIXME: to be implemented.
> +    MakeNode(Dst, E, Pred, state);
> +    return;
> +  }
> +

Looks great.  Should these two cases be merged?  if (T->isArrayType()  
|| T->isStructureType())?