llvm-project

Author	SHA1	Message	Date
Ted Kremenek	b120ff1b95	Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. Added test case to exercise this fix when checking for uses of uninitialized values. Patch by Zhongxing Xu! llvm-svn: 51377	2008-05-21 15:48:33 +00:00
Ted Kremenek	db04a9e967	When reporting branch conditions that evaluate to an uninitialized value, highlight the most nested subexpression that appears most responsible (giving the user better diagnostic feedback). Updated test cases to illustrate this feature. Implements: <rdar://problem/5880443> llvm-svn: 50647	2008-05-05 15:56:53 +00:00
Ted Kremenek	6e06f91085	Added uninitialized-values (path-sensitive) test case as a regression test for the fix in r50178 (http://llvm.org/viewvc/llvm-project?rev=50178&view=rev). This fix was for <rdar://problem/5881148>. llvm-svn: 50220	2008-04-24 18:28:14 +00:00

Author

SHA1

Message

Date

Ted Kremenek

b120ff1b95

Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression.

Added test case to exercise this fix when checking for uses of uninitialized values.

Patch by Zhongxing Xu!

llvm-svn: 51377

2008-05-21 15:48:33 +00:00

Ted Kremenek

db04a9e967

When reporting branch conditions that evaluate to an uninitialized value,

highlight the most nested subexpression that appears most responsible (giving
the user better diagnostic feedback).

Updated test cases to illustrate this feature.

Implements: <rdar://problem/5880443>
llvm-svn: 50647

2008-05-05 15:56:53 +00:00

Ted Kremenek

6e06f91085

Added uninitialized-values (path-sensitive) test case as a regression test

for the fix in r50178 (http://llvm.org/viewvc/llvm-project?rev=50178&view=rev).
This fix was for <rdar://problem/5881148>.

llvm-svn: 50220

2008-04-24 18:28:14 +00:00

3 Commits