Commits · b3ca38c1d5ef8f612e030a8c65e03f1bcfe3ec61 · Roger Ferrer / llvm-epi-0.8

Mar 05, 2008
- Cleaned up typedefs involving StateTy so that we always use "StateTy*" instead of StateTy. · 31672dbd
  Ted Kremenek authored Mar 05, 2008
```
This is conceptually much cleaner, as it shows that the state is always a pointer.
It also makes it easier to marshall these values around across the internal APIs
of the path-sensitive engine.

llvm-svn: 47921
```
  31672dbd
- Make GRStmtNodeBuilder only depend on StateTy, and not the type definition · c3c8c576
  Ted Kremenek authored Mar 04, 2008
```
of the entire checker.

llvm-svn: 47920
```
  c3c8c576
- Moved implementation of GRExprEngine::Nodify into GRStmtNodeBuilder. This will · a81c9de7
  Ted Kremenek authored Mar 04, 2008
```
allow us to pass the builder to plug-in transfer functions and allow those
functions to create intermediate nodes.

llvm-svn: 47919
```
  a81c9de7
- Moved GRExprEngine::NodeSet out of GRExprEngine and made it a standalone class: ExplodedNodeSet. · 3a3f6e39
  Ted Kremenek authored Mar 04, 2008
```
Made GRExprEngine::NodeSet a typedef of ExplodedNodeSet.

llvm-svn: 47914
```
  3a3f6e39
Mar 04, 2008
- CallExprs are now no longer block-level expressions in the CFG by construction. · c76a83f1
  Ted Kremenek authored Mar 04, 2008
```
llvm-svn: 47913
```
  c76a83f1
- Added preliminary transfer function support for references. · 9f3f827e
  Ted Kremenek authored Mar 04, 2008
```
llvm-svn: 47912
```
  9f3f827e
- For the transfer function for CallExpr, invalidate all arguments · 7aedc472
  Ted Kremenek authored Mar 04, 2008
```
passed-by-reference to builtin functions until we have better builtin support.

llvm-svn: 47910
```
  7aedc472
- Make intrinsics always_inline. · c83008a2
  Anders Carlsson authored Mar 04, 2008
```
llvm-svn: 47902
```
  c83008a2
- For the transfer function of DeclStmt, for now initialize the values of · 229f6773
  Ted Kremenek authored Mar 04, 2008
```
structs (local variables) to Unknown instead of Undefined.  (added FIXME to initialize *members* of struct to undefined)

llvm-svn: 47901
```
  229f6773
- Fixed another obscure node-caching bug. · e26c37d3
  Ted Kremenek authored Mar 04, 2008
```
llvm-svn: 47898
```
  e26c37d3
- Implemented "print" method for ValueState. · 122a529a
  Ted Kremenek authored Mar 04, 2008
```
llvm-svn: 47894
```
  122a529a
- The operand to the visibility attribute is required to be a quoted string, not a bare identifier. · 0fdc3794
  Chris Lattner authored Mar 04, 2008
```
llvm-svn: 47893
```
  0fdc3794
- TargetInfo objects now own the TargetInfoImpl objects they refer to. · c490bdbd
  Ted Kremenek authored Mar 04, 2008
```
TargetInfo::AddSecondaryTarget is now private, as it is only used during
object construction.

llvm-svn: 47891
```
  c490bdbd
- Add transfer function support for the default initialization of static · b9832d3c
  Ted Kremenek authored Mar 04, 2008
```
variables that are pointers or integers.

llvm-svn: 47880
```
  b9832d3c
- Fixed insidious state propagation bug that would sometimes cause the state · 2a30ea62
  Ted Kremenek authored Mar 04, 2008
```
to bifurcate at the wrong places and not propagate at others.

llvm-svn: 47876
```
  2a30ea62
- Enhanced pretty-printing of undefined-argument errors. · b2ce2638
  Ted Kremenek authored Mar 04, 2008
```
llvm-svn: 47873
```
  b2ce2638
Mar 03, 2008
- move deprecated -> attributes.c · 8e48dfe9
  Chris Lattner authored Mar 03, 2008
```
llvm-svn: 47856
```
  8e48dfe9
- Temporarily rename mmintrin.h so that it won't clash with the system header.... · 1f604a5d
  Anders Carlsson authored Mar 03, 2008
```
Temporarily rename mmintrin.h so that it won't clash with the system header. It will be renamed back once the few remaining methods have been implemented.

llvm-svn: 47852
```
  1f604a5d
- Fixed subtle caching bug in ExplodedGraph that would cause some nodes to · 3f06864c
  Ted Kremenek authored Mar 03, 2008
