- Nov 13, 2008
-
-
Ted Kremenek authored
- Temporarily disabled test Analysis/array-struct.c for region store. llvm-svn: 59245
-
Bill Wendling authored
llvm-svn: 59242
-
Bill Wendling authored
llvm-svn: 59241
-
Zhongxing Xu authored
llvm-svn: 59240
-
Zhongxing Xu authored
llvm-svn: 59239
-
Zhongxing Xu authored
it to be evaluated by APSInt::operators. llvm-svn: 59238
-
Bill Wendling authored
"parameter" types. An intrinsic can now return a multiple return values like this: def add_with_overflow : Intrinsic<[llvm_i32_ty, llvm_i1_ty], [LLVMMatchType<0>, LLVMMatchType<0>]>; llvm-svn: 59237
-
Zhongxing Xu authored
llvm-svn: 59236
-
Zhongxing Xu authored
llvm-svn: 59235
-
Evan Cheng authored
llvm-svn: 59234
-
Zhongxing Xu authored
llvm-svn: 59233
-
Zhongxing Xu authored
This is required by some operations, e.g., *p = 1; p[0] = 1;. Also set the AllocaRegion's type during the cast. llvm-svn: 59232
-
Evan Cheng authored
llvm-svn: 59231
-
Evan Cheng authored
llvm-svn: 59230
-
Zhongxing Xu authored
type when assigning to it. llvm-svn: 59229
-
Bill Wendling authored
llvm-svn: 59228
-
Ted Kremenek authored
llvm-svn: 59227
-
Ted Kremenek authored
Correctly connect 'continue' and 'break' statements in Objective-C fast enumeration for blocks to the appropriate basic blocks. llvm-svn: 59226
-
Ted Kremenek authored
GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. llvm-svn: 59225
-
Eli Friedman authored
some more bullet-proofing/enhancements for tryEvaluate. This shouldn't cause any behavior changes except for handling cases where we were crashing before and being able to evaluate a few more cases in tryEvaluate. This should settle the minor mess surrounding r59196. llvm-svn: 59224
-
Daniel Dunbar authored
- Resume running the always inliner pass always now that LLVM has been improved and functions with debug info can be inlined. - Remove unused header. llvm-svn: 59223
-
Ted Kremenek authored
llvm-svn: 59222
-
Daniel Dunbar authored
the Backend output should be done in binary mode. - I'd appreciate it if someone who has a Windows build could verify this. llvm-svn: 59221
-
Ted Kremenek authored
- Don't crash on vector types. - Handle typedefs. llvm-svn: 59220
-
Daniel Dunbar authored
Document raw_fd_ostream's treatment of "-". llvm-svn: 59219
-
Bill Wendling authored
llvm-svn: 59218
-
Daniel Dunbar authored
- Logic such as this quite possibly should be optional builder behavior. llvm-svn: 59213
-
Eli Friedman authored
little rude; I figure it's cleaner to just back this out now so it doesn't get forgotten or mixed up with other checkins. The modification to isICE is simply wrong; I've added a test that the change to isICE breaks. I'm pretty sure the modification to tryEvaluate is also wrong. At the very least, there's some serious miscommunication going on here, as this is going in exactly the opposite direction of r59105. My understanding is that tryEvaluate is not supposed to care about side effects. That said, a lot of the clients to tryEvaluate are expecting it to enforce a no-side-effects policy, so we probably need another method that provides that guarantee. llvm-svn: 59212
-
Daniel Dunbar authored
landing pads. - Primarily a cleanliness issue instead of a performance issue (this eliminates all blocks w/o predecessors on 176.gcc/expr.c), but this also allows subsequent code to recognize it is unreachable and potentially avoid IRgen. llvm-svn: 59211
-
Daniel Dunbar authored
- Use dotted notation for blocks related to a particular statement type. - Use .end for landing pads. No functionality change in NDEBUG mode. :) llvm-svn: 59210
-
Ted Kremenek authored
llvm-svn: 59209
-
Devang Patel authored
llvm-svn: 59208
-
Daniel Dunbar authored
- Indicates that caller is done with the block and it can be dropped if it has no predecessors. Useful for callers who need to make landing pads but which may not be reached. No functionality change. llvm-svn: 59207
-
Ted Kremenek authored
llvm-svn: 59206
-
Bill Wendling authored
llvm-svn: 59204
-
Bill Wendling authored
llvm-svn: 59203
-
Bill Wendling authored
llvm-svn: 59202
-
Daniel Dunbar authored
more confusing ifelse. Use dotted names for if blocks (if.then vs ifthen). llvm-svn: 59201
-
Ted Kremenek authored
Fix bug where the body block of an ObjCForCollectionStmt would not properly get expanded as a series of basic blocks. llvm-svn: 59197
-
Daniel Dunbar authored
- Evaluation of , operator used bogus assumption that LHS could be evaluated as an integral expression even though its type is unspecified. This change is making isICE very permissive of the LHS in non-evaluated contexts because it is not clear what predicate we would use to reject code here. The standard didn't offer me any guidance; opinions? llvm-svn: 59196
-