CbC/CbC_llvm: tools/clang/lib/Parse/ParseCbC.cpp annotate

annotate tools/clang/lib/Parse/ParseCbC.cpp @ 64:0aa33659e8e4

modified Parser::CreateUniqueIdentifierInfo(). add unique id

author	Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date	Mon, 03 Feb 2014 18:02:13 +0900
parents	0d1cf6cb7029
children	35ab9e3560be

rev	line source
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	1 #ifndef noCbC
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	2
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	3 #include "clang/Parse/Parser.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	4 #include "RAIIObjectsForParser.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	5 #include "clang/AST/ASTContext.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	6 #include "clang/Basic/Diagnostic.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	7 #include "clang/Basic/PrettyStackTrace.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	8 #include "clang/Basic/TargetInfo.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	9 #include "clang/Sema/DeclSpec.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	10 #include "clang/Sema/PrettyDeclStackTrace.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	11 #include "clang/Sema/Scope.h"
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	12 #include "clang/Sema/Lookup.h"
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	13 #include "clang/Lex/LiteralSupport.h"
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	14 #include "clang/AST/ASTConsumer.h"
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	15
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	16 #include <sstream>
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	17 #include <string>
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	18 #include "CbCHelper.h"
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	19
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	20 using namespace clang;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	21
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	22 /// The class which belong to this namespace is from other files' namespace.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	23 /// Because those namespaces are unnamed namespaces, we can't access them.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	24 /// So create this namespace and copy classes from those namespaces.
42 3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	25 namespace ExternalSpace { // from ParseExpr.cpp , ParseStmt.cpp
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	26 class CastExpressionIdValidator : public CorrectionCandidateCallback {
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	27 public:
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	28 CastExpressionIdValidator(bool AllowTypes, bool AllowNonTypes)
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	29 : AllowNonTypes(AllowNonTypes) {
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	30 WantTypeSpecifiers = AllowTypes;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	31 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	32
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	33 virtual bool ValidateCandidate(const TypoCorrection &candidate) {
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	34 NamedDecl *ND = candidate.getCorrectionDecl();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	35 if (!ND)
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	36 return candidate.isKeyword();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	37
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	38 if (isa<TypeDecl>(ND))
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	39 return WantTypeSpecifiers;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	40 return AllowNonTypes;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	41 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	42
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	43 private:
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	44 bool AllowNonTypes;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	45 };
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	46
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	47 class StatementFilterCCC : public CorrectionCandidateCallback {
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	48 public:
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	49 StatementFilterCCC(Token nextTok) : NextToken(nextTok) {
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	50 WantTypeSpecifiers = nextTok.is(tok::l_paren) \|\| nextTok.is(tok::less) \|\|
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	51 nextTok.is(tok::identifier) \|\| nextTok.is(tok::star) \|\|
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	52 nextTok.is(tok::amp) \|\| nextTok.is(tok::l_square);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	53 WantExpressionKeywords = nextTok.is(tok::l_paren) \|\|
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	54 nextTok.is(tok::identifier) \|\|
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	55 nextTok.is(tok::arrow) \|\| nextTok.is(tok::period);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	56 WantRemainingKeywords = nextTok.is(tok::l_paren) \|\| nextTok.is(tok::semi) \|\|
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	57 nextTok.is(tok::identifier) \|\|
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	58 nextTok.is(tok::l_brace);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	59 WantCXXNamedCasts = false;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	60 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	61
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	62 virtual bool ValidateCandidate(const TypoCorrection &candidate) {
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	63 if (FieldDecl *FD = candidate.getCorrectionDeclAs<FieldDecl>())
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	64 return !candidate.getCorrectionSpecifier() \|\| isa<ObjCIvarDecl>(FD);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	65 if (NextToken.is(tok::equal))
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	66 return candidate.getCorrectionDeclAs<VarDecl>();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	67 if (NextToken.is(tok::period) &&
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	68 candidate.getCorrectionDeclAs<NamespaceDecl>())
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	69 return false;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	70 return CorrectionCandidateCallback::ValidateCandidate(candidate);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	71 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	72
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	73 private:
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	74 Token NextToken;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	75 };
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	76 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	77
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	78
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	79 /// Prepare__retForGotoWithTheEnvExpr - Prepare __CbC_return, code segment for returning and some necessary statements.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	80 /// It is called when the parser find __return and statements are put into complex statement.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	81 ///
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	82 /// examples which are created:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	83 /// complex statement:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	84 /// ({
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	85 /// __code (__CbC_return)(return_type, void);
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	86 /// __CbC_return = code_segment_for_return;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	87 /// __CbC_return;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	88 /// });
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	89 /// code segment:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	90 /// __code ret(return_type retval, void *env){
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	91 /// (return_type)((struct CbC_environment )(env))->ret_p = n;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	92 /// longjmp((int)(((struct __CbC_environment )env)->env),1);
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	93 /// }
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	94 ExprResult Parser::Prepare__retForGotoWithTheEnvExpr(){
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	95 StmtResult innerRes;
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	96 SourceLocation Loc = Tok.getLocation();
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	97 IdentifierInfo *__CbC_retII = CreateIdentifierInfo(__CBC_RETURN_NAME, Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	98 IdentifierInfo *retcsII = CreateUniqueIdentifierInfo(__CBC_RET_CODE_BASE_NAME, Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	99 Create__CbC_envStruct(Loc, AS_none);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	100
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	101 Actions.ActOnStartStmtExpr();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	102 StmtResult CompoundStmtRes;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	103 ParseScope CompoundScope(this, Scope::DeclScope);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	104 PrettyStackTraceLoc CrashInfo(PP.getSourceManager(),Loc,"in compound statement ('{}')");
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	105 StmtVector CompoundStmts;
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	106
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	107 // create code segment for return to C's function
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	108 if (CreateRetCS(retcsII)) { // error check : function type is void or not.
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	109 Diag(Tok, diag::err_cannot_use_goto_with_env);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	110 return ExprError();
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	111 }
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	112
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	113 // __code (*__CbC_return)();
d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	114 innerRes = CreateDeclStmt(__CbC_retII, true, false, DeclSpec::TST___code);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	115 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	116 CompoundStmts.push_back(innerRes.release());
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	117
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	118 // __CbC_return = ret;
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	119 innerRes = CreateAssignmentStmt(__CbC_retII, retcsII);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	120 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	121 CompoundStmts.push_back(innerRes.release());
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	122
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	123 // __CbC_return;
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	124 innerRes = CreateComplexStmtRet(__CbC_retII, false);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	125 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	126 CompoundStmts.push_back(innerRes.release());
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	127
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	128 CompoundStmtRes = Actions.ActOnCompoundStmt(Loc,Loc,CompoundStmts,true);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	129 ConsumeToken(); // eat the '__return'.
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	130 return Actions.ActOnStmtExpr(Loc, CompoundStmtRes.take(), Loc);
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	131 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	132
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	133 /// Prepare__envForGotoWithTheEnvExpr - Prepare __CbC_environment, struct __CbC_env and some necessary statements.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	134 /// It is called when the parser find __environment and statements are put into complex statement.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	135 ///
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	136 /// examples which are created:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	137 /// complex statement:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	138 /// ({
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	139 /// struct __CbC_env __CbC_environment;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	140 /// jmp_buf env_buf;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	141 /// return_type retval;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	142 /// __CbC_environment.ret_p = &retval;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	143 /// __CbC_environment.env = &env_buf
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	144 /// if (setjmp(__CbC_environment.env)){
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	145 /// return retval;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	146 /// }
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	147 /// &__CbC_environment;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	148 /// });
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	149 /// struct __CbC_env:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	150 /// struct __CbC_env{
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	151 /// void ret_p,env;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	152 /// }
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	153 ExprResult Parser::Prepare__envForGotoWithTheEnvExpr(){
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	154 StmtResult innerRes;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	155 SourceLocation Loc = Tok.getLocation();
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	156 IdentifierInfo *bufII = CreateIdentifierInfo(__CBC_BUF_NAME, Loc);
0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	157 IdentifierInfo *retvalII = CreateIdentifierInfo(__CBC_RETVAL_NAME, Loc);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	158 IdentifierInfo *structII = CreateIdentifierInfo(__CBC_STRUCT_NAME, Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	159 IdentifierInfo *__CbC_envII = CreateIdentifierInfo(__CBC_ENVIRONMENT_NAME, Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	160 IdentifierInfo *envII = CreateIdentifierInfo(__CBC_STRUCT_ENV_NAME, Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	161 IdentifierInfo *ret_pII = CreateIdentifierInfo(__CBC_STRUCT_POINTER_NAME, Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	162 Create__CbC_envStruct(Loc, AS_none);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	163 Actions.ActOnStartStmtExpr();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	164 ParseScope CompoundScope(this, Scope::DeclScope);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	165 PrettyStackTraceLoc CrashInfo(PP.getSourceManager(),Loc,"in compound statement ('{}')");
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	166 StmtVector CompoundStmts;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	167
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	168 // struct __CbC_env __CbC_environment;
d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	169 innerRes = CreateDeclStmt(__CbC_envII, false, false, DeclSpec::TST_struct, structII);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	170 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	171 CompoundStmts.push_back(innerRes.release());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	172
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	173 // returnType retval;
d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	174 innerRes = CreateDeclStmt(retvalII, false, true);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	175 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	176 CompoundStmts.push_back(innerRes.release());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	177
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	178 // jmp_buf env_buf;
d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	179 innerRes = CreateDeclStmt(bufII, false, false, DeclSpec::TST_typename, CreateIdentifierInfo("jmp_buf", Loc));
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	180 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	181 CompoundStmts.push_back(innerRes.release());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	182
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	183 // __CbC_environment.ret_p = &retval;
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	184 innerRes = CreateAssignmentStmt(__CbC_envII, retvalII, true, true, ret_pII);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	185 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	186 CompoundStmts.push_back(innerRes.release());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	187
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	188 // __CbC_environment.env = env_buf;
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	189 innerRes = CreateAssignmentStmt(__CbC_envII, bufII, true, false, envII);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	190 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	191 CompoundStmts.push_back(innerRes.release());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	192
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	193 // create statements of setjmp
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	194 innerRes = CreateSjForContinuationWithTheEnv();
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	195 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	196 CompoundStmts.push_back(innerRes.release());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	197
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	198 // __CbC_environment;
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	199 innerRes = CreateComplexStmtRet(__CbC_envII, true);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	200 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	201 CompoundStmts.push_back(innerRes.release());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	202
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	203 StmtResult CompoundStmtRes = Actions.ActOnCompoundStmt(Loc,Loc,CompoundStmts,true);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	204 ConsumeToken(); // eat the '__environment'.
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	205 return Actions.ActOnStmtExpr(Loc, CompoundStmtRes.take(), Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	206 }
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	207
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	208 /// CreateAssignmentStmt - Create assignment statement such as "aaa = bbb;", "auaua = llll;", etc.
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	209 /// It can create 4 kinds of statement.
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	210 /// 1. common assignment statement:
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	211 /// variable '=' variable ';'
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	212 /// 2. LHS variable is member of struct:
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	213 /// structVar '.' member '=' variable ';'
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	214 /// 3. RHS variable is address of operand:
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	215 /// variable '=' '&' variable ';'
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	216 /// 4. 2+3:
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	217 /// structVar '.' member '=' '&' variable ';'
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	218 StmtResult Parser::CreateAssignmentStmt(IdentifierInfo* LHSII, IdentifierInfo* RHSII, bool LHSisMemberAccess, bool RHShasAmp,
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	219 IdentifierInfo* extraLHSII, IdentifierInfo* extraRHSII){
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	220 ExprResult Expr,LHS,RHS;
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	221
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	222 Token Next,LHSToken;
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	223 SourceLocation Loc = Tok.getLocation();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	224 CXXScopeSpec SS;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	225 Next.startToken();
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	226 Next.setKind(tok::period);
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	227 LHSToken.startToken();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	228 LHSToken.setLocation(Loc);
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	229 LHSToken.setIdentifierInfo(LHSII);
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	230 LHSToken.setKind(tok::annot_primary_expr);
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	231 ExternalSpace::StatementFilterCCC Validator(Next);
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	232 Sema::NameClassification Classification = Actions.ClassifyName(getCurScope(), SS, LHSII, Loc, Next, false, SS.isEmpty() ? &Validator : 0);
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	233 setExprAnnotation(LHSToken, Classification.getExpression());
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	234 LHSToken.setAnnotationEndLoc(Loc);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	235 PP.AnnotateCachedTokens(LHSToken);
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	236
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	237 LHS = getExprAnnotation(LHSToken);
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	238
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	239 if (LHSisMemberAccess)
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	240 LHS = LookupMemberAndBuildExpr(extraLHSII, LHS.take(), false);
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	241
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	242 RHS = LookupNameAndBuildExpr(RHSII);
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	243 if (RHShasAmp)
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	244 RHS = Actions.ActOnUnaryOp(getCurScope(), Loc, tok::amp, RHS.get());
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	245
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	246 Expr = Actions.ActOnBinOp(getCurScope(), Loc,tok::equal,LHS.take(),RHS.take());
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	247
7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	248 return Actions.ActOnExprStmt(Expr);
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	249 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	250
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	251 /// CreateDeclStmt - Create declaration statement such as "int aaa;".
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	252 /// If isRetCS is true, create code segment for return to C's function. And Name is name of code segment.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	253 /// If copyType is true, type of variable is copied from callee.
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	254 StmtResult Parser::CreateDeclStmt(IdentifierInfo II, bool isRetCS, bool copyType, DeclSpec::TST valueType, IdentifierInfo Name){
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	255 SourceLocation Loc = Tok.getLocation();
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	256 DeclGroupPtrTy DeclGPT;
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	257 ParsingDeclSpec DS(*this);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	258 DeclSpec *DSp;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	259 DSp = &DS;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	260
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	261 setTST(&DS, valueType, Name);
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	262 ParsingDeclarator D(*this, DS, static_cast<Declarator::TheContext>(Declarator::BlockContext));
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	263 D.SetIdentifier(II, Loc);
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	264
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	265 if (isRetCS) {
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	266 D.setEllipsisLoc(SourceLocation());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	267 bool hadGroupingParens = D.hasGroupingParens();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	268 D.setGroupingParens(true);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	269 D.SetRangeEnd(Loc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	270 DeclSpec FDS(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	271 DS.Finish(Diags, PP);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	272
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	273 D.AddTypeInfo(DeclaratorChunk::getPointer(FDS.getTypeQualifiers(), Loc, FDS.getConstSpecLoc(), FDS.getVolatileSpecLoc(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	274 FDS.getRestrictSpecLoc()), FDS.getAttributes(), SourceLocation());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	275 D.setGroupingParens(hadGroupingParens);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	276
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	277
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	278 ParseScope PrototypeScope(this,Scope::FunctionPrototypeScope\|Scope::DeclScope\|
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	279 (D.isFunctionDeclaratorAFunctionDeclaration() ? Scope::FunctionDeclarationScope : 0));
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	280 bool HasProto = false;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	281 SmallVector<DeclaratorChunk::ParamInfo, 16> ParamInfo;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	282 SourceLocation EllipsisLoc, RefQualifierLoc, ConstQualifierLoc, VolatileQualifierLoc;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	283 DeclSpec FPDS(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	284 bool RefQualifierIsLValueRef = true;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	285 ExceptionSpecificationType ESpecType = EST_None;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	286 SourceRange ESpecRange;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	287 SmallVector<ParsedType, 2> DynamicExceptions;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	288 SmallVector<SourceRange, 2> DynamicExceptionRanges;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	289 ExprResult NoexceptExpr;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	290 ParsedAttributes FnAttrs(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	291 TypeResult TrailingReturnType;
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	292
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	293 ParmVarDecl *Param;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	294 FunctionDecl *CurFunctionDecl = Actions.getCurFunctionDecl();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	295 QualType CurFuncResQT = CurFunctionDecl->getResultType();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	296 TypeSourceInfo *CurFuncTI = Actions.Context.CreateTypeSourceInfo(CurFuncResQT);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	297
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	298 Param = CreateParam();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	299 Param->setTypeSourceInfo(CurFuncTI);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	300 Param->setType(CurFuncResQT);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	301 ParamInfo.push_back(DeclaratorChunk::ParamInfo(0, Loc, Param, 0));
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	302 Param = CreateParam(0, 1, DeclSpec::TST_void);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	303 ParamInfo.push_back(DeclaratorChunk::ParamInfo(0, Loc, Param, 0));
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	304 HasProto = true;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	305
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	306 D.AddTypeInfo(DeclaratorChunk::getFunction(HasProto,false,Loc,ParamInfo.data(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	307 ParamInfo.size(),EllipsisLoc, Loc, FPDS.getTypeQualifiers(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	308 RefQualifierIsLValueRef,RefQualifierLoc, ConstQualifierLoc,
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	309 VolatileQualifierLoc,SourceLocation(),ESpecType, ESpecRange.getBegin(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	310 DynamicExceptions.data(),DynamicExceptionRanges.data(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	311 DynamicExceptions.size(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	312 NoexceptExpr.isUsable() ? NoexceptExpr.get() : 0,Loc, Loc, D,TrailingReturnType),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	313 FnAttrs, Loc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	314 PrototypeScope.Exit();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	315 DSp = &FDS;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	316 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	317
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	318 SmallVector<Decl *, 8> DeclsInGroup;
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	319 Decl *FirstDecl;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	320
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	321 if (copyType)
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	322 FirstDecl = HandleDeclAndChangeDeclType(D);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	323 else
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	324 FirstDecl = ParseDeclarationAfterDeclaratorAndAttributes(D);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	325
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	326 D.complete(FirstDecl);
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	327 DeclsInGroup.push_back(FirstDecl);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	328 DeclGPT = Actions.FinalizeDeclaratorGroup(getCurScope(), *DSp, DeclsInGroup);
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	329 return Actions.ActOnDeclStmt(DeclGPT, Loc, Loc);
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	330 }
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	331
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	332
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	333 /// handleDeclAndChangeDeclType - This function imitated Parser::ParseDeclarationAfterDeclaratorAndAttributes() and Sema::ActOnDeclarator().
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	334 /// The origins get Type from Declarator but this function get Type from current function.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	335 /// It is useful for CbC to create statements for the continuation with the environments.
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	336 Decl* Parser::HandleDeclAndChangeDeclType(Declarator &D) {
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	337 D.setFunctionDefinitionKind(FDK_Declaration);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	338 DeclarationNameInfo NameInfo = Actions.GetNameForDeclarator(D);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	339 DeclContext *DC = Actions.CurContext;
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	340 QualType R = Actions.getCurFunctionDecl()->getResultType(); // copy a type
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	341 TypeSourceInfo *TInfo = Actions.Context.CreateTypeSourceInfo(R); // copy a type infomation
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	342 Scope *S = getCurScope();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	343 LookupResult Previous(Actions, NameInfo, Actions.LookupOrdinaryName, Actions.ForRedeclaration);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	344 bool IsLinkageLookup = false;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	345 bool CreateBuiltins = false;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	346
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	347 // If the declaration we're planning to build will be a function
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	348 // or object with linkage, then look for another declaration with
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	349 // linkage (C99 6.2.2p4-5 and C++ [basic.link]p6).
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	350 //
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	351 // If the declaration we're planning to build will be declared with
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	352 // external linkage in the translation unit, create any builtin with
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	353 // the same name.
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	354 if (R->isFunctionType()) {
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	355 IsLinkageLookup = true;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	356 CreateBuiltins =
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	357 Actions.CurContext->getEnclosingNamespaceContext()->isTranslationUnit();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	358 } else if (Actions.CurContext->getRedeclContext()->isTranslationUnit())
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	359 CreateBuiltins = true;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	360
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	361 if (IsLinkageLookup)
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	362 Previous.clear(Actions.LookupRedeclarationWithLinkage);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	363
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	364 Actions.LookupName(Previous, S, CreateBuiltins);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	365
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	366 // In C++, the previous declaration we find might be a tag type
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	367 // (class or enum). In this case, the new declaration will hide the
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	368 // tag type. Note that this does does not apply if we're declaring a
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	369 // typedef (C++ [dcl.typedef]p4).
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	370 if (Previous.isSingleTagDecl())
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	371 Previous.clear();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	372 NamedDecl *New;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	373 bool AddToScope = true;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	374 if (R->isFunctionType()) {
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	375 New = Actions.ActOnFunctionDeclarator(S, D, DC, TInfo, Previous,
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	376 MultiTemplateParamsArg(), AddToScope);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	377 } else {
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	378 New = Actions.ActOnVariableDeclarator(S, D, DC, TInfo, Previous,
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	379 MultiTemplateParamsArg(), AddToScope);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	380 }
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	381
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	382 if (New->getDeclName() && AddToScope) {
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	383 // Only make a locally-scoped extern declaration visible if it is the first
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	384 // declaration of this entity. Qualified lookup for such an entity should
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	385 // only find this declaration if there is no visible declaration of it.
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	386 bool AddToContext = !D.isRedeclaration() \|\| !New->isLocalExternDecl();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	387 Actions.PushOnScopeChains(New, S, AddToContext);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	388 if (!AddToContext)
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	389 Actions.CurContext->addHiddenDecl(New);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	390 }
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	391
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	392 return New;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	393 }
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	394
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	395
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	396 /// CreateSjForContinuationWithEnv - Create statements of setjmp for continuation with the environment.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	397 /// code example:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	398 /// if (setjmp(__CbC_environment.env)){
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	399 /// return retval;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	400 /// }
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	401 StmtResult Parser::CreateSjForContinuationWithTheEnv(){
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	402 SourceLocation Loc = Tok.getLocation();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	403 StmtResult IfRes;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	404 ParseScope IfScope(this, Scope::DeclScope \| Scope::ControlScope, true/* C99 or CXX */);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	405 ExprResult CondExp;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	406 Decl *CondVar = 0;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	407
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	408 CondExp = LookupNameAndBuildExpr(CreateIdentifierInfo("setjmp", Loc));
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	409 ExprVector ArgExprs;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	410 ExprResult __envExprRes = CondExp.get();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	411
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	412 __envExprRes = LookupNameAndBuildExpr(CreateIdentifierInfo(__CBC_ENVIRONMENT_NAME, Loc));
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	413 __envExprRes = LookupMemberAndBuildExpr(CreateIdentifierInfo(__CBC_STRUCT_ENV_NAME, Loc), __envExprRes.take(), false);
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	414
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	415 ArgExprs.push_back(__envExprRes.release());
42 3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	416 CondExp = Actions.ActOnCallExpr(getCurScope(), CondExp.take(), Loc, ArgExprs, Loc, 0);
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	417 CondExp = Actions.ActOnBooleanCondition(getCurScope(), Loc, CondExp.get());
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	418
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	419 FullExprArg FullCondExp(Actions.MakeFullExpr(CondExp.get(), Loc));
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	420 ParseScope InnerScope(this, Scope::DeclScope,false);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	421 SourceLocation InnerStatementTrailingElseLoc;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	422
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	423 StmtResult StmtRes;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	424 ParseScope CompoundScope(this, Scope::DeclScope);
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	425 PrettyStackTraceLoc CrashInfo(PP.getSourceManager(),Loc,"in create setjmp statement for CbC");
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	426 StmtVector innerStmts;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	427 StmtResult innerStmtRes;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	428 ExprResult innerExprRes;
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	429 innerExprRes = LookupNameAndBuildExpr(CreateIdentifierInfo(__CBC_RETVAL_NAME, Loc));
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	430 innerStmtRes = Actions.ActOnReturnStmt(Loc, innerExprRes.take());
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	431 if (innerStmtRes.isUsable())
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	432 innerStmts.push_back(innerStmtRes.release());
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	433 StmtRes = Actions.ActOnCompoundStmt(Loc, Loc,innerStmts, false);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	434 StmtResult ThenStmt(StmtRes);
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	435 InnerScope.Exit();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	436 IfScope.Exit();
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	437 StmtResult ElseStmt;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	438 IfRes = Actions.ActOnIfStmt(Loc, FullCondExp, CondVar, ThenStmt.get(),Loc, ElseStmt.get());
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	439 return IfRes;
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	440 }
42 3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	441
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	442
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	443 /// LookupNameAndBuildExpr - Look up name, create ExprResult and return it.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	444 ExprResult Parser::LookupNameAndBuildExpr(IdentifierInfo *II, bool IsAddressOfOperand){
42 3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	445 SourceLocation Loc = Tok.getLocation();
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	446 UnqualifiedId Name;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	447 CXXScopeSpec SS;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	448 SourceLocation TemplateKWLoc;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	449 ExternalSpace::CastExpressionIdValidator Validator(false,true);
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	450 Name.setIdentifier(II, Loc);
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	451 return Actions.ActOnIdExpression(getCurScope(), SS, TemplateKWLoc, Name, false, IsAddressOfOperand, &Validator);
42 3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	452 }
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	453
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	454 /// LookupNameAndBuildExpr - Look up member name, create ExprResult and return it.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	455 /// If IsArrow is true, the name is accessed by arrow operand.
42 3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	456 ExprResult Parser::LookupMemberAndBuildExpr(IdentifierInfo II, Expr Base, bool IsArrow){
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	457 SourceLocation Loc = Tok.getLocation();
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	458 ExprResult Res;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	459 CXXScopeSpec SS;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	460 UnqualifiedId Name;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	461 SourceLocation TemplateKWLoc;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	462 Name.setIdentifier(II,Loc);
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	463 TemplateArgumentListInfo TemplateArgsBuffer;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	464 DeclarationNameInfo NameInfo;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	465 const TemplateArgumentListInfo *TemplateArgs;
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	466 Actions.DecomposeUnqualifiedId(Name, TemplateArgsBuffer, NameInfo, TemplateArgs);
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	467 Res = Actions.MaybeConvertParenListExprToParenExpr(getCurScope(), Base);
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	468 Base = Res.take();
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	469 LookupResult R(Actions, NameInfo, Actions.LookupMemberName);
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	470 ExprResult BaseResult = Actions.Owned(Base);
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	471 Actions.LookupMemberExpr(R, BaseResult, IsArrow, Loc, SS, 0, TemplateArgs != 0);
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	472 Base = BaseResult.take();
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	473 Sema::ActOnMemberAccessExtraArgs ExtraArgs = {getCurScope(), Name, 0, false};
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	474 return Actions.BuildMemberReferenceExpr(Base, Base->getType(), Loc, IsArrow, SS, TemplateKWLoc, 0, R, TemplateArgs,false, &ExtraArgs);
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	475
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	476 }
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	477
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	478
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	479 /// Create__CbC_envStruct - This method create "struct __CbC_env" which is used to continuation with environment.
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	480 /// If the __CbC_env has been already defined, it doesn't create __CbC_env again.
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	481 /// The example of struct which is created :
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	482 /// struct __CbC_env{
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	483 /// void ret_p,env;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	484 /// };
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	485 void Parser::Create__CbC_envStruct(SourceLocation Loc, AccessSpecifier AS) {
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	486
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	487 IdentifierInfo *Name = CreateIdentifierInfo(__CBC_STRUCT_NAME, Loc);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	488 // Check previous definition. If the __CbC_env has been already defined, we have not to create again.
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	489 LookupResult Previous(Actions, Name, Loc, Actions.LookupTagName, Actions.ForRedeclaration);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	490 if(Actions.LookupName(Previous, getCurScope()))
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	491 return;
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	492
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	493 Scope *SavedScope = getCurScope();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	494 DeclContext *SavedContext = Actions.CurContext;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	495 sema::FunctionScopeInfo *SavedFSI = Actions.FunctionScopes.pop_back_val();
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	496
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	497 Actions.CurContext = static_cast<DeclContext *>(Actions.Context.getTranslationUnitDecl());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	498 Scope *TopScope = getCurScope();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	499 while(TopScope->getParent() != NULL)
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	500 TopScope = TopScope->getParent();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	501 Actions.CurScope = TopScope;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	502
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	503 ParsingDeclSpec SDS(*this);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	504 SDS.SetRangeStart(Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	505 SDS.SetRangeEnd(Loc);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	506 DeclSpec::TST TagType = DeclSpec::TST_struct;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	507 DeclResult TagOrTempResult = true;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	508 bool Owned = false;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	509 bool IsDependent = false;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	510 ParsedAttributesWithRange attrs(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	511 MultiTemplateParamsArg TParams;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	512
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	513 TagOrTempResult = Actions.ActOnTag(getCurScope(), TagType, Sema::TUK_Definition, Loc,
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	514 SDS.getTypeSpecScope(), Name, Loc, attrs.getList(), AS,
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	515 SDS.getModulePrivateSpecLoc(), TParams, Owned, IsDependent,
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	516 SourceLocation(), false, clang::TypeResult());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	517
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	518 Decl *TagDecl = TagOrTempResult.get();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	519 PrettyDeclStackTraceEntry CrashInfo(Actions, TagDecl, Loc, "parsing struct/union body");
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	520 ParseScope StructScope(this, Scope::ClassScope\|Scope::DeclScope);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	521 Actions.ActOnTagStartDefinition(getCurScope(), TagDecl);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	522 SmallVector<Decl *, 32> FieldDecls;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	523
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	524 const char *PrevSpec = 0;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	525 unsigned DiagID = 0;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	526
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	527 FieldDecls.push_back(Create__CbC_envBody(TagDecl, DeclSpec::TST_void, Loc, __CBC_STRUCT_POINTER_NAME));
c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	528 FieldDecls.push_back(Create__CbC_envBody(TagDecl, DeclSpec::TST_int, Loc, __CBC_STRUCT_ENV_NAME));
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	529
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	530 Actions.ActOnFields(getCurScope(),Loc, TagDecl, FieldDecls,Loc, Loc,attrs.getList());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	531 StructScope.Exit();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	532 Actions.ActOnTagFinishDefinition(getCurScope(), TagDecl,Loc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	533 bool Result = SDS.SetTypeSpecType(TagType, Loc,Loc.isValid() ? Loc : Loc, PrevSpec, DiagID, TagOrTempResult.get(), Owned);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	534
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	535 if (Result){
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	536 Diag(Loc, DiagID) << PrevSpec;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	537 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	538
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	539 SDS.Finish(Diags,PP);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	540 Decl *TheDecl = Actions.ParsedFreeStandingDeclSpec(getCurScope(), AS, SDS);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	541 SDS.complete(TheDecl);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	542 Actions.ConvertDeclToDeclGroup(TheDecl);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	543
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	544 Actions.CurScope = SavedScope;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	545 Actions.CurContext = SavedContext;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	546 Actions.FunctionScopes.push_back(SavedFSI);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	547 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	548
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	549 /// Create__CbC_envBody - Create void type pointer ret_p and env which are member of __CbC_env.
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	550 Decl* Parser::Create__CbC_envBody(Decl* TagDecl, DeclSpec::TST T, SourceLocation Loc, const char* Name){
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	551 ParsingDeclSpec PDS(*this);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	552 setTST(&PDS, T);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	553 SourceLocation CommaLoc;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	554 ParsingFieldDeclarator DeclaratorInfo(*this, PDS);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	555 DeclaratorInfo.D.setCommaLoc(CommaLoc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	556 DeclaratorInfo.D.SetRangeEnd(Loc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	557 DeclSpec DS(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	558 DS.Finish(Diags,PP);
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	559 DeclaratorInfo.D.SetIdentifier(CreateIdentifierInfo(Name, Loc),Loc);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	560
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	561 DeclaratorInfo.D.AddTypeInfo(DeclaratorChunk::getPointer(DS.getTypeQualifiers(), Loc,DS.getConstSpecLoc(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	562 DS.getVolatileSpecLoc(),DS.getRestrictSpecLoc()),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	563 DS.getAttributes(),SourceLocation());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	564 Decl *Field = Actions.ActOnField(getCurScope(), TagDecl,
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	565 DeclaratorInfo.D.getDeclSpec().getSourceRange().getBegin(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	566 DeclaratorInfo.D, DeclaratorInfo.BitfieldSize);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	567 DeclaratorInfo.complete(Field);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	568 return Field;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	569 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	570
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	571 /// CreateIdentifierInfo - Create IdentifierInfo from char pointer.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	572 /// usage :
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	573 /// IdentifierInfo *II = CreateIdentifierInfo(IIName, Location);
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	574 IdentifierInfo* Parser::CreateIdentifierInfo(const char* Name, SourceLocation Loc) {
c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	575 int length = strlen(Name);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	576 Token TokenForII;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	577 TokenForII.startToken();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	578 TokenForII.setLocation(Loc);
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	579 TokenForII.setLength(length);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	580 TokenForII.setKind(tok::raw_identifier);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	581 TokenForII.setRawIdentifierData(Name);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	582 IdentifierInfo *II;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	583 II = PP.getIdentifierInfo(StringRef(TokenForII.getRawIdentifierData(),TokenForII.getLength()));
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	584 TokenForII.setIdentifierInfo(II);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	585 TokenForII.setKind(II->getTokenID());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	586 return II;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	587 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	588
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	589 /// CreateUniqueIdentifierInfo - Create unique IdentifierInfo.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	590 /// IdentifierInfos have unique name which were created by this function.
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	591 /// Naming conventions :
0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	592 /// current 'function name' '..' 'variable name' 'uniqueID'
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	593 /// For example, if current function's name is 'main' and variable name is 'auaua', IdentifierInfo's name is 'main..auaua'.
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	594 IdentifierInfo* Parser::CreateUniqueIdentifierInfo(const char* Name, SourceLocation Loc){
c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	595 IdentifierInfo *II;
c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	596 std::ostringstream os;
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	597
0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	598 os << curFuncName << ".." /* separator */ << Name << UniqueId;
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	599 II = CreateIdentifierInfo(os.str().c_str(), Loc);
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	600 UniqueId++; // Modify the unique ID.
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	601 return II;
c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	602 }
c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	603
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	604
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	605 /// CreateRetCS - Create code segment which is used for continuation with the environment.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	606 /// create these codes:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	607 /// __code ret(return_type retval, void *env){
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	608 /// (return_type)((struct CbC_environment )(env))->ret_p = n;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	609 /// longjmp((int)(((struct __CbC_environment )env)->env),1);
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	610 /// }
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	611 bool Parser::CreateRetCS(IdentifierInfo *csName){
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	612 FunctionDecl *CurFunctionDecl = Actions.getCurFunctionDecl();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	613 QualType CurFuncResQT = CurFunctionDecl->getResultType();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	614 if (CurFuncResQT.getTypePtr()->isVoidType()) // this function cannot use continuation with the environment.
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	615 return true;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	616
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	617 Scope *SavedScope = getCurScope();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	618 DeclContext *SavedContext = Actions.CurContext;
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	619 TypeSourceInfo *CurFuncTI = Actions.Context.CreateTypeSourceInfo(CurFuncResQT);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	620 sema::FunctionScopeInfo *SavedFSI = Actions.FunctionScopes.pop_back_val();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	621
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	622 Actions.CurContext = static_cast<DeclContext *>(Actions.Context.getTranslationUnitDecl());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	623 Scope *TopScope = getCurScope();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	624 while(TopScope->getParent() != NULL)
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	625 TopScope = TopScope->getParent();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	626 Actions.CurScope = TopScope;
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	627
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	628 DeclGroupPtrTy returnDecl = DeclGroupPtrTy();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	629 SourceLocation Loc = Tok.getLocation();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	630 ParsingDeclSpec PDS(*this);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	631 setTST(&PDS, DeclSpec::TST___code);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	632 ParsingDeclarator D(*this, PDS, static_cast<Declarator::TheContext>(Declarator::FileContext));
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	633 D.SetIdentifier(csName, Loc);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	634 ParseScope PrototypeScope(this,Scope::FunctionPrototypeScope\|Scope::DeclScope\|Scope::FunctionDeclarationScope);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	635 bool IsAmbiguous = false;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	636 bool HasProto = true;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	637 SmallVector<DeclaratorChunk::ParamInfo, 16> ParamInfo;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	638 SourceLocation EllipsisLoc, RefQualifierLoc, ConstQualifierLoc, VolatileQualifierLoc;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	639 DeclSpec FDS(AttrFactory);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	640 bool RefQualifierIsLValueRef = true;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	641 ExceptionSpecificationType ESpecType = EST_None;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	642 SourceRange ESpecRange;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	643 SmallVector<ParsedType, 2> DynamicExceptions;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	644 SmallVector<SourceRange, 2> DynamicExceptionRanges;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	645 ExprResult NoexceptExpr;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	646 ParsedAttributes FnAttrs(AttrFactory);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	647 TypeResult TrailingReturnType;
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	648 ParmVarDecl *Param;
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	649
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	650 IdentifierInfo *retvalII = CreateIdentifierInfo(__CBC_RETVAL_NAME, Loc);
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	651 Param = CreateParam(retvalII);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	652 Param->setTypeSourceInfo(CurFuncTI);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	653 Param->setType(CurFuncResQT);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	654
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	655 ParamInfo.push_back(DeclaratorChunk::ParamInfo(retvalII, Loc, Param, 0));
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	656 IdentifierInfo *envII = CreateIdentifierInfo(__CBC_STRUCT_ENV_NAME, Loc);
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	657 Param = CreateParam(envII, 1, DeclSpec::TST_void);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	658 ParamInfo.push_back(DeclaratorChunk::ParamInfo(envII, Loc, Param, 0));
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	659
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	660 D.AddTypeInfo(DeclaratorChunk::getFunction(HasProto, IsAmbiguous, Loc, ParamInfo.data(), ParamInfo.size(), EllipsisLoc, Loc,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	661 FDS.getTypeQualifiers(), RefQualifierIsLValueRef, RefQualifierLoc, ConstQualifierLoc,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	662 VolatileQualifierLoc, SourceLocation(), ESpecType, ESpecRange.getBegin(),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	663 DynamicExceptions.data(), DynamicExceptionRanges.data(), DynamicExceptions.size(),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	664 NoexceptExpr.isUsable() ? NoexceptExpr.get() : 0,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	665 Loc, Loc, D, TrailingReturnType), FnAttrs, Loc);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	666 PrototypeScope.Exit();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	667
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	668 Decl *TheDecl;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	669 ParseScope BodyScope(this, Scope::FnScope\|Scope::DeclScope);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	670 Decl *BodyRes = Actions.ActOnStartOfFunctionDef(getCurScope(), D);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	671
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	672 D.complete(BodyRes);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	673 D.getMutableDeclSpec().abort();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	674 Actions.ActOnDefaultCtorInitializers(BodyRes);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	675 StmtResult FnBody;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	676 StmtVector FnStmts;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	677 StmtResult innerR;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	678 ExprResult retvalAssginmentExpr,LHS;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	679 ExprVector ArgExprs;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	680 CommaLocsTy CommaLocs;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	681 DeclSpec envDS(AttrFactory);
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	682 IdentifierInfo *structName = CreateIdentifierInfo(__CBC_STRUCT_NAME, Loc);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	683 setTST(&envDS, DeclSpec::TST_struct, structName);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	684
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	685 Declarator envDInfo(envDS, Declarator::TypeNameContext);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	686 envDInfo.SetRangeEnd(Loc);
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	687 DeclSpec starDS(AttrFactory);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	688 starDS.Finish(Diags, PP);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	689 envDInfo.SetIdentifier(0,Loc);
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	690 envDInfo.AddTypeInfo(DeclaratorChunk::getPointer(starDS.getTypeQualifiers(), Loc,
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	691 starDS.getConstSpecLoc(),
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	692 starDS.getVolatileSpecLoc(),
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	693 starDS.getRestrictSpecLoc()),
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	694 starDS.getAttributes(),
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	695 SourceLocation());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	696 ExprVector ArgExprs2;
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	697 LHS = LookupNameAndBuildExpr(envII);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	698 ArgExprs2.push_back(LHS.release());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	699 LHS = Actions.ActOnParenListExpr(Loc, Loc, ArgExprs2);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	700 Expr *envCastExpr = LHS.take();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	701 TypeSourceInfo *castTInfo = Actions.GetTypeForDeclaratorCast(envDInfo, envCastExpr->getType());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	702 LHS = Actions.MaybeConvertParenListExprToParenExpr(getCurScope(), envCastExpr);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	703 envCastExpr = LHS.take();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	704 LHS = Actions.BuildCStyleCastExpr(Loc, castTInfo, Loc, envCastExpr);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	705 ArgExprs.push_back(LHS.release());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	706 LHS = Actions.ActOnParenListExpr(Loc, Loc, ArgExprs);
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	707 LHS = LookupMemberAndBuildExpr(CreateIdentifierInfo(__CBC_STRUCT_POINTER_NAME, Loc),
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	708 LHS.take(), true);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	709 Expr *ret_pCastExpr = LHS.take();
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	710 DeclarationName noValDeclName;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	711 TypeSourceInfo *CurFuncTypesPointerTI = Actions.Context.CreateTypeSourceInfo(Actions.BuildPointerType(CurFuncResQT, Loc, noValDeclName));
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	712 LHS = Actions.BuildCStyleCastExpr(Loc, CurFuncTypesPointerTI, Loc, ret_pCastExpr);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	713 LHS = Actions.ActOnUnaryOp(getCurScope(), Loc, tok::star, LHS.get());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	714 ExprResult RHS;
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	715 RHS = LookupNameAndBuildExpr(retvalII);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	716
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	717 retvalAssginmentExpr = Actions.ActOnBinOp(getCurScope(), Loc, tok::equal, LHS.take(), RHS.take());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	718 innerR = Actions.ActOnExprStmt(retvalAssginmentExpr);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	719 if(innerR.isUsable())
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	720 FnStmts.push_back(innerR.release());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	721
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	722 ExprResult ljExpr,ljLHS;
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	723 ljExpr = IIToExpr(CreateIdentifierInfo("longjmp", Loc), tok::l_paren);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	724 ExprVector ljArgExprs;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	725 DeclSpec ljDS(AttrFactory);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	726 setTST(&ljDS, DeclSpec::TST_struct, structName);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	727
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	728 Declarator ljD(ljDS, Declarator::TypeNameContext);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	729 ljD.SetRangeEnd(Loc);
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	730 DeclSpec starDS2(AttrFactory);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	731 starDS2.Finish(Diags, PP);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	732 ljD.ExtendWithDeclSpec(starDS2);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	733 ljD.SetIdentifier(0, Loc);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	734 ljD.AddTypeInfo(DeclaratorChunk::getPointer(ljDS.getTypeQualifiers(), Loc,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	735 ljDS.getConstSpecLoc(),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	736 ljDS.getVolatileSpecLoc(),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	737 ljDS.getRestrictSpecLoc()),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	738 ljDS.getAttributes(),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	739 SourceLocation());
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	740 ljLHS = LookupNameAndBuildExpr(envII);
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	741 Expr *ljCastExpr = ljLHS.take();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	742 TypeSourceInfo *ljCastTInfo = Actions.GetTypeForDeclaratorCast(ljD, ljCastExpr->getType());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	743 ljLHS = Actions.BuildCStyleCastExpr(Loc, ljCastTInfo, Loc, ljCastExpr);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	744 ljLHS = Actions.ActOnParenExpr(Loc, Loc, ljLHS.take());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	745 ljLHS = LookupMemberAndBuildExpr(envII, ljLHS.take(), true);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	746 ljLHS = Actions.ActOnParenExpr(Loc, Loc, ljLHS.take());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	747 ljArgExprs.push_back(ljLHS.release());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	748 CommaLocs.push_back(Loc);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	749 ljLHS = Actions.ActOnIntegerConstant(Loc, 1 /* return value for setjmp */);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	750 ljArgExprs.push_back(ljLHS.release());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	751 ljExpr = Actions.ActOnCallExpr(getCurScope(), ljExpr.take(), Loc, ljArgExprs, Loc, 0);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	752 innerR = Actions.ActOnExprStmt(ljExpr);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	753 if(innerR.isUsable())
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	754 FnStmts.push_back(innerR.release());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	755 FnBody = Actions.ActOnCompoundStmt(Loc, Loc, FnStmts, false);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	756 BodyScope.Exit();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	757 TheDecl = Actions.ActOnFinishFunctionBody(BodyRes, FnBody.take());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	758 returnDecl = Actions.ConvertDeclToDeclGroup(TheDecl);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	759 (&Actions.getASTConsumer())->HandleTopLevelDecl(returnDecl.get());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	760 Actions.CurScope = SavedScope;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	761 Actions.CurContext = SavedContext;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	762 Actions.FunctionScopes.push_back(SavedFSI);
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	763 return false;
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	764 }
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	765
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	766 /// IIToExpr - Create ExprResult from IdentifierInfo.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	767 /// It is used when II is a not primary expression such as not primary types, a function's name, etc.
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	768 ExprResult Parser::IIToExpr(IdentifierInfo *II, tok::TokenKind Kind){
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	769 SourceLocation Loc = Tok.getLocation();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	770 Token Next,IITok;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	771 Next.setKind(Kind);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	772 ExternalSpace::StatementFilterCCC CCCValidator(Next);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	773 CXXScopeSpec SS;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	774 Sema::NameClassification Classification = Actions.ClassifyName(getCurScope(), SS, II, Loc, Next, false, &CCCValidator);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	775 IITok.startToken();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	776 IITok.setLocation(Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	777 IITok.setIdentifierInfo(II);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	778 IITok.setKind(tok::annot_primary_expr);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	779 setExprAnnotation(IITok, Classification.getExpression());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	780 IITok.setAnnotationEndLoc(Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	781 PP.AnnotateCachedTokens(IITok);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	782 return getExprAnnotation(IITok);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	783 }
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	784
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	785 /// CreateComplexStmtRet - Create return value for complex statements.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	786 ///
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	787 /// ({ /* some statements */
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	788 /// return_value; )};
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	789 /// ^^^^^^^^^^^^^ Create it.
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	790 StmtResult Parser::CreateComplexStmtRet(IdentifierInfo *II, bool IsAddressOfOperand){
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	791 ExprResult ER;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	792 if (IsAddressOfOperand) {
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	793 ER = LookupNameAndBuildExpr(II, true);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	794 ER = Actions.ActOnUnaryOp(getCurScope(), Tok.getLocation(), tok::amp, ER.get());
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	795 }
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	796 else
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	797 ER = IIToExpr(II,tok::semi);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	798 return Actions.ActOnExprStmt(ER);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	799 }
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	800
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	801 /// CreateParam - Create paramator for functions.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	802 ///
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	803 /// int funcname(int aua) {
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	804 /// ^^^^^^^ Create it.
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	805 ParmVarDecl* Parser::CreateParam(IdentifierInfo *II, int pointerNum, DeclSpec::TST T){
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	806 SourceLocation Loc = Tok.getLocation();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	807 DeclSpec DS(AttrFactory);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	808 setTST(&DS, T);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	809 Declarator ParamDeclarator(DS, Declarator::PrototypeContext);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	810 ParamDeclarator.SetIdentifier(II, Loc);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	811 for(int i = 0;i<pointerNum; i++){
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	812 DeclSpec pointerDS(AttrFactory);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	813 pointerDS.Finish(Diags, PP);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	814 ParamDeclarator.AddTypeInfo(DeclaratorChunk::getPointer(pointerDS.getTypeQualifiers(), Loc,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	815 pointerDS.getConstSpecLoc(),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	816 pointerDS.getVolatileSpecLoc(),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	817 pointerDS.getRestrictSpecLoc()),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	818 pointerDS.getAttributes(),SourceLocation());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	819 }
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	820 ParmVarDecl *Param = dyn_cast<ParmVarDecl>(Actions.ActOnParamDeclarator(getCurScope(), ParamDeclarator));
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	821 return Param;
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	822
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	823 }
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	824
63 0d1cf6cb7029 add comments for setTST Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 62 diff changeset	825 /// setTST - set TypeSpecifierType(TST) DeclSpec.
0d1cf6cb7029 add comments for setTST Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 62 diff changeset	826 /// TST is specifiers the kind of type such as int, double, char, etc.
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	827 void Parser::setTST(DeclSpec DS, DeclSpec::TST T, IdentifierInfo Name){
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	828 SourceLocation Loc = Tok.getLocation();
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	829 bool isInvalid = false;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	830 const char *PrevSpec = 0;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	831 unsigned DiagID = 0;
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	832 CXXScopeSpec SS;
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	833 DS->SetRangeStart(Loc);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	834 DS->SetRangeEnd(Loc);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	835 if (T == DeclSpec::TST_struct) {
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	836 ParsedAttributesWithRange attrs(AttrFactory);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	837 DeclResult TagOrTempResult = true;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	838 bool Owned = false;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	839 bool IsDependent = false;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	840 MultiTemplateParamsArg TParams;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	841 TagOrTempResult = Actions.ActOnTag(getCurScope(), T, Sema::TUK_Reference, Loc,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	842 SS, Name, Loc, attrs.getList(), AS_none,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	843 DS->getModulePrivateSpecLoc(),
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	844 TParams, Owned, IsDependent,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	845 SourceLocation(), false,
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	846 clang::TypeResult());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	847 isInvalid = DS->SetTypeSpecType(T, Loc, Loc, PrevSpec, DiagID, TagOrTempResult.get(), Owned);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	848 }
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	849 else if (T == DeclSpec::TST_typename) {
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	850 Token Next,TypeTok;
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	851 Next.setKind(tok::identifier);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	852 ExternalSpace::StatementFilterCCC CCCValidator(Next);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	853 Sema::NameClassification Classification = Actions.ClassifyName(getCurScope(), SS, Name, Loc, Next, false, &CCCValidator);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	854 TypeTok.startToken();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	855 TypeTok.setLocation(Loc);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	856 TypeTok.setIdentifierInfo(Name);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	857 TypeTok.setKind(tok::annot_typename);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	858 setTypeAnnotation(TypeTok, Classification.getType());
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	859 TypeTok.setAnnotationEndLoc(Loc);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	860 PP.AnnotateCachedTokens(TypeTok);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	861 if (TypeTok.getAnnotationValue()) {
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	862 ParsedType PT = getTypeAnnotation(TypeTok);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	863 isInvalid = DS->SetTypeSpecType(T, Loc, PrevSpec, DiagID, PT);
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	864 } else
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	865 DS->SetTypeSpecError();
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	866 }
48 4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	867 else
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	868 isInvalid = DS->SetTypeSpecType(T, Loc, PrevSpec, DiagID);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	869
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	870 DS->Finish(Diags, PP);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	871 if (isInvalid) {
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	872 assert(PrevSpec && "Method did not return previous specifier!");
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	873 assert(DiagID);
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	874 if (DiagID == diag::ext_duplicate_declspec)
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	875 Diag(Tok, DiagID)
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	876 << PrevSpec << FixItHint::CreateRemoval(Tok.getLocation());
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	877 else
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	878 Diag(Tok, DiagID) << PrevSpec;
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	879 }
4b59af982ef3 create return function for continuation with the environment automatically, but it can return only int value and it's name is not unique now Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 47 diff changeset	880 }
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	881
58 01c954c1b51b include setjmp.h automatically without checking __code Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 57 diff changeset	882 /// CheckTheSjHeader - Check whether setjmp.h has been already included or not.
01c954c1b51b include setjmp.h automatically without checking __code Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 57 diff changeset	883 /// If not, include it.
01c954c1b51b include setjmp.h automatically without checking __code Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 57 diff changeset	884 void Parser::CheckTheSjHeader(){
53 f679cc5126db include setjmp.h automatically Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 52 diff changeset	885 SourceLocation Loc = Tok.getLocation();
f679cc5126db include setjmp.h automatically Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 52 diff changeset	886 LookupResult R(Actions, CreateIdentifierInfo("setjmp", Loc), Loc, Actions.LookupOrdinaryName, Actions.ForRedeclaration);
58 01c954c1b51b include setjmp.h automatically without checking __code Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 57 diff changeset	887 if (!Actions.LookupName(R, getCurScope())){ // look up the setjmp
01c954c1b51b include setjmp.h automatically without checking __code Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 57 diff changeset	888 if (PP.IncludeHeader(Tok, "setjmp.h"))
01c954c1b51b include setjmp.h automatically without checking __code Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 57 diff changeset	889 ConsumeToken();
53 f679cc5126db include setjmp.h automatically Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 52 diff changeset	890 }
f679cc5126db include setjmp.h automatically Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 52 diff changeset	891 }
43 7116d17d6428 Two assignment statements, __CbC_environment.env = i_buf and _CbC_environment.ret_p = &retval, were createed automarically when we found __return. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 42 diff changeset	892 #endif

Mercurial > hg > CbC > CbC_llvm

annotate tools/clang/lib/Parse/ParseCbC.cpp @ 64:0aa33659e8e4