add a new clang::APValue class at Eli's request.  It is a discriminated
union between [potentially complex] APInt/APFloat.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52609 91177308-0d34-0410-b5e6-96231b3b80d8

add a fixme back

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52607 91177308-0d34-0410-b5e6-96231b3b80d8

"this patch adds code generation hooks for Objective-C constant strings.  It also modifies Sema so that Objective-C constant strings are treated as untyped objects if the interface for the constant string class can not be found.  This is consistent with Apple GCC.  I thought it was consistent with GNU GCC, since this was causing failures when trying to compile GNUstep with (GNU) GCC, but it appears that this is not the case when attempting to produce a simple test case to demonstrate it.  Possibly there is a way of making the error go away, but I haven't found out what it is yet."

Patch by David Chisnall!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52599 91177308-0d34-0410-b5e6-96231b3b80d8

Implement printing for ObjCClassDecl's, patch by Jean-Daniel Dupas!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52598 91177308-0d34-0410-b5e6-96231b3b80d8

Don't add isa with @defs only to work around it in the code generator, patch
by David Chisnall.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52597 91177308-0d34-0410-b5e6-96231b3b80d8

"This moves built-in Objective-C types up the scope chains to where they can be replaced by versions included from the runtime library's headers."

This makes it ok to use @"foo" without a declaration for NSConstantString.

Patch by David Chisnall!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52593 91177308-0d34-0410-b5e6-96231b3b80d8

add parser and sema support for the funny ObjC '@defs' thing.
Patch by David Chisnall!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52586 91177308-0d34-0410-b5e6-96231b3b80d8

remove dead enums.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52581 91177308-0d34-0410-b5e6-96231b3b80d8

Switch 'super' from being a weird cast thing to being a predefined expr node.
Patch by David Chisnall with objc rewriter and stmtdumper updates from me.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52580 91177308-0d34-0410-b5e6-96231b3b80d8

"This maps the -pthread option to -lpthread - this isn't 100% correct,
since handling this correctly is quite complex, and on some platforms
requires additional -D options and on some implies linking against a
different libc, but this works better than just ignoring the option.

The other change passes the -x option across to clang, which allows
compiling .c files as Objective-C and so on.  For some reason a lot of
configure scripts seem to be under the misguided impression that this
is a sensible thing to do."

Patch by David Chisnall!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52579 91177308-0d34-0410-b5e6-96231b3b80d8

Include stdint.h instead of stdio.h.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52578 91177308-0d34-0410-b5e6-96231b3b80d8

K&R-style functions not allowed in C++.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52575 91177308-0d34-0410-b5e6-96231b3b80d8

Updated latest static analyzer builder to checker-43.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52569 91177308-0d34-0410-b5e6-96231b3b80d8

Test the dead-store checker using both -warn-dead-stores and -checker-simple.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52568 91177308-0d34-0410-b5e6-96231b3b80d8

When using the dead-stores checker with the BugReporter class, properly capture the diagnostic associated with a specific warning and emit it.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52565 91177308-0d34-0410-b5e6-96231b3b80d8

Updated latest checker build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52563 91177308-0d34-0410-b5e6-96231b3b80d8

Updated call to dead stores to use proper arguments.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52560 91177308-0d34-0410-b5e6-96231b3b80d8

Updated latest static analyzer build to checker-41.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52559 91177308-0d34-0410-b5e6-96231b3b80d8

Updated Xcode project.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52556 91177308-0d34-0410-b5e6-96231b3b80d8

Modified the dead stores checker to...

1) Check if a dead store appears as a subexpression.  For such cases, we emit
   a verbose diagnostic so that users aren't confused.  This addresses:

   <rdar://problem/5968508> checker gives misleading report for dead store in loop

2) Don't emit a dead store warning when assigning a null value to a pointer.
   This is a common form of defensive programming.  We may wish to make
   this an option to the the checker one day.

   This addresses the feature request in the following email:

   http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-June/001978.html

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52555 91177308-0d34-0410-b5e6-96231b3b80d8

Added ParentMap, a class to represent a lazily constructed mapping from child to parents.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52553 91177308-0d34-0410-b5e6-96231b3b80d8