```
be incorrectly merged together.

llvm-svn: 47851
```
  3f06864c
- Add mmintrin.h header · a5e2e60d
  Anders Carlsson authored Mar 03, 2008
```
llvm-svn: 47850
```
  a5e2e60d
- Only allow a "noreturn" attribute to be affixed to a FunctionDecl. · 98c56677
  Ted Kremenek authored Mar 03, 2008
```
llvm-svn: 47844
```
  98c56677
- Added TODO. · 7e97ed56
  Ted Kremenek authored Mar 03, 2008
```
llvm-svn: 47843
```
  7e97ed56
- Added FIXME. · 8efd6b4e
  Ted Kremenek authored Mar 03, 2008
```
llvm-svn: 47842
```
  8efd6b4e
- The attribute nothrow maps to llvm attribute nounwind. Fix testcase. · e2e5c3f3
  Gabor Greif authored Mar 03, 2008
```
llvm-svn: 47841
```
  e2e5c3f3
- Chris added this testcase with r47837. The mail only shows one todo-warning... · 76ac5cf9
  Gabor Greif authored Mar 03, 2008
```
Chris added this testcase with r47837. The mail only shows one todo-warning but I see 3. Strangeness. Correcting lines 16 and 24.

llvm-svn: 47840
```
  76ac5cf9
- avoid a warning. · 028d6d57
  Chris Lattner authored Mar 03, 2008
```
llvm-svn: 47839
```
  028d6d57
- fix codegen support for functions that are nothrow and noreturn. · 65079bd9
  Chris Lattner authored Mar 03, 2008
```
llvm-svn: 47838
```
  65079bd9
- Add a bunch of attributes, patch by Nuno Lopes. · 84966397
  Chris Lattner authored Mar 03, 2008
```
llvm-svn: 47837
```
  84966397
- Find clang headers in the clang headers dir, search it before · 184adbfe
  Chris Lattner authored Mar 03, 2008
```
the system headers dir.  This produces an annoying warning:
clang.cpp:883: warning: ISO C++ forbids casting between pointer-to-function and pointer-to-object

I'm not sure how to remove it. :(

llvm-svn: 47836
```
  184adbfe
- Build the clang headers. · c16b6b2e
  Chris Lattner authored Mar 03, 2008
```
llvm-svn: 47834
```
  c16b6b2e
- Add a makefile to build and install headers. · 4f838791
  Chris Lattner authored Mar 03, 2008
```
llvm-svn: 47833
```
  4f838791
Mar 01, 2008
- Add codegen support for ObjC message expressions with the GNU runtime. · b7256cd1
  Chris Lattner authored Mar 01, 2008
```
Patch by David Chisnall!

llvm-svn: 47790
```
  b7256cd1
- Add codegen support for ObjC message expressions with the GNU runtime. · a087ff9a
  Chris Lattner authored Mar 01, 2008
```
Patch by David Chisnall!

llvm-svn: 47789
```
  a087ff9a
- newline at end of file, by David Chisnall · 9f64b40c
  Chris Lattner authored Mar 01, 2008
```
llvm-svn: 47788
```
  9f64b40c
- character literals have char type in C++ and int type in C. Patch · ef24b38d
  Chris Lattner authored Mar 01, 2008
```
by Nuno Lopes for PR2089

llvm-svn: 47787
```
  ef24b38d
- Add support for the CPATH, C_INCLUDE_PATH, CPLUS_INCLUDE_PATH, · c1bc5413
  Chris Lattner authored Mar 01, 2008
```
OBJC_INCLUDE_PATH, and OBJCPLUS_INCLUDE_PATH environment variables.
Patch by Sam Bishop!

llvm-svn: 47785
```
  c1bc5413
- Added extra check for calls to functions where we pass undefined values · 51e87ea2
  Ted Kremenek authored Feb 29, 2008
```
as arguments.

llvm-svn: 47778
```
  51e87ea2
- Fix http://llvm.org/bugs/show_bug.cgi?id=2103. · b96e4ab6
  Steve Naroff authored Feb 29, 2008
```
llvm-svn: 47775
```
  b96e4ab6
- Add checks for function calls via a function pointer that is NULL, Undefined, · 6f5fca78
  Ted Kremenek authored Feb 29, 2008
```
or otherwise a constant integer value that doesn't evaluate to an address.

llvm-svn: 47774
```
  6f5fca78
Feb 29, 2008

Minor CFG optimization: don't create separate block-level expressions for... · fcf6863f

Ted Kremenek authored Feb 29, 2008

Minor CFG optimization: don't create separate block-level expressions for DeclStmt initializers when the initializer is a literal.

llvm-svn: 47771

fcf6863f