Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / f85e193739c953358c865005855253af4f68a497 / lib / Sema / SemaChecking.cpp
  1. e737f50 Move Sema's headers into include/clang/Sema, renaming a few along the way. by Douglas Gregor · 14 years ago
  2. 476d8b8 Random temporary string cleanup. by Benjamin Kramer · 14 years ago
  3. f871d0c Store inheritance paths after CastExprs instead of inside them. by John McCall · 14 years ago
  4. 68957a9 Teach SemaChecking::CheckReturnStackAddr about ImplicitCastExprs that convert values to an lvalue. This allows us to warn (again) about returning references to stack variables. (fixes PR 7812). by Ted Kremenek · 14 years ago
  5. 99c40bb Add support for VFP status & control operations for ARM. by Nate Begeman · 14 years ago
  6. bb37f50 Wire up sema checking for __builtin_arm_usat and __builtin_arm_ssat immediates. by Nate Begeman · 14 years ago
  7. 96827eb Revert r109428 "Hoist argument type checking into CheckFormatHandler. This is prep for scanf format" by Michael J. Spencer · 14 years ago
  8. f762905 Hoist argument type checking into CheckFormatHandler. This is prep for scanf format by Ted Kremenek · 14 years ago
  9. 666a197 Consolidate #args checking for scanf/printf format strings. by Ted Kremenek · 14 years ago
  10. ff331c1 Remove the vast majority of the Destroy methods from the AST library, by Douglas Gregor · 14 years ago
  11. f609462 Vectors are not integer types, so the type system should not classify by Douglas Gregor · 14 years ago
  12. 1e51c20 Hookup checking for invalid length modifiers in scanf format strings. by Ted Kremenek · 14 years ago
  13. 6ecb950 Add 'ConversionSpecifier' root class in 'analyze_format_string' namespace and by Ted Kremenek · 14 years ago
  14. 35d353b Rename 'ConsumedSoFarArg' -> 'nArg' and 'OutIntPtrArg' to 'nArg' (scanf and printf checking). by Ted Kremenek · 14 years ago
  15. 649aecf Rename diagnostic so that it can be reused with scanf checking. No functionality change. by Ted Kremenek · 14 years ago
  16. baa4006 Don't warn when a '%%' or '%*d' (scanf) is used in a format string with positional arguments, since by Ted Kremenek · 14 years ago
  17. c09b6a5 Hook up 'invalid conversion' warning for scanf format strings. by Ted Kremenek · 14 years ago
  18. 8d13d22 Fix a goof in my previous patch -- not all of the builtins return a value, some by Chandler Carruth · 14 years ago
  19. db4325b Improve the representation of the atomic builtins in a few ways. First, we make by Chandler Carruth · 14 years ago
  20. b7c2101 Hook up warning for an incomplete scanlist in scanf format strings. by Ted Kremenek · 14 years ago
  21. 826a345 Add most of the boilerplate support for scanf format string checking. This includes by Ted Kremenek · 14 years ago
  22. 5291c3c When forming a function call or message send expression, be sure to by Douglas Gregor · 14 years ago
  23. 7479ef6 Rip out the floating point return type handling from the atomic builtin. It's by Chandler Carruth · 14 years ago
  24. d201457 Fix PR7600, and correctly convert the result of an atomic builtin to the by Chandler Carruth · 14 years ago
  25. 788b0fd improve altivec vector bool/pixel support, patch by Anton Yartsev by Chris Lattner · 14 years ago
  26. 45f9b7e Bug 7377: printf checking fails to flag some undefined behavior by Tom Care · 14 years ago
  27. e4ee966 Bug 7377: Fixed several bad printf format string bugs. by Tom Care · 14 years ago
  28. a23326b Generate arm_neon.inc in include/clang/Basic, which provides: by Nate Begeman · 14 years ago
  29. d69ec16 Remove last of the bool shifts for MS VC++, patch by dimitry andric by Nate Begeman · 14 years ago
  30. 61eecf5 Add some missing shifts by Nate Begeman · 14 years ago
  31. 0d15c53 Most of NEON sema checking & fix to polynomial type detection by Nate Begeman · 14 years ago
  32. 3bfc5f4 Added FixIt support to printf format string checking. by Tom Care · 14 years ago
  33. 1c2a88c Implement transpose/zip/unzip & table lookup. by Nate Begeman · 14 years ago
  34. 26a3142 Since the enum values for each arch's builtins overlap, it is not appropriate to check them when compiling or other archs. Fixes a problem where compiling for NEON would use x86 sema rules. by Nate Begeman · 14 years ago
  35. 37b6a57 Extend __builtin_shufflevector to expose the full power of the llvm shufflevector instruction. This means it can now be used for vector truncation and concatenation. This will be used for the ARM NEON implementation. by Nate Begeman · 14 years ago
  36. c71a491 Preserve more information from a block's original function declarator, if one by John McCall · 14 years ago
  37. b90f4b3 Tell the string literal parser when it's not permitted to emit by Douglas Gregor · 14 years ago
  38. 323ed74 Rearchitect -Wconversion and -Wsign-compare. Instead of computing them by John McCall · 14 years ago
  39. 81368fb optimize builtin_isnan/isinf to not do an extraneous extension from by Chris Lattner · 14 years ago
  40. 9498d38 Add FunctionDecl::isVariadic() to match BlockDecl::isVariadic() and ObjCMethodDecl::isVariadic(). by Ted Kremenek · 14 years ago
  41. 8ecdb65 Completely reimplement __builtin_offsetof, based on a patch by Roberto Amadini. by Douglas Gregor · 14 years ago
  42. 5cf86ba Actually produce base paths for CastExprs of kind CK_DerivedToBase. by Anders Carlsson · 14 years ago
  43. 80971bd isValue is set to false by default. by Anders Carlsson · 14 years ago
  44. 88465d3 Add an InheritancePath parameter to the ImplicitCastExpr constructor. by Anders Carlsson · 14 years ago
  45. 5e89655 Remove the argument number from the constant integer diagnostic. by Eric Christopher · 14 years ago
  46. 691ebc3 Consolidate most of the integer constant expression builtin requirement by Eric Christopher · 15 years ago
  47. d6e44a3 Collapse the three separate initialization paths in by Douglas Gregor · 15 years ago
  48. ccfa963 Expand the argument diagnostics for too many arguments and give by Eric Christopher · 15 years ago
  49. d77b9a2 Expand argument diagnostic for too few arguments to give the number by Eric Christopher · 15 years ago
  50. 3aae609 Teach -Wsign-compare to treat 1 << blah as "idiomatically non-negative". by John McCall · 15 years ago
  51. 9c12739 Do not mark the destructor of a function parameter's type. Fixes PR6709. by Douglas Gregor · 15 years ago
  52. 7eff7c4 Remove support for nand atomic builtins. They are inconsistently implemented in by Daniel Dunbar · 15 years ago
  53. 6ee7653 Fix two bugs in format-string checking: by Ted Kremenek · 15 years ago
  54. dbdbaaf Refactor CFG-based warnings in Sema to be run by a worked object called AnalysisBasedWarnings. by Ted Kremenek · 15 years ago
  55. a2936be Promote enum types during -Wsign-compare. Fixes some spurious warnings, by John McCall · 15 years ago
  56. f6ac97b Let SourceManager::getBufferData return StringRef instead of a pair of two const char*. by Benjamin Kramer · 15 years ago
  57. f715ca1 Give SourceManager a Diagnostic object with which to report errors, by Douglas Gregor · 15 years ago
  58. aea67db Introduce a new BufferResult class to act as the return type of by Douglas Gregor · 15 years ago
  59. d1b47bf Warn about comparing an unsigned expression with 0 in tautological ways. by John McCall · 15 years ago
  60. 9ea9bdb Keep an explicit stack of function and block scopes, each element of by Douglas Gregor · 15 years ago
  61. e3fc547 Fix crasher caused by setting a bit in a possibly empty bitvector while by Ted Kremenek · 15 years ago
  62. efaff19 For printf format string checking, add support for positional format strings. by Ted Kremenek · 15 years ago
  63. 7f70dc8 For printf format string checking, move the tracking of the data argument index out of by Ted Kremenek · 15 years ago
  64. c0cd21d Don't assert on compound assignment operators that operate in FP types when by John McCall · 15 years ago
  65. 72919a3 Move the rest of the unreachable code analysis from libSema by Ted Kremenek · 15 years ago
  66. 8de3cc6 Simplify check for basic block with a CXXTryStmt terminator. by Ted Kremenek · 15 years ago
  67. 3d2eed8 Start moving some of the logic for the unreachable code analysis out of libSema by Ted Kremenek · 15 years ago
  68. f067d8e Convert use of std::queue to llvm::SmallVector and fix buildbot. by Ted Kremenek · 15 years ago
  69. 133a6aa Use SmallVectorImpl::iterator. by Ted Kremenek · 15 years ago
  70. 1e025f2 Simplify logic for determining values of 'ReturnsVoid' and 'HasNoReturn' flags. by Ted Kremenek · 15 years ago
  71. 3b1e26b Rename argument so the name reflects what it's doing. by Benjamin Kramer · 15 years ago
  72. 4e4b30e Refactor the logic for printf argument type-checking into analyze_printf::ArgTypeResult. by Ted Kremenek · 15 years ago
  73. e771a7a Add Sema support for __builtin_fpclassify by extending the existing check for __builtin_isinf and friends. Part of PR6083. by Benjamin Kramer · 15 years ago
  74. 1497bff Uncomment lines I never meant to have left commented in a commit. by Ted Kremenek · 15 years ago
  75. 5c41ee8 Patch by Cristian Draghici: by Ted Kremenek · 15 years ago
  76. 0e5675d Convert tabs to spaces. by Ted Kremenek · 15 years ago
  77. 4855a52 Don't diagnose missing noreturns for uninstantiated templates. Fixes PR6247. by Anders Carlsson · 15 years ago
  78. 04a67a6 Standardize the parsing of function type attributes in a way that by John McCall · 15 years ago
  79. 74d56a1 Move ParseFormatString() and FormatStringHandler back into the analyze_printf namespace. by Ted Kremenek · 15 years ago
  80. 68c6c9a Mark dtors for parameter variables and eliminate some redundant type munging. by John McCall · 15 years ago
  81. 4f9506a Access control for implicit destructor calls. Diagnostic could be orders of by John McCall · 15 years ago
  82. 31310a2 In C++, an initializer on a variable doesn't necessarily mean it's the definition. With that in mind, rename getDefinition to getAnyInitializer (to distinguish it from getInit) and reimplement it in terms of isThisDeclarationADefinition. Update all code to use this new function. by Sebastian Redl · 15 years ago
  83. 105d41c Use early return as suggested by Cristian Draghici. by Ted Kremenek · 15 years ago
  84. 180f284 Format string checking: selectively ignore implicit casts to 'int' by Ted Kremenek · 15 years ago
  85. d17e340 Fix for PR5185. C99 [*] VLA notation should be disallowed in function definitions. by Sam Weinig · 15 years ago
  86. d635c5f Add basic type checking of format string conversion specifiers and their arguments. Thanks to Cristian Draghici for his help with this patch! by Ted Kremenek · 15 years ago
  87. 31f8e32 Be a little more permissive than C99: allow 'unsigned' to be used for by Ted Kremenek · 15 years ago
  88. f88c8e0 Switch Sema over to using the new implementation of format string by Ted Kremenek · 15 years ago
  89. 808015a Alternate format string checking: issue warnings for incomplete format specifiers. by Ted Kremenek · 15 years ago
  90. 26ac2e0 Alternate format string checking: issue a warning for invalid conversion specifiers. by Ted Kremenek · 15 years ago
  91. 07d161f Alternate format string checking: check for excess data arguments. by Ted Kremenek · 15 years ago
  92. da51f0d Alternate format string checking: check if the number of format specifiers exceeds the number of arguments. by Ted Kremenek · 15 years ago
  93. e82d804 Alternate format string checking: warn of '%n' as being potentially insecure. by Ted Kremenek · 15 years ago
  94. 0d27735 Add precision/field width checking to AlternateCheckPrintfString(). by Ted Kremenek · 15 years ago
  95. e0e5313 Start fleshing out Sema::AlternateCheckPrintfString(): by Ted Kremenek · 15 years ago
  96. ce7024e Add placeholder function in Sema for new format string checking logic. by Ted Kremenek · 15 years ago
  97. 8acc9f6 Fix 80 col violation. by Ted Kremenek · 15 years ago
  98. f291976 Remove invalid conversion specifiers from format string checking. by Ted Kremenek · 15 years ago
  99. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago
  100. 4a41567 Wire up the new range reporting for unreachable code. by Mike Stump · 15 years ago