Added "Decl::getCodyBody()", a virtual method that returns the root AST node (Stmt*) that the Decl wraps (if any).  Currently this only returns a non-null value for FunctionDecl and ObjCMethodDecl.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52552 91177308-0d34-0410-b5e6-96231b3b80d8

Updated latest static analysis build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52512 91177308-0d34-0410-b5e6-96231b3b80d8

Add DTD information.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52511 91177308-0d34-0410-b5e6-96231b3b80d8

Remove tabs.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52507 91177308-0d34-0410-b5e6-96231b3b80d8

One more test checkin.

Remove an extra space at the end of a line.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52504 91177308-0d34-0410-b5e6-96231b3b80d8

Test commit to see if new account works.

I choose to remove extraneous whitespace at end of lines as a semantic
nop for the test.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52503 91177308-0d34-0410-b5e6-96231b3b80d8

Introduce initial transfer function support for __imag__ and __real__. We don't
have complex RValues yet, so this logic is only fully implemented when __imag__
and __real__ are used on non-complex types.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52501 91177308-0d34-0410-b5e6-96231b3b80d8

Updated static analyzer build to checker-39.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52446 91177308-0d34-0410-b5e6-96231b3b80d8

Added a new ProgramPoint: PostPurgeDeadSymbols.  This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad).  This solves a caching bug observed in a recent bug report.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52443 91177308-0d34-0410-b5e6-96231b3b80d8

Update website link to latest checker build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52429 91177308-0d34-0410-b5e6-96231b3b80d8

Fix non-termination bug reported by Thomas Clement!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52426 91177308-0d34-0410-b5e6-96231b3b80d8

Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl.
Patch by David Chisnall!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52422 91177308-0d34-0410-b5e6-96231b3b80d8

handle -arch and -isysroot correctly (like ccc-analyszer do).
Patch by Filipe Cabecinhas

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52417 91177308-0d34-0410-b5e6-96231b3b80d8

Added link to Developer Meeting.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52403 91177308-0d34-0410-b5e6-96231b3b80d8

Flush bullets in <ul>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52402 91177308-0d34-0410-b5e6-96231b3b80d8

Convert <h4> to <h3>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52400 91177308-0d34-0410-b5e6-96231b3b80d8

Tighten <h2> padding.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52399 91177308-0d34-0410-b5e6-96231b3b80d8

Simplify anchor.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52398 91177308-0d34-0410-b5e6-96231b3b80d8

Remove margin above <h1>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52389 91177308-0d34-0410-b5e6-96231b3b80d8

Make "important notes" more succinct.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52388 91177308-0d34-0410-b5e6-96231b3b80d8

Include the "latest build" checker link using SSI.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52387 91177308-0d34-0410-b5e6-96231b3b80d8

Split static analysis page into two pages: a high-level information page (with quick download links) and a usage page.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52386 91177308-0d34-0410-b5e6-96231b3b80d8

Tweak font sizes.
Color <h3> light blue, <h2> a dark grey.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52385 91177308-0d34-0410-b5e6-96231b3b80d8

Convert <h2> -> <h3>.  <h1> -> <h2>  (more consistent with other pages)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52384 91177308-0d34-0410-b5e6-96231b3b80d8

Make this test actually pass, in addition to the previous patch
which made it work.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52382 91177308-0d34-0410-b5e6-96231b3b80d8

Fix more strict-aliasing warnings.
Fix indentation of class declarations in ExprCXX.h

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52380 91177308-0d34-0410-b5e6-96231b3b80d8

Only use colored output when the environment variable SCAN_BUILD_COLOR is set.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52379 91177308-0d34-0410-b5e6-96231b3b80d8

This patch is motivated by numerous strict-aliasing warnings when compiling
clang as a Release build.

