maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/lib/Checker
History
Douglas Gregor 882211c1da Completely reimplement __builtin_offsetof, based on a patch by Roberto 
Amadini.

This change introduces a new expression node type, OffsetOfExpr, that
describes __builtin_offsetof. Previously, __builtin_offsetof was
implemented using a unary operator whose subexpression involved
various synthesized array-subscript and member-reference expressions,
which was ugly and made it very hard to instantiate as a
template. OffsetOfExpr represents the AST more faithfully, with proper
type source information and a more compact representation.

OffsetOfExpr also has support for dependent __builtin_offsetof
expressions; it can be value-dependent, but will never be
type-dependent (like sizeof or alignof). This commit introduces
template instantiation for __builtin_offsetof as well.

There are two major caveats to this patch:

  1) CodeGen cannot handle the case where __builtin_offsetof is not a
  constant expression, so it produces an error. So, to avoid
  regressing in C, we retain the old UnaryOperator-based
  __builtin_offsetof implementation in C while using the shiny new
  OffsetOfExpr implementation in C++. The old implementation can go
  away once we have proper CodeGen support for this case, which we
  expect won't cause much trouble in C++.

  2) __builtin_offsetof doesn't work well with non-POD class types,
  particularly when the designated field is found within a base
  class. I will address this in a subsequent patch.

Fixes PR5880 and a bunch of assertions when building Boost.Python
tests. 

llvm-svn: 102542
 		2010-04-28 22:16:22 +00:00
..
AdjustedReturnValueChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
AggExprVisitor.cpp Improve C++ constructor handling. 2010-04-01 03:47:27 +00:00
ArrayBoundChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
AttrNonNullChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
BasicConstraintManager.cpp Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
BasicObjCFoundationChecks.cpp Overhaul the AST representation of Objective-C message send 2010-04-21 00:45:42 +00:00
BasicObjCFoundationChecks.h Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
BasicStore.cpp Introduce Type::isStructureOrClassType(), which does the obvious 2010-04-26 21:31:17 +00:00
BasicValueFactory.cpp Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to 2010-02-05 02:26:30 +00:00
BugReporter.cpp Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. 2010-04-17 09:33:03 +00:00
BugReporterVisitors.cpp Overhaul the AST representation of Objective-C message send 2010-04-21 00:45:42 +00:00
BuiltinFunctionChecker.cpp Remove #include. 2010-02-25 00:20:28 +00:00
CFRefCount.cpp Overhaul the AST representation of Objective-C message send 2010-04-21 00:45:42 +00:00
CMakeLists.txt Move all C++ expression evaluation logic into its own file. 2010-04-19 12:51:02 +00:00
CallAndMessageChecker.cpp Introduce Type::isStructureOrClassType(), which does the obvious 2010-04-26 21:31:17 +00:00
CallInliner.cpp Use getBody() to get the function definition when the decl referenced is not 2010-02-28 06:39:11 +00:00
CastToStructChecker.cpp Introduce Type::isStructureOrClassType(), which does the obvious 2010-04-26 21:31:17 +00:00
CheckDeadStores.cpp Tweak dead stores checker to not emit a warning when initialization 2010-03-18 01:22:39 +00:00
CheckObjCDealloc.cpp Overhaul the AST representation of Objective-C message send 2010-04-21 00:45:42 +00:00
CheckObjCInstMethSignature.cpp Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. 2010-04-17 09:33:03 +00:00
CheckSecuritySyntaxOnly.cpp Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. 2010-04-17 09:33:03 +00:00
CheckSizeofPointer.cpp Move 'LocalCheckers.h' to the 'Checkers' subdirectory. 2010-01-26 22:59:55 +00:00
Checker.cpp Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
CocoaConventions.cpp Reapply r95546, no intended change in performance or functionality. 2010-02-08 18:38:55 +00:00
DereferenceChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
DivZeroChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
Environment.cpp Add support for CXXBoolLiteralExpr. 2010-04-14 06:29:29 +00:00
ExplodedGraph.cpp Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
FixedAddressChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
FlatStore.cpp Mark CXXThisRegion in the current or parent stack frame context as live so that 2010-03-17 03:35:08 +00:00
GRBlockCounter.cpp Since we now may have basicblocks with the same block is in different function, 2010-03-23 05:05:02 +00:00
GRCXXExprEngine.cpp Use the right predecessor. 2010-04-21 02:20:10 +00:00
GRCoreEngine.cpp Move GRStmtNodeBuilder::MakeNode() out of line. No functionality change. 2010-04-14 06:35:09 +00:00
GRExprEngine.cpp Completely reimplement __builtin_offsetof, based on a patch by Roberto 2010-04-28 22:16:22 +00:00
GRExprEngineExperimentalChecks.cpp Move 'LocalCheckers.h' to the 'Checkers' subdirectory. 2010-01-26 22:59:55 +00:00
GRExprEngineExperimentalChecks.h Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
GRExprEngineInternalChecks.h Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls 2010-02-25 05:44:09 +00:00
GRState.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
LLVMConventionsChecker.cpp clang::Attr objects should be treated as AST nodes as well by 2010-02-14 22:58:16 +00:00
MacOSXAPIChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
Makefile Allow users to set CPPFLAGS and CXXFLAGS on the make command line. 2010-03-12 22:55:16 +00:00
MallocChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
ManagerRegistry.cpp Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
MemRegion.cpp Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. 2010-04-17 09:33:03 +00:00
NSAutoreleasePoolChecker.cpp Overhaul the AST representation of Objective-C message send 2010-04-21 00:45:42 +00:00
NSErrorChecker.cpp Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. 2010-04-17 09:33:03 +00:00
NoReturnFunctionChecker.cpp the big refactoring bits of PR3782. 2010-03-30 20:24:48 +00:00
OSAtomicChecker.cpp Remove stray #include. 2010-02-25 00:20:31 +00:00
ObjCUnusedIVarsChecker.cpp Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. 2010-04-17 09:33:03 +00:00
PathDiagnostic.cpp Reinstate my CodeModificationHint -> FixItHint renaming patch, without 2010-03-31 17:46:05 +00:00
PointerArithChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
PointerSubChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
PthreadLockChecker.cpp Revert 95541. 2010-02-08 16:18:51 +00:00
RangeConstraintManager.cpp Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
RegionStore.cpp Introduce Type::isStructureOrClassType(), which does the obvious 2010-04-26 21:31:17 +00:00
ReturnPointerRangeChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
ReturnStackAddressChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
ReturnUndefChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
SVals.cpp Fix -Wcast-qual warnings. 2010-04-19 16:39:44 +00:00
SValuator.cpp Cast evaluation no longer touch GRState. 2010-02-04 04:56:43 +00:00
SimpleConstraintManager.cpp Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
SimpleConstraintManager.h Split libAnalysis into two libraries: libAnalysis and libChecker. 2010-01-25 04:41:41 +00:00
SimpleSValuator.cpp Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854. 2010-04-16 17:54:33 +00:00
Store.cpp Analyzer: add support for CXXNewExpr. 2010-04-19 11:47:28 +00:00
SymbolManager.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
UndefBranchChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
UndefCapturedBlockVarChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
UndefResultChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
UndefinedArraySubscriptChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
UndefinedAssignmentChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
UnixAPIChecker.cpp Remove copy of 'Optional' in Clang tree, and convert clients to use the one now in the LLVM tree. 2010-04-09 20:26:58 +00:00
VLASizeChecker.cpp Checker: random include cleanup. 2010-03-27 21:19:47 +00:00
ValueManager.cpp Since now we store the cast type with an ElementRegion, there is 2010-03-01 06:56:52 +00:00