On Nov 14, 2008, at 9:18 PM, Zhongxing Xu wrote: > - // FIXME: Find a better way to get bit width. > - nonloc::ConcreteInt Idx(BasicVals.getValue(0, 32, false)); > + nonloc::ConcreteInt Idx(BasicVals.getZeroWithPtrWidth(false));
Hi Zhongxing, Quick sanity check (for me): for which type are you trying to get the bitwidth? Should it really be the width of a pointer? Ted _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