The big change is that all AST nodes (subclasses of Stmt) whose children are
Expr* store their children as Stmt* or arrays of Stmt*. This is to remove
strict-aliasing warnings when using StmtIterator. None of the interfaces of any
of the classes have changed (except those with arg_iterators, see below), as the
accessor methods introduce the needed casts (via cast<>). While this extra
casting may seem cumbersome, it actually adds some important sanity checks
throughout the codebase, as clients using StmtIterator can potentially overwrite
children that are expected to be Expr* with Stmt* (that aren't Expr*). The casts
provide extra sanity checks that are operational in debug builds to catch
invariant violations such as these.

For classes that have arg_iterators (e.g., CallExpr), the definition of
arg_iterator has been replaced. Instead of it being Expr**, it is an actual
class (called ExprIterator) that wraps a Stmt**, and provides the necessary
operators for iteration. The nice thing about this class is that it also uses
cast<> to type-checking, which introduces extra sanity checks throughout the
codebase that are useful for debugging.

A few of the CodeGen functions that use arg_iterator (especially from
OverloadExpr) have been modified to take begin and end iterators instead of a
base Expr** and the number of arguments. This matches more with the abstraction
of iteration. This still needs to be cleaned up a little bit, as clients expect
that ExprIterator is a RandomAccessIterator (which we may or may not wish to
allow for efficiency of representation).

This is a fairly large patch. It passes the tests (except CodeGen/bitfield.c,
which was already broken) on both a Debug and Release build, but it should
obviously be reviewed.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52378 91177308-0d34-0410-b5e6-96231b3b80d8

Silence uninitialized value warning in Release build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52376 91177308-0d34-0410-b5e6-96231b3b80d8

Silence uninitialized value warning during Release build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52375 91177308-0d34-0410-b5e6-96231b3b80d8

Remove debugging message in ccc-analyzer.
Add color diagnostics from scan-build, and indicate the number of bugs found (if any).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52372 91177308-0d34-0410-b5e6-96231b3b80d8

Latest release is checker-37.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52370 91177308-0d34-0410-b5e6-96231b3b80d8

Re-enable the analyzer.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52367 91177308-0d34-0410-b5e6-96231b3b80d8

Remove Analysis-Apple.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52366 91177308-0d34-0410-b5e6-96231b3b80d8

Move test case "uninit-msg-expr.m" from Analysis-Apple to Analysis (now works on all platforms).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52362 91177308-0d34-0410-b5e6-96231b3b80d8

Moved test case NoReturn.m from Analysis-Apple to Analysis (now works on all platforms).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52359 91177308-0d34-0410-b5e6-96231b3b80d8

Move NSString.m test case from Analysis-Apple to Analysis.  The test case now works on all platforms.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52354 91177308-0d34-0410-b5e6-96231b3b80d8

Update test case to use -pedantic (makes the test case more clear).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52349 91177308-0d34-0410-b5e6-96231b3b80d8

Fix misspelling of "svelte".

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52348 91177308-0d34-0410-b5e6-96231b3b80d8

Move Analysis-Apple/CFString.c to Analysis (the test case now works on all platforms).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52346 91177308-0d34-0410-b5e6-96231b3b80d8

Move CFDateGC.m test case from Analysis-Apple to Analysis (it now runs on all platforms).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52344 91177308-0d34-0410-b5e6-96231b3b80d8

Moved CFDate.m from test/Analysis-Apple to test/Analysis, and added the necessary declarations from Foundation.h to CFDate.m so that the test case can be exercised on all platforms.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52343 91177308-0d34-0410-b5e6-96231b3b80d8

Add test case for NSString format-string checking.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52337 91177308-0d34-0410-b5e6-96231b3b80d8

Introduce preliminary support for NSString format-string checking.
Patch by Nikita Zhuk!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52336 91177308-0d34-0410-b5e6-96231b3b80d8

force size of alloca to i32, which is currently required by LLVM IR.
This fixes use of alloca on 64-bit systems.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52334 91177308-0d34-0410-b5e6-96231b3b80d8

Basic support for volatile loads and stores. Stores the volatile
qualifier in the lvalue, and changes lvalue loads/stores to honor
the volatile flag.  Places which need some further attention are marked
with FIXMEs.

Patch by Cédric Venet.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52264 91177308-0d34-0410-b5e6-96231b3b80d8

Tweak h1 line-height to avoid text overlay issues in the headers.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52256 91177308-0d34-0410-b5e6-96231b3b80d8

CSS tweaks with the menu to help resolve some menu/content overlap issues.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52255 91177308-0d34-0410-b5e6-96231b3b80d8

Allow -parse-noop -verify options to be used together.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52249 91177308-0d34-0410-b5e6-96231b3b80d8

Grammo.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52241 91177308-0d34-0410-b5e6-96231b3b80d8

Added an "important notes" section.  Tweaked formatting.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52239 91177308-0d34-0410-b5e6-96231b3b80d8

Fix broken test.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52232 91177308-0d34-0410-b5e6-96231b3b80d8

Multiple tests in a single test file must be linked with '&&'.
Otherwise, failing tests other than the last one will not be reported.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52231 91177308-0d34-0410-b5e6-96231b3b80d8

Fix "copy & paste" error.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52227 91177308-0d34-0410-b5e6-96231b3b80d8

Added direct link to latest analyzer build on Mac OS X.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52222 91177308-0d34-0410-b5e6-96231b3b80d8

Added a disclaimer about running time, and provided an executive summary of the tool's interface.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52221 91177308-0d34-0410-b5e6-96231b3b80d8

Use relative links that start with "/" so the menu works from different subdirectories.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52210 91177308-0d34-0410-b5e6-96231b3b80d8

Don't crash if we can't find FileEntry info for a typedef, since one
isn't guaranteed to exist. This fixes a crash with conflicting typedefs
coming from stdin.

This also fixes the crash in PR2406, but doesn't completely fix the
issue; it appears there's something strange about the physical location
for the definition of int64_t in stdlib.h.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52209 91177308-0d34-0410-b5e6-96231b3b80d8

Use same CSS as the rest of the clang website.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52208 91177308-0d34-0410-b5e6-96231b3b80d8

Fix menu/content overlap.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52207 91177308-0d34-0410-b5e6-96231b3b80d8

More padding adjustments.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52206 91177308-0d34-0410-b5e6-96231b3b80d8

Shorten menu item name.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52205 91177308-0d34-0410-b5e6-96231b3b80d8

Add some padding to the right of "content" to balance out.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52204 91177308-0d34-0410-b5e6-96231b3b80d8

Less padding... (difficult to preview without commits)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52203 91177308-0d34-0410-b5e6-96231b3b80d8

More padding...

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52202 91177308-0d34-0410-b5e6-96231b3b80d8

Expand padding of content.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52201 91177308-0d34-0410-b5e6-96231b3b80d8

Added static analysis link.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52200 91177308-0d34-0410-b5e6-96231b3b80d8

Make default text a little darker.  Shorten title in Static Analysis page.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52199 91177308-0d34-0410-b5e6-96231b3b80d8

More CSS refinements.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52198 91177308-0d34-0410-b5e6-96231b3b80d8

Use Arial as default font.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52197 91177308-0d34-0410-b5e6-96231b3b80d8

Use sans-serif font.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52196 91177308-0d34-0410-b5e6-96231b3b80d8

Included page-specific formatting for tables.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52195 91177308-0d34-0410-b5e6-96231b3b80d8

Include side-menu.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52194 91177308-0d34-0410-b5e6-96231b3b80d8

Minor tweaks/grammar/formatting.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52193 91177308-0d34-0410-b5e6-96231b3b80d8

Skip a few more files and linker options.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52189 91177308-0d34-0410-b5e6-96231b3b80d8

Fix the setup of CodeGen/bitfield.c test.
Due to the broken setup it was passing the test while it should have failed.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52181 91177308-0d34-0410-b5e6-96231b3b80d8

Fix the run line for this test.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52169 91177308-0d34-0410-b5e6-96231b3b80d8

Make this test C instead of C++; making it C++ causes a failure on Linux
because clang can't parse stdio.h in C++ mode yet.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52168 91177308-0d34-0410-b5e6-96231b3b80d8

Don't include complex.h or tgmath.h for this test; they aren't needed,
and including tgmath.h causes the test to fail for no good reason.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52167 91177308-0d34-0410-b5e6-96231b3b80d8