issues
search
hanm
/
clang
Mirror of the official Clang GIT repository
Other
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Initializing a reference has no effect
#47
atzannes
closed
11 years ago
1
Don't ignore type casts while typechecking
#46
atzannes
opened
11 years ago
1
Add support for Attributes appertaining to CXXBaseSpecifier AST nodes
#45
atzannes
closed
11 years ago
1
Separate out TypeBuilder, GetBaseMemberExpr, and other common Visitors from TypeCheck into a "util" file
#44
atzannes
opened
11 years ago
0
make ROOT, LOCAL, STAR and WritesLOCAL variables in SymbolTable
#43
atzannes
closed
11 years ago
0
Fix indention of SemanticChecker.h/cpp
#42
hanm
opened
11 years ago
0
Refactor ASAP source files so each have a header and an implementation file.
#41
hanm
closed
11 years ago
8
Regression: Analysis/safeparallelism/regions.cpp
#40
hanm
closed
11 years ago
1
Emit warnings when unsupported features of C++ are used
#39
atzannes
opened
11 years ago
0
Attribute printing on declarator with initialization
#38
atzannes
opened
11 years ago
2
Store nested name specifier with RPL Elements for better error reporting
#37
atzannes
opened
11 years ago
0
Support empty nested name specifiers for region elements (e.g., ::R )
#36
atzannes
opened
11 years ago
0
Proper treatment of builtin region "Local"
#35
atzannes
opened
11 years ago
2
Support for implicit functions
#34
atzannes
opened
11 years ago
1
Ignore the effects on the regions of an object being created.
#33
atzannes
opened
11 years ago
0
Refactor various visitors to share common code.
#32
hanm
closed
11 years ago
2
Support "global" attribute declaration at AST level.
#31
hanm
closed
11 years ago
9
Support classes with multiple region parameters
#30
atzannes
opened
11 years ago
1
Support multiple region names per attribute
#29
atzannes
closed
11 years ago
0
Support multiple RPLs per attribute and force to only have a single region argument attribute per declarator
#28
atzannes
closed
11 years ago
0
Deal with C/C++ multiple declarations
#27
atzannes
opened
11 years ago
1
Implicit defaults for missing region decl, in, and arg annotations
#26
atzannes
opened
11 years ago
0
Effect summary inference within TU
#25
atzannes
opened
11 years ago
0
Do not force non-member vars (& return types) to be in Local.
#24
atzannes
closed
11 years ago
0
Support region name declarations at global scope
#23
atzannes
closed
11 years ago
0
Parse qualified RPLs (e.g, Class::Region:Class2:Region2)
#22
atzannes
closed
11 years ago
0
Detect and "understand" scoped locks
#21
atzannes
opened
11 years ago
0
Detect and "understand" tbb::parallel_for
#20
atzannes
opened
11 years ago
0
Support region name declarations at global scope
#19
atzannes
closed
11 years ago
1
Port EffectChecker to use ASaPTypes
#18
atzannes
closed
11 years ago
0
Check the effects of C++ constructor initialization lists
#17
atzannes
closed
11 years ago
0
Typecheck C++ constructor initialization lists
#16
atzannes
closed
11 years ago
0
Typeckeck MemberExpressions that are of type FunctionDecl
#15
atzannes
closed
11 years ago
1
Implement capture for ASaP Types for TypeChecking
#14
atzannes
opened
11 years ago
0
Regression: Analysis/safeparallelism/pointers_and_effects.cpp
#13
hanm
closed
11 years ago
3
Fix asp tests
#12
hanm
closed
11 years ago
1
Typecheck assignments of the form (exp1 ? x : y) = (exp2 ? w : z)
#11
atzannes
closed
11 years ago
0
Port DPJ Tutorial examples to ASaP (Sections 1-2.3)
#10
atzannes
closed
11 years ago
5
Write a Tutorial for ASaP
#9
atzannes
opened
11 years ago
0
"new" expression on the right hand side of an assignment unsoundly disables typechecking
#8
atzannes
closed
11 years ago
1
typechecking chains of assignments (probably) not working correctly
#7
atzannes
closed
11 years ago
0
Attribute output uses GNU style syntax
#6
atzannes
closed
11 years ago
4
Teach Clang to support C++11 attributes appertain to types.
#5
hanm
opened
11 years ago
0
Memory management issue of effect summaries and regions
#4
hanm
closed
11 years ago
4
Update ASAP tests to use C++11 attribute syntax
#3
hanm
closed
11 years ago
1
Coding Style Fixes
#2
hanm
closed
11 years ago
3
Use llvm::DenseMap to record effect summaries and regions in the checker
#1
hanm
closed
11 years ago
0