- a541d53 Fix the type of conditionals involving void* to be self-consistent and by Eli Friedman · 17 years ago
- 3c2eb66 by Steve Naroff · 17 years ago
- 9880ba9 long is 32-bit is on win32. by Chris Lattner · 17 years ago
- acb818a by Steve Naroff · 17 years ago
- 75ceedf by Steve Naroff · 17 years ago
- a28ef8b Implement __builtin_va_copy by Anders Carlsson · 17 years ago
- 8bd36fc Behave correctly if a constraint expression is invalid. by Anders Carlsson · 17 years ago
- 4bd6d0c by Steve Naroff · 17 years ago
- 336ed0b by Steve Naroff · 17 years ago
- 472778e Expose the logic for field address codegen; it is needed for aggregate by Eli Friedman · 17 years ago
- efe7f36 by Steve Naroff · 17 years ago
- 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 17 years ago
- d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 17 years ago
- c0959fc Fix a bitfield regression. Reported by Anders Carlsson. by Lauro Ramos Venancio · 17 years ago
- b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 17 years ago
- 071679d Removed ability to create symbol bindings in VarKey and VariableBindingsTy. by Ted Kremenek · 17 years ago
- 3628097 by Steve Naroff · 17 years ago
- 675a9ba Moved that clang doesn't depend on llvm-gcc above by Ted Kremenek · 17 years ago
- 59c2d26 Implemented transfer functions for "<<" and ">>" when the RValues are by Ted Kremenek · 17 years ago
- 562b4f3 Add instructions for building clang while building llvm. by Eric Christopher · 17 years ago
- da9bd09 Implemented transfer functions for Statement-Expressions and Commas. by Ted Kremenek · 17 years ago
- 7dc0e57 De-^Mify file. by Eric Christopher · 17 years ago
- 03d6bc6 by Steve Naroff · 17 years ago
- 53c641a More variable renamings. by Ted Kremenek · 17 years ago
- 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 17 years ago
- 8c4e5db Fix indentation. by Eli Friedman · 17 years ago
- 8e54ad0 Detabify SemaExpr. My text editor defaults to 8 spaces per tab, so it by Eli Friedman · 17 years ago
- a312ce2 Improve diagnostic for illegal array initialization. by Eli Friedman · 17 years ago
- dfab6cb Put back the top-level asm code; all tests pass now. by Anders Carlsson · 17 years ago
- 3f9424f Back out 46855 for now, it causes test failures on Darwin. by Anders Carlsson · 17 years ago
- b746ce8 by Steve Naroff · 17 years ago
- d957aa0 Simplify bitfield codegen. Fix codegen of struct { short a[3]; int b:15; }. by Lauro Ramos Venancio · 17 years ago
- 8432f4b Fix codegen of struct { char a[3]; unsigned char b:1; }; by Lauro Ramos Venancio · 17 years ago
- 61900f0 Handle top-level asm declarations. by Anders Carlsson · 17 years ago
- 419154d by Steve Naroff · 17 years ago
- 7e59336 Added some more opcode pretty-printing. by Ted Kremenek · 17 years ago
- 19227e3 Added proof-of-concept NULL pointer diagnostics to GRConstants. by Ted Kremenek · 17 years ago
- 63a4f69 Added support to distinguish between both implicit and explicit null dereferences. by Ted Kremenek · 17 years ago
- 3f1cc83 Implement support for the extremely atrocious MS /##/ extension, by Chris Lattner · 17 years ago
- 18354de these aren't tokens. by Chris Lattner · 17 years ago
- d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 17 years ago
- 64ec0cc Add a FIXME for alternate address spaces. by Eli Friedman · 17 years ago
- fd88bb9 get the tree building again by Chris Lattner · 17 years ago
- 3271f8d Added several guards in transfer functions for "InvalidValues". by Ted Kremenek · 17 years ago
- d62701b by Steve Naroff · 17 years ago
- 2bca5e4 Fixed bug in LiveVariables analysis where Block-level exprs appearing by Ted Kremenek · 17 years ago
- 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 17 years ago
- d073987 Minor reordering of the serialization of the fields of MemberExpr to result by Ted Kremenek · 17 years ago
- cf78b6a Major code refactoring/cleanup with transfer function logic. Now the by Ted Kremenek · 17 years ago
- 5101907 Make sure to propagate qualifiers through the member operator. by Eli Friedman · 17 years ago
- c8edf6b explicitly document that return statement argument does not necessarily follow the result type of the function. Add testcase. by Chris Lattner · 17 years ago
- dac2b54 Use the subprocess module instead of os.system. Patch by Sam Bishop. by Anders Carlsson · 17 years ago
- c60f0f7 Added main transfer function support for unary operator "!". by Ted Kremenek · 17 years ago
- feb01f6 Added assumption logic for symbolic non-lvalues when used in conditions such as by Ted Kremenek · 17 years ago
- 87a9875 Add pointer + int (and vice versa) to the constant emitter. by Anders Carlsson · 17 years ago
- 3a31d60 Generate code for the various __builtin_ctz functions. by Anders Carlsson · 17 years ago
- 8fb1dd0 now that ConvertTagDeclType is nice and simple, use it from UpdateCompletedType. by Chris Lattner · 17 years ago
- 5de00fc simplify and speed up type refinement logic. No functionality change. by Chris Lattner · 17 years ago
- de0efb3 only convert the type name once, not each type it is refined. by Chris Lattner · 17 years ago
- 75afb58 Fix the codegen of structs with flexible array members. by Eli Friedman · 17 years ago
- fae6e29 simplify a bunch of code. by Chris Lattner · 17 years ago
- 4581fff rename TypeHolderMap to TypeCache, which more aptly describes what it is. by Chris Lattner · 17 years ago
- fc3b8e9 split tagged decl layout into its own method. by Chris Lattner · 17 years ago
- 6ef58e3 only update the llvm type for a struct when we used the struct by Chris Lattner · 17 years ago
- c5b8806 sink more of the type related code into CodeGenTypes. by Chris Lattner · 17 years ago
- 352ffde2 codegen static variables in a function into a different namespace from by Chris Lattner · 17 years ago
- 4e92acf Be a bit stricter about array type compatibility. by Eli Friedman · 17 years ago
- 9eee0f8 Finish off the refactoring of type handling stuff. Now we recompile every by Chris Lattner · 17 years ago
- 3434b08 Fixed bug in '=' transfer function: RHS does not have to be a non-LValue. by Ted Kremenek · 17 years ago
- 08b6625 Fixed signedness bug in cast transfer function when casting integers to pointers. by Ted Kremenek · 17 years ago
- ed4de31 Modified state pretty-printing to include the '!=' and '==' constraints on by Ted Kremenek · 17 years ago
- a40ba02 Disabled operator= for ValueStateImpl. by Ted Kremenek · 17 years ago
- 41652a9 Fixed bug when allocating a ValueStateImpl object in getPersistentState() by Ted Kremenek · 17 years ago
- 8ee3c03 move the codegen ASTConsumer out of the driver into libcodegen, by Chris Lattner · 17 years ago
- e66b65c pull .ll and .bc writing out of the ASTConsumer destructors into some top by Chris Lattner · 17 years ago
- 862d5bb Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). by Ted Kremenek · 17 years ago
- e1e7985 inform astconsumer about tagdecls as they are defined. by Chris Lattner · 17 years ago
- 2ae34ed pass the astconsumer into Sema's ctor, clean up some stuff in by Chris Lattner · 17 years ago
- e91c134 rename ASTSTreamer.{h|cpp} -> ParseAST.{h|cpp} by Chris Lattner · 17 years ago
- a0e328f kill the ASTStreamer class, inlining it into its only client: clang::ParseAST by Chris Lattner · 17 years ago
- ea04175 Even more inline asm codegen fixes. by Anders Carlsson · 17 years ago
- 4efe459 simple implementation of __builtin_alloca by Nate Begeman · 17 years ago
- 5e7dc44 by Steve Naroff · 17 years ago
- ef3577d Handle the memory clobber. by Anders Carlsson · 17 years ago
- 2abd25f Improvements to inline asm code generation. by Anders Carlsson · 17 years ago
- 0806acf Added pretty-printing support for lval::SymIntConstraintVal and by Ted Kremenek · 17 years ago
- dfab34a Handle simple asm statements correctly. by Anders Carlsson · 17 years ago
- a91d381 simplify some code. by Chris Lattner · 17 years ago
- 0f10d50 Moved implementation of cast<> for SymbolData closer to SymbolData's definition. by Ted Kremenek · 17 years ago
- 9466aa8 Added new "NonLValue" class: SymIntConstraintVal. This class represents a binary by Ted Kremenek · 17 years ago
- 329f854 Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 17 years ago
- 1fbdb02 Added "SymIntConstraint", a utility class to represent intermediate values for by Ted Kremenek · 17 years ago
- 64515f3 by Steve Naroff · 17 years ago
- 7be3d01 Add some binops. by Anders Carlsson · 17 years ago
- f39a421 More improvements to inline asm CG. by Anders Carlsson · 17 years ago
- cba2e43 Added "batch" processing versions of Nodify and SetValue. Created typedefs by Ted Kremenek · 17 years ago
- 174aea4 Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager). by Ted Kremenek · 17 years ago
- 6f886bd Added some comments. by Ted Kremenek · 17 years ago
- b80cbfe Renamed typedef "iterator" in ValueState to "vb_iterator" (for "VariableBindings"). by Ted Kremenek · 17 years ago
- ed90021 Reordered fields/methods in ValueState to make it more aesthetically pleasing. by Ted Kremenek · 17 years ago