]> granicus.if.org Git - clang/commit
Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon...
authorTed Kremenek <kremenek@apple.com>
Sat, 15 Nov 2008 04:01:56 +0000 (04:01 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 15 Nov 2008 04:01:56 +0000 (04:01 +0000)
commit60595dab8bd9800f6b0b724fa4d859ada78c264f
tree933f1e356c0d8ca115c4fa8488ecaafe8e06ff29
parent5631a73dbbcc49ee3c524eb5a96ac9f01324da1a
Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20081110/009243.html
In that patch I added a bogus type promotion for unary '!'.

The real bug was more fallout from edges cases with compound assignments and conjured symbolic values.  Now the conjured value has the type of the LHS expression, and we do a promotion to the computation type.  We also now correctly do a conversion from the computation type back to the LHS type.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59349 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/GRExprEngine.cpp