Commits · 1e8c1308bba6d4a9579ab3f8651c0ada8a3a41ab · Roger Ferrer / llvm-epi · GitLab

Dec 22, 2007
- Fix silly typo in the FP CEP handling. · 1e8c1308
  Anton Korobeynikov authored Dec 21, 2007
  1e8c1308
- Converted Loc back to being of type ProgramEdge. Ultimately I believe we want · e7e26cd0
  Ted Kremenek authored Dec 21, 2007
  e7e26cd0
- Added preliminary implementation of SimulGraph, which represents the · e1d1a947
  Ted Kremenek authored Dec 21, 2007
  e1d1a947
Dec 21, 2007
- Changed "Location" from "ProgramEdge" to "ProgramEdge&" (slightly more svelt · 908cff9f
  Ted Kremenek authored Dec 21, 2007
  908cff9f
- SimulVertex now subclasses FoldingSetNode. · 95416706
  Ted Kremenek authored Dec 21, 2007
  95416706
- Added Profile method to SimulVertex. · 1616945a
  Ted Kremenek authored Dec 21, 2007
  1616945a
- This patch implements some of the more obscure type-checking involving · a7c705dd
  Fariborz Jahanian authored Dec 21, 2007
  a7c705dd
- Updated Xcode project to be in sync with recent changes in file locations · fda0aaf0
  Ted Kremenek authored Dec 21, 2007
  fda0aaf0
- Directory restructing of Analysis files. · bf593f81
  Ted Kremenek authored Dec 21, 2007
  bf593f81
- Renamed file AnalysisVertex.h to SimulVertex.h · f55ed782
  Ted Kremenek authored Dec 21, 2007
  f55ed782
- Renamed class AnalysisVertex to SimulVertex · 3d8b0d69
  Ted Kremenek authored Dec 21, 2007
  3d8b0d69
- Fix a brain fart by our beloved leader (the content · 85f26f28
  Duncan Sands authored Dec 21, 2007
  85f26f28
- Fixed successor order for CFG basic blocks when handling: x && y. The bug · 93e20311
  Ted Kremenek authored Dec 21, 2007
  93e20311
- Convert opaque type when struct definition is seen. · 505b4f1f
  Devang Patel authored Dec 21, 2007
  505b4f1f
- Get the verifier to check attributes on calls as well · 8c582280
  Duncan Sands authored Dec 21, 2007
  8c582280
- Make DAE not wipe out attributes on calls, and not drop · 6a7703ed
  Duncan Sands authored Dec 21, 2007
  6a7703ed
- Keep track of llvm struct size while adding fields. · 016e41e8
  Devang Patel authored Dec 21, 2007
  016e41e8
- Patch to compare to objective-c static types where one or the other · 56b5c96e
  Fariborz Jahanian authored Dec 21, 2007
  56b5c96e
- Fix unintented change from last commit · 31a2c394
  Nicolas Geoffray authored Dec 21, 2007
  31a2c394
- Enable EH for linux/ppc32 targets · 80c741e1
  Nicolas Geoffray authored Dec 21, 2007
  80c741e1
- New entry. · 78c460c8
  Evan Cheng authored Dec 21, 2007
  78c460c8
- Add a few more missing gcc builtin's. · b54038fc
  Evan Cheng authored Dec 21, 2007
  b54038fc
- Test case for my last patch. · fd6f3a24
  Fariborz Jahanian authored Dec 21, 2007
  fd6f3a24
- More objective-c type analysis. This time involving objective types · ff7d2bf2
  Fariborz Jahanian authored Dec 21, 2007
  ff7d2bf2
- Removed scoped_ptr, as its functionality is subsumed by OwningPtr. · 1cf6c7aa
  Ted Kremenek authored Dec 21, 2007
  1cf6c7aa
- Added class "StateVariant", a template class which serves to wrap states that · b149889d
  Ted Kremenek authored Dec 21, 2007
  b149889d
- Added initial implementation of "AnalysisVertex", a class to represent a · f40d2740
  Ted Kremenek authored Dec 20, 2007
  f40d2740
Dec 20, 2007
- Another test for objective-c type comparison. · 76fcf326
  Fariborz Jahanian authored Dec 20, 2007
  76fcf326
- More objective-c type checking. This time comparing objective-c known objects. · 4368af07
  Fariborz Jahanian authored Dec 20, 2007
  4368af07
- Fix JIT encoding for CMPSD as well. · 01c7c198
  Evan Cheng authored Dec 20, 2007
  01c7c198
- Added OwningArrayPtr smart pointer class to provide an analogous class to · 5e241338
  Ted Kremenek authored Dec 20, 2007
  5e241338
- Converted uses of scoped_ptr to OwningPtr. · 71d643f8
  Ted Kremenek authored Dec 20, 2007
  71d643f8
- Patch to do type-checking for objctive-c's object types. · 63b19f1b
  Fariborz Jahanian authored Dec 20, 2007
  63b19f1b
- add accessor. · 19917941
  Chris Lattner authored Dec 20, 2007
  19917941
- add new smart pointer for clang. · 63fbcdf6
  Chris Lattner authored Dec 20, 2007
  63fbcdf6
- Type specification didn't match gcc's. · c226ed02
  Evan Cheng authored Dec 20, 2007
  c226ed02
- More accurate checks for two-address constraints. · f989141d
  Evan Cheng authored Dec 20, 2007
  f989141d
- Add newline · 58bdfda8
  Seo Sanghyeon authored Dec 20, 2007
  58bdfda8
- Implement review feedback, including additional transforms · 7d82bc46
  Christopher Lamb authored Dec 20, 2007
  7d82bc46
- Add m_Zero(). · e2cf5b8c
  Chris Lattner authored Dec 20, 2007
  e2cf5b8c