search

hanm / clang

Mirror of the official Clang GIT repository
Other
2 stars 0 forks source link

Support for implicit functions #34

Open atzannes opened 11 years ago

atzannes commented 11 years ago

E.g., implicit constructor, and especially the implicit copy constructor

atzannes commented 11 years ago

I found a bug in the ASTTraverser (it wasn't fully traversing the parameters of implicit functions). Michael worked on a patch for that bug. I implemented support for default annotations of implicit functions in the annotation scheme for checking accesses to globals and statics. To support them in the more general annotation scheme where parameters and return types of implicit functions can take region parameters, we need intra-procedural inference.