llvm-svn: 75894

llvm-svn: 75893

llvm-svn: 75892

llvm-svn: 75891

llvm-svn: 75890

llvm-svn: 75889

processing.

llvm-svn: 75888

llvm-svn: 75887

variables.
 - Module initialization functions supplanted the need for these.

llvm-svn: 75886

llvm-svn: 75885

ValueManager::makeArrayIndex()/convertArrayIndex() methods.  This
handles yet another crash case when reasoning about array indices of
different bitwidth and signedness.

llvm-svn: 75884

means that two separate raw_ostreams are doing buffering before data is
sent to the underlying stream. Besides the inefficiency of redundant
buffering, the second level of buffering doesn't recieve flush()
requests.

Fix this by having formatted_raw_ostream set the underlying raw_ostream
to be unbuffered. This eliminates inefficiency due to redundant buffering,
and it makes the flush() disconnect harmless.

This fixes PR4559.

llvm-svn: 75883

(1) Moved the SValuator object from GRExprEngine to ValueManager.  This
   allows ValueManager to use the SValuator when creating SVals.

(2) Added ValueManager::makeArrayIndex() and
    ValueManager::convertToArrayIndex(), two SVal creation methods
    that will help RegionStoreManager always have a consistent set of
    SVals with the same integer size and type when reasoning about
    array indices.

llvm-svn: 75882

section on ppc.

llvm-svn: 75881

multiple times.

llvm-svn: 75880

Patch by Ryan Flynn

llvm-svn: 75879

llvm-svn: 75878

llvm-svn: 75877

llvm-svn: 75876

This prefix is used by LLVM to inform the asm printer to not emit usual global symbol prefix before the symbol name.

llvm-svn: 75875

llvm-svn: 75874

llvm-svn: 75873

 - Added a sed script to do this in the comments.

llvm-svn: 75872

 - This isn't needed anymore, we require clients to call the appropriate
   initialization routines using TargetSelect.h.

llvm-svn: 75871

This is fallout from the recent ObjCObjectPointerType rework. I'll work on fixing this tomorrow.

llvm-svn: 75870

llvm-svn: 75869

llvm-svn: 75867

llvm-svn: 75866

llvm-svn: 75865

(although we don't get a very good error message).

llvm-svn: 75864

llvm-svn: 75863

llvm-svn: 75862

llvm-svn: 75861

This extra check is not trigged when runnning "make check" on top-of-tree.

Change error message to better match llvm_unreachable() grammar.

Don't call llvm_unreachable() when writing error messages to a file, but keep going.

llvm-svn: 75860

 - No functionality change.

llvm-svn: 75859

llvm-svn: 75858

immediately on every output error. Instead, add a flag to
raw_ostream, and set the flag whenever an error is detected.

The flag can be queried and cleared from the public API. This
gives applications more flexibility to handling errors in
application-specific ways.

If the flag is not cleared when the raw_ostream is destructed,
llvm_report_error is called from the destructor. This ensures
that errors are not implicitly silenced, and provides
convenient default behavior for tools like llc and opt.
Clients wishing to avoid llvm_report_error calls from
raw_ostream should check for errors and clear the error flag.

llvm-svn: 75857

Objective-C pointers to using ObjCObjectPointerType.

Now the checking for 'attribute ((nonnull))' in Sema doesn't emit an error when
trying to apply that attribute to a parameter that is an Objective-C pointer
(this is a regression).

To prevent this regression from occuring in the future, the 'nonnull.c' test was
moved to test/SemaObjC and renamed 'nonnull.m'. I also enhanced the tests to
show that function calls involved a NULL Objective-C pointer constant does not
trigger a warning. This is consistent with GCC, but should likely be fixed.

llvm-svn: 75856

a test failure, until figuring out what caused the failure.

llvm-svn: 75855

 - Switch to standard addAssemblyEmitter logic.

llvm-svn: 75854