llvm-svn: 56402

llvm-svn: 56401

Added experimental "intelligent-sizing" of HTML message bubbles based on the contents of the message.

llvm-svn: 56400

llvm-svn: 56398

llvm-svn: 56397

Output to .info files the absolute paths to files that were rejected by the
parser or crashed the analyzer.

llvm-svn: 56396

llvm-svn: 56395

llvm-svn: 56394

Have ScanView.py generate a "<td></td>" pair in the output HTML instead of having scan-build output an empty (and possibly unused) <td>.

llvm-svn: 56393

llvm-svn: 56390

Changed casing of many bug names.  The convention will be to have bug names (mostly) lower cased, and categories use some capitalization.

llvm-svn: 56385

GRExprEngine:
  Use PostStore in EvalStore.
  Use a second version of EvalStore in EvalBinaryOperator to associate the store with the expression on the LHS.

llvm-svn: 56383

llvm-svn: 56382

 - Web based interface to static analyzer.

llvm-svn: 56375

llvm-svn: 56373

llvm-svn: 56369

Bug fix: for the base transfer function logic for casts, handle const casts as just propagating the value.

llvm-svn: 56368

llvm-svn: 56367

For checking if a symbol >= value, we need to check if symbol == value || symbol
> value. When checking symbol > value and we know that symbol != value, the path
is infeasible only if value == maximum integer.

For checking if a symbol <= value, we need to check if symbol == value || symbol
< value. When checking symbol < value and we know that symbol != value, the path
is infeasible only if value == minimum integer.

Updated test case exercising this logic: we only prune paths if the values are
unsigned.

llvm-svn: 56354

arbitrary expr, not just a assign expr.  The grammar comment
was right, the code was just wrong.

llvm-svn: 56353

'symbol operator-reverse int'. This patch is a combination of code from
Zhongxing Xu and myself (Zhongxing noticed this bug for the cases of
relational operators).

llvm-svn: 56351

llvm-svn: 56334

llvm-svn: 56333

llvm-svn: 56332

llvm-svn: 56327

llvm-svn: 56319

Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced.

llvm-svn: 56318

llvm-svn: 56317

Analysis option -warn-objc-nserror-methods is no longer available. (check is done automatically with -checker-cfref)

llvm-svn: 56313

Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis.

llvm-svn: 56312

Also added a couple simple tests from the "gcc.apple" test suite.

llvm-svn: 56309

Also tweaked the create function to take an explicit output file.

llvm-svn: 56305

llvm-svn: 56298

"Method accepting NSError** argument should have non-void return value to indicate that an error occurred."

Test case written, but the header needs to be delta-debugged reduced.  Will commit shortly.

llvm-svn: 56297

llvm-svn: 56295

llvm-svn: 56294

 - Enables use of ABIArgInfo::Expand when needed. This greatly
   improves our x86 ABI compatibility.

 - As the infrastructure for target specific ABI handling isn't built
   yet, this change means ABI compatibility on other platforms is once
   again broken in a different way than before.

 - Upcoming: Figure out how to refactor ABI handling into
   targets. More documentation.

llvm-svn: 56293

llvm-svn: 56291

Ensure that ABIArgInfo::Default implementation for aggregrate types
is sensible (StructRet on return and ByVal on arguments).

No functionality change.

llvm-svn: 56289

Block literals are now represented by the concrete BlockExpr class.
This is cleanup (removes a FIXME).
No functionality change.

llvm-svn: 56288