The patch is simple:
Index: lib/Analysis/GRExprEngine.cpp
The patch is simple:
Index: lib/Analysis/GRExprEngine.cpp
This patch looks good to me. Applied:
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080519/005812.html
The second argument to EvalLoad is the expression that the "loaded" value should bind to. By binding it to the subexpression, "U" would always bind to unknown instead.