9db35a8750
ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call since one SRM is created in each ScanReachableSymbols instance. Creating the object just once and calling only scan inside the loop gives ~ 14% speed up of the StaticAnalyzer run (Release+Asserts).
...
Pull out the declaration of the ScanReachableSymbols so that it can be used directly. Document ProgramState::scanReachableSymbols() methods.
llvm-svn: 140323
2011-09-22 18:10:41 +00:00
0542df5198
PTX: Clean up target options code
...
llvm-svn: 140320
2011-09-22 17:57:40 +00:00
da9740061b
Fix the ASTImporter's lookup for anonymous structs/unions that get a
...
linkage name via typedef. Patch from/fixes PR10958.
llvm-svn: 140317
2011-09-22 17:51:56 +00:00
4ea5dec0e5
Don't allow template argument deduction to deduce a placeholder type,
...
ever. Fixes PR10939.
llvm-svn: 140304
2011-09-22 15:57:07 +00:00
8a556ce512
Explicitly-defaulted copy/move constructors are not "implicit", but
...
they still need the logic to cope with array member
initialization. Fixes PR10720.
llvm-svn: 140302
2011-09-22 15:15:51 +00:00
766bcc27dc
In OpenCL, conversions between different vector types are disallowed
...
OpenCL 6.2.1 says: "Implicit conversions between built-in vector data types are
disallowed." OpenCL 6.2.2 says: "Explicit casts between vector types are not
legal." For example:
uint4 u = (uint4)(1);
int4 i = u; // invalid implicit conversion
int4 e = (int4)u; // invalid explicit conversion
Fixes PR10967. Submitted by: Anton Lokhmotov <Anton.lokhmotov@gmail.com>
llvm-svn: 140300
2011-09-22 13:03:14 +00:00
751c558d8e
ArrayRef-ifying the fields passed to Sema::ActOnFields
...
llvm-svn: 140293
2011-09-22 02:58:26 +00:00
b9c168a265
ArrayRef-ifying the UnexpandedParameterPacks passed to Sema::CheckParameterPacksForExpansion
...
llvm-svn: 140290
2011-09-22 02:34:54 +00:00
319b738e17
ArrayRef-ifying MacroArgs::create's arguments argument.
...
llvm-svn: 140288
2011-09-22 02:03:12 +00:00
441417a954
Simplify the last character check.
...
llvm-svn: 140287
2011-09-22 01:35:49 +00:00
0a3a22fe66
In the OpenCL mode, the AltiVec mode must be off and checks must be strict
...
OpenCL is different from AltiVec in the way it supports vector literals. OpenCL
is strict with regards to semantic checks. For example, implicit conversions
and explicit casts between vectors of different types are disallowed.
Fixes PR10975. Submitted by: Anton Lokhmotov <Anton.lokhmotov@gmail.com>
llvm-svn: 140270
2011-09-21 18:28:29 +00:00
9c70e04bec
ArrayRef-ifying Function/BlockDecl's setParams
...
llvm-svn: 140268
2011-09-21 18:16:56 +00:00
2e9d9cfc39
More MSVC9 unbreaking.
...
llvm-svn: 140256
2011-09-21 16:58:20 +00:00
7c26c04ba9
Diagnose attempts to write a templated data member, from Stepan
...
Dyatkovskiy! Fixes PR10896.
llvm-svn: 140250
2011-09-21 14:40:46 +00:00
30909031a7
Enforce access control for conversion operators used in contextual
...
conversions (rather than just call-arguments).
llvm-svn: 140244
2011-09-21 08:36:56 +00:00
9cb88ec8d1
I had meant to locally revert this test.
...
llvm-svn: 140243
2011-09-21 08:34:49 +00:00
cbc038a6c3
ANSI C requires that a call to an unprototyped function type succeed
...
if the definition has a non-variadic prototype with compatible
parameters. Therefore, the default rule for such calls must be to
use a non-variadic convention. Achieve this by casting the callee to
the function type with which it is required to be compatible, unless
the target specifically opts out and insists that unprototyped calls
should use the variadic rules. The only case of that I'm aware of is
the x86-64 convention, which passes arguments the same way in both
cases but also sets a small amount of extra information; here we seek
to maintain compatibility with GCC, which does set this when calling
an unprototyped function.
Addresses PR10810 and PR10713.
llvm-svn: 140241
2011-09-21 08:08:30 +00:00
3b4de99158
[microsoft] Move missing typename warning from -fms-extensions to -fms-compatibility. Also allow the missing typename warning at function scope.
...
llvm-svn: 140240
2011-09-21 07:59:49 +00:00
5ce7f109cf
Fix MSVC9 build by providing a full comparator object to lower_bound.
...
llvm-svn: 140238
2011-09-21 06:42:26 +00:00
cf24656ea4
Change:
...
assert(!"error message");
To:
assert(0 && "error message");
which is more consistant across the code base.
llvm-svn: 140232
2011-09-21 02:50:14 +00:00
e4f3180fec
Change "ivar" to true for a boolean function argument. Since string literals are cast to true, this should no effect on behavior.
...
llvm-svn: 140231
2011-09-21 02:46:06 +00:00
94ab554749
Add case labels for Mips64 architectures.
...
llvm-svn: 140226
2011-09-21 02:13:07 +00:00
15ca5e7a21
[analyzer] Fix a bug where PathDiagnosticLocation did not generate a valid range and add asserts to check validity of locations early on. Ignore invalid ranges in PathDiagnosticPiece (they could be added by checker writers).
...
Addresses radar://10124836 and radar://radar10102244.
llvm-svn: 140218
2011-09-21 00:35:58 +00:00
712512bb36
[ARC] Allow forming 'id*' in an unevaluated context. Fixes rdar://10148540.
...
llvm-svn: 140212
2011-09-20 23:49:22 +00:00
b573542e10
[PCH] Don't store the source range for each preprocessed entity since
...
we already have the range in the PPEntityOffsets array.
llvm-svn: 140209
2011-09-20 23:27:41 +00:00
86ec600f57
[PCH] Merge ASTReader::LoadPreprocessedEntity with ReadPreprocessedEntity
...
and don't store the ID for each preprocessed entity.
llvm-svn: 140208
2011-09-20 23:27:38 +00:00
45e8cf5732
[libclang] When pointing at a macro expansion inside a macro argument,
...
return a cursor for the inner macro.
llvm-svn: 140207
2011-09-20 23:27:33 +00:00
d70da08160
[analyzer] Refactor PathDiagnosticLocation: Remove SourceRange member from PathDiagnosticLocation - FullSourceLoc Loc and PathDiagnosticRange Range are sufficient.
...
llvm-svn: 140206
2011-09-20 23:27:32 +00:00
6422e95c66
[analyzer] Refactor PathDiagnosticLocation: Add comments. Remove the last constructor which could allow invalid locations to slip in.
...
llvm-svn: 140200
2011-09-20 22:43:32 +00:00
6800ab437c
[analyzer] Remove dead code. (This code is trying to implement the idea that PathDiagnosticClient could implement DiagnosticClient and has been dead for a while).
...
llvm-svn: 140198
2011-09-20 22:30:48 +00:00
7c2b28a16f
In SourceManager::translateLineCol, handle the case where we are pointing
...
directly at the end of the source file.
llvm-svn: 140192
2011-09-20 22:14:54 +00:00
b89327ec84
Remove PreprocessingDirectiveKind since it's not necessary.
...
llvm-svn: 140191
2011-09-20 22:14:52 +00:00
0d48fb89c0
The location of the name in MacroDefinition is the beginning of its range,
...
don't store an extra location for it.
llvm-svn: 140190
2011-09-20 22:14:48 +00:00
b3642c2c7a
Move Microsoft access specifier bug emulation from -fms-extensions to -fm-compatibility.
...
llvm-svn: 140189
2011-09-20 22:08:26 +00:00
3e42bc55db
For i386 kext fallback to llvm-gcc, search paths for several Darwin versions.
...
This replaces the hack to read UNAME_RELEASE from the environment when
identifying the OS version on Darwin, and it's more flexible. It's also
horribly ugly, but at least this consolidates the ugliness to touch less of
the code so that it will be easier to rip out later.
llvm-svn: 140187
2011-09-20 22:00:38 +00:00
c29bed3989
[analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation.
...
(Another step closer to the goal of having Diagnostics which can recover from invalid SourceLocations.)
llvm-svn: 140182
2011-09-20 21:38:35 +00:00
b2dfc2b7be
[analyzer] Refactor PathDiagnosticLocation: Use the pre-computed Range and Location for profile.
...
llvm-svn: 140180
2011-09-20 21:25:00 +00:00
d3a0f954a3
[driver] Default to arm mode when using the integrated assembler.
...
rdar://10125227
llvm-svn: 140179
2011-09-20 20:44:06 +00:00
02e25db543
Fix a problem in digraph handling where "[:" might be treated as "<::" and
...
erronously trigger the digraph correction fix-it. Include a new test to catch
this in the future.
llvm-svn: 140175
2011-09-20 20:03:50 +00:00
bef1745c9c
Define Mips64 TargetInfo classes.
...
llvm-svn: 140174
2011-09-20 19:21:49 +00:00
057b986d9d
Sort exports list.
...
llvm-svn: 140171
2011-09-20 19:02:45 +00:00
f6da331e15
Clean up TargetInfo class hierarchy. Define a base class from which TargetInfos
...
of Mips32 big and little endian derive.
llvm-svn: 140170
2011-09-20 19:00:23 +00:00
ec11b4fa5a
Create a MipsTargetCodeGenInfo object for mips64/mips64el. The size of the
...
UnwindException structure is 32 for mips64.
llvm-svn: 140165
2011-09-20 18:30:57 +00:00
83128bc101
[analyzer] Refactor PathDiagnosticLocation: Use PointerUnion of LocationContext and AnalysisContext to support creation of PathDiagnosticLocations for checkers which no context sensitivity.
...
llvm-svn: 140162
2011-09-20 18:23:52 +00:00
0486db08bd
Add a parameter to MipsTargetCodeGenInfo's constructor.
...
llvm-svn: 140161
2011-09-20 18:23:28 +00:00
75644d5729
Introduce an egregious hack for modules to cope with headers that come
...
from unfriendly (== not at all modularized) directories. This is
temporary, and it only affects module construction until I'll figured
out how to deal with system headers.
llvm-svn: 140159
2011-09-20 18:13:03 +00:00
5507159245
Remove __WCHAR_UNSIGNED__ and anything that used it.
...
llvm-svn: 140155
2011-09-20 18:05:01 +00:00
08e094aee3
Test commit
...
llvm-svn: 140149
2011-09-20 17:25:59 +00:00
de03d72a7b
[analyzer] Refactor PathDiagnosticLocation: Lazily query LocationContext for a ParentMap as needed.
...
llvm-svn: 140147
2011-09-20 16:37:36 +00:00
22fec1c4d9
[analyzer] Remove LocationContext and a dependency from PathDiagnosticLoaction.
...
llvm-svn: 140146
2011-09-20 16:23:37 +00:00
Anna Zaks