llvm-svn: 88939

treat it as a unary operator.

llvm-svn: 88938

llvm-svn: 88937

usage of block sizes and offsets.

llvm-svn: 88935

gracefully, on par with gcc, by: Issuing a warning,
doing final sematinc check of its definitions and generating
its meta-data.

llvm-svn: 88934

llvm-svn: 88933

llvm-svn: 88932

llvm-svn: 88929

llvm-svn: 88928

llvm-svn: 88927

llvm-svn: 88921

llvm-svn: 88919

Analyze has to be before checking the condition, obviously. Properly construct an iterator for prior.

llvm-svn: 88917

llvm-svn: 88916

The ssp and sspreq function attributes should only be applied to function definitions, not declarations or calls.

llvm-svn: 88915

__INTn_C_SUFFIX__ macros that are defined for types with corresponding
constant suffixes (i.e. long and long long).

llvm-svn: 88914

parameter of CreateIntCast then they get an error from the compiler
(or from the linker with a non-gcc compiler).  Another possibility
is to flip the order of the DestTy and isSigned parameters, since you
should then get a compiler warning if you try to use a char* for a
Type*.

llvm-svn: 88913

Support spill comments.

Have the asm printer emit a comment if an instruction is a spill or
reload and have the spiller mark copies it introdues so the asm printer
can also annotate those.

llvm-svn: 88911

llvm-svn: 88910

passing the name (an exotic way of specifying that the result is signed!).

llvm-svn: 88909

a name.

llvm-svn: 88908

Special case FixedStackPseudoSourceValueVal as well. Do we really need to differentiate PseudoSourceValueVal from FixedStackPseudoSourceValueVal at this level?

llvm-svn: 88902

llvm-svn: 88901

llvm-svn: 88900

llvm-svn: 88899

This doesn't have any visible effects at the moment because normally the
implicit cast code forces the type to the expected type.

llvm-svn: 88896

llvm-svn: 88895

llvm-svn: 88894

llvm-svn: 88893

llvm-svn: 88892

for a call to a virtual function.

llvm-svn: 88891

llvm-svn: 88890

llvm-svn: 88889

* Add a load type to GRExprEngine::EvalLoad().
* When retrieve from 'theValue' of OSAtomic funcitions, use the type of the 
  region instead of the argument expression as the load type.
* Then we can convert CastRetrievedSVal to a pure assertion. In the future
  we can let all Retrieve() methods simply return SVal.

llvm-svn: 88888

llvm-svn: 88887

- Add a smarter constant pool loading, instead of:

lui $2, %hi($CPI1_0)
addiu $2, $2, %lo($CPI1_0)
lwc1 $f0, 0($2)

Generate:

lui $2, %hi($CPI1_0)
lwc1 $f0, %lo($CPI1_0)($2)

llvm-svn: 88886

PR5449.

llvm-svn: 88885

llvm-svn: 88884

llvm-svn: 88882

Make sure when ProcessImplicitDefs removes a copy which kills its source reg that it
removes the copy from said reg's Kills list.

llvm-svn: 88881