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

Fix getTrueExpr for ConditionalOperator to actually work.  No testcase
because it's currently unused.

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

-Add DeclChain member to DeclContext.
-ScopedDecls get chained to their DeclContext.
-DeclContext's DeclChain replaces FunctionDecl's DeclChain and EnumDecl's ElementList.

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

Make CodeGenFunction::EmitDecl() recognise CXXClass/CXXStruct/CXXUnion.

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

Dump the name of CXXStruct/CXXUnion/CXXClass Decl subclasses.

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

-Changes to TagDecl:
  Added TagKind enum.
  Added getTagKind() method.
  Added convenience methods: isEnum(), isStruct(), isUnion(), isClass().
-RecordDecl/CXXRecordDecl::Create() accept a TagKind enum instead of a DeclKind one.

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

Added new C++ AST Decl subclasses.

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

Get -serialize working again, plus a bit of minor cleanup.

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

Added link to Mac OS X builds.  Provide instructions for those not using Mac OS X.

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

Sprinkle some "-o -" clang options to make the examples work.

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

Add redirection page.

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

Generate debug descriptors for array types while generating the debug info.

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

Add code to make test/CodeGen/struct-init.c work correctly without the
pointer cast hack currently in isIntegerConstantExpr
(in lib/AST/Expr.cpp).  Also removes an odd test that even gcc doesn't accept.

The reason the pointer cast hack is relevant here is that it makes Sema
end up misinterpreting the relevant expression as a null pointer constant.

The reason for this patch is that I plan to remove the pointer cast hack
sometime soon because it causes strange issues, especially in its
current form; see my recent email to cfe-dev
"[PATCH] add constant expression evaluation to the AST and fix PR2413".

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

For struct initialization, check compatibility with the unqualified
type; this isn't explicitly stated in the standard, but it doesn't
really make sense for them to have an effect here.  Fixes the included
testcase, sent to me by Steve Naroff.

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

Since this isn't linked from anywhere yet, I'm taking the opportunity
to move it to a more stable URL.  If the S-A work grows, this will be
the entrypoint for the pages related to it.

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

implement the alias attirbute (in both Sema and Codegen)

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

fix compiler warnings

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

Don't crash emitting an initializer for a static local with union type.
This fix just makes sure to construct the global with the appropriate
type, and fixes up the one user this affects to compensate.

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

Enable the rewriter tests on all platforms; there don't appear to
be any regressions from this on my machine, but please let me know if
you run into issues.  (The idea here is that it's better to run all
tests on all platforms if at all possible.)

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

Don't include objc.h, so the rewriter tests work on machines without it.

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

capture whether a CharacterLiteral was wide or not in the AST.
Patch by Mike Stump!

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

Fix ast dumping to work with long double literals, e.g. we dump:

long double X() { return 1.0L; }

as:

long double X()
(CompoundStmt 0xb06a00 <t.c:2:17, col:32>
  (ReturnStmt 0xb068d0 <col:19, col:26>
    (FloatingLiteral 0xb02cf0 <col:26> 'long double' 1.000000)))

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

Mark the right ctor explicit, patch by Cédric Venet

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

Fix crash with conversion to an address-space-qualified pointer.  Bug
reported on cfe-dev by Cédric Venet.

Note that I seriously doubt that this perticular construct is useful,
though: it's a pointer in an alternate address space pointing into
unqualified address space.

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

Fix the line endings in the newly added DeclBase.cpp.

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

Fix Visual Studio project files; patch by Cédric Venet.

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

Create debug type descriptors for aggregate/enum types.

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

Use a common SourceManager when processing multiple files.  This allows us to cache the contents of source files already loaded from disk.

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

Updated Xcode project.

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

Reclaim memory owned by ObjCForwardProtocolDecls.

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

Reorganize this loop a bit so it doesn't crash for empty unions.  Fixes
PR2419.

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

Implement "Destroy" and destructor for ObjCClassDecl, allowing us to reclaim its memory and the memory of the Decls it owns.

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

Implement "Destroy" and destructor for ObjCProtocolDecl, allowing us to reclaim its memory and the memory of the Decls it owns.

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

Clean up dead code from SemaInit landing.

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

Because of a lack of a clear ownership role between ObjCInterfaceDecls and
ObjCPropertyDecls, have TranslationUnit destroy ObjCPropertyDecls. This is a
horrible hack, and must be removed eventually.

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

Initial work on additional memory collection for ObjC AST objects.  We now
have Destroy methods of ObjcMethodDecl and ObjCInterfaceDecl which recursively
destroy their owned Decls and Stmts.  There are a few cases where it is not
clear what to do (FIXMEs included in the patch).

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

implement constant expr. sub ptr ptr

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

During interface layout, don't forget super class.

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

Undo previous check-in.

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

During interface layout, don't forget super class.

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

Fix crash when running with multiple source files.  This can be improved.

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

Oops...remove weird printf:-)

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

Second half of "fix" for <rdar://problem/5986085> clang on xcode: error: redefinition of 'XCElementToggler' as different kind of symbol

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

Ignore a few more linker arguments.

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

super fix submitted by David Chisnall.

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

Fixed a recent test regression from last night (r51976).

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

Fix <rdar://problem/5986833> clang on xcode: incompatible type returning 'void', expected 'int'.

- Changed Sema::ObjCActOnStartOfMethodDef() to more accurately type "self" in factory methods.
- Changed Sema::ActOnInstanceMessage() to use the new type to restrict the lookup.

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