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

annotate tools/clang/lib/Parse/ParseCbC.cpp @ 74:d33e24fd01df

remove diagnosis definition

author	Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date	Sun, 04 May 2014 00:31:16 +0900
parents	9943a04bf572
children	67baa08a3894

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.
74 d33e24fd01df remove diagnosis definition Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 72 diff changeset	109 unsigned DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error, "continuation with the environment cannot use in the void function");
d33e24fd01df remove diagnosis definition Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 72 diff changeset	110 Diag(Tok, DiagID);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	111 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	112 }
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	113
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	114 // __code (*__CbC_return)();
d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	115 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	116 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	117 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	118
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	119 // __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	120 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	121 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	122 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	123
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	124 // __CbC_return;
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	125 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	126 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	127 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	128
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	129 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	130 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	131 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	132 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	133
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	134 /// 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	135 /// 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	136 ///
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	137 /// examples which are created:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	138 /// complex statement:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	139 /// ({
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	140 /// struct __CbC_env __CbC_environment;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	141 /// jmp_buf env_buf;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	142 /// return_type retval;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	143 /// __CbC_environment.ret_p = &retval;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	144 /// __CbC_environment.env = &env_buf
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	145 /// if (setjmp(__CbC_environment.env)){
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	146 /// return retval;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	147 /// }
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	148 /// &__CbC_environment;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	149 /// });
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 /// struct __CbC_env{
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	152 /// void ret_p,env;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	153 /// }
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	154 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	155 StmtResult innerRes;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	156 SourceLocation Loc = Tok.getLocation();
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	157 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	158 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	159 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	160 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	161 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	162 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	163 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	164 Actions.ActOnStartStmtExpr();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	165 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	166 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	167 StmtVector CompoundStmts;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	168
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	169 // struct __CbC_env __CbC_environment;
d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	170 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	171 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	172 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	173
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	174 // returnType retval;
d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	175 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	176 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	177 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	178
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	179 // jmp_buf env_buf;
d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	180 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	181 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	182 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	183
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	184 // __CbC_environment.ret_p = &retval;
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	185 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	186 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	187 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	188
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	189 // __CbC_environment.env = env_buf;
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	190 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	191 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	192 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	193
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	194 // create statements of setjmp
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	195 innerRes = CreateSjForContinuationWithTheEnv();
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	196 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	197 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	198
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	199 // __CbC_environment;
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	200 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	201 if (innerRes.isUsable())
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	202 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	203
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	204 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	205 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	206 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	207 }
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	208
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	209 /// 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	210 /// It can create 4 kinds of statement.
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	211 /// 1. common assignment statement:
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	212 /// variable '=' variable ';'
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	213 /// 2. LHS variable is member of struct:
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	214 /// structVar '.' member '=' variable ';'
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	215 /// 3. RHS variable is address of operand:
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	216 /// variable '=' '&' variable ';'
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	217 /// 4. 2+3:
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	218 /// structVar '.' member '=' '&' variable ';'
322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	219 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	220 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	221 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	222
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	223 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	224 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	225 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	226 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	227 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	228 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	229 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	230 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	231 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	232 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	233 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	234 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	235 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	236 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	237
41 1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	238 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	239
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	240 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	241 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	242
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	243 RHS = LookupNameAndBuildExpr(RHSII);
59 322ba4588e4f remove assignment flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 58 diff changeset	244 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	245 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	246
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 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	248
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	249 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	250 }
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	251
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	252 /// CreateDeclStmt - Create declaration statement such as "int aaa;".
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	253 /// 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	254 /// 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	255 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	256 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	257 DeclGroupPtrTy DeclGPT;
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	258 ParsingDeclSpec DS(*this);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	259 DeclSpec *DSp;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	260 DSp = &DS;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	261
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	262 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	263 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	264 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	265
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	266 if (isRetCS) {
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	267 D.setEllipsisLoc(SourceLocation());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	268 bool hadGroupingParens = D.hasGroupingParens();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	269 D.setGroupingParens(true);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	270 D.SetRangeEnd(Loc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	271 DeclSpec FDS(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	272 DS.Finish(Diags, PP);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	273
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	274 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	275 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	276 D.setGroupingParens(hadGroupingParens);
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
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	279 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	280 (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	281 bool HasProto = false;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	282 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	283 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	284 DeclSpec FPDS(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	285 bool RefQualifierIsLValueRef = true;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	286 ExceptionSpecificationType ESpecType = EST_None;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	287 SourceRange ESpecRange;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	288 SmallVector<ParsedType, 2> DynamicExceptions;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	289 SmallVector<SourceRange, 2> DynamicExceptionRanges;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	290 ExprResult NoexceptExpr;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	291 ParsedAttributes FnAttrs(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	292 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	293
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	294 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	295 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	296 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	297 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	298
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 = CreateParam();
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->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	301 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	302 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	303 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	304 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	305 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	306
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	307 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	308 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	309 RefQualifierIsLValueRef,RefQualifierLoc, ConstQualifierLoc,
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	310 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	311 DynamicExceptions.data(),DynamicExceptionRanges.data(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	312 DynamicExceptions.size(),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	313 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	314 FnAttrs, Loc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	315 PrototypeScope.Exit();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	316 DSp = &FDS;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	317 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	318
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	319 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	320 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	321
60 d4de94500cd9 remove decl flags Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 59 diff changeset	322 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	323 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	324 else
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	325 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	326
44 aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	327 D.complete(FirstDecl);
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	328 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	329 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	330 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	331 }
aabc64b7263e create two declaration statements, env_buf and retval. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 43 diff changeset	332
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	333
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	334 /// handleDeclAndChangeDeclType - This function imitated Parser::ParseDeclarationAfterDeclaratorAndAttributes() and Sema::ActOnDeclarator().
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	335 /// 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	336 /// 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	337 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	338 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	339 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	340 DeclContext *DC = Actions.CurContext;
65 35ab9e3560be remove null pointer access bug which occured if the callee codesegment is accessed by pointer on LowerCallTo(). Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 64 diff changeset	341 QualType R = Actions.getCurFunctionDecl()->getResultType(); // copy a type
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	342 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	343 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	344 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	345 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	346 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	347
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	348 // 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	349 // 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	350 // 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	351 //
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	352 // 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	353 // 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	354 // 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	355 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	356 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	357 CreateBuiltins =
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	358 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	359 } 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	360 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	361
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	362 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	363 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	364
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	365 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	366
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	367 // 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	368 // (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	369 // 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	370 // 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	371 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	372 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	373 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	374 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	375 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	376 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	377 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	378 } else {
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	379 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	380 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	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
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	383 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	384 // 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	385 // 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	386 // 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	387 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	388 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	389 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	390 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	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
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	393 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	394 }
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	395
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	396
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	397 /// 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	398 /// code example:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	399 /// if (setjmp(__CbC_environment.env)){
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	400 /// return retval;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	401 /// }
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	402 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	403 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	404 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	405 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	406 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	407 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	408
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	409 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	410 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	411 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	412
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	413 __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	414 __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	415
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	416 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	417 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	418 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	419
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	420 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	421 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	422 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	423
1d6c745cd57d move some methods to ParseCbC.cpp which were written by me. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	424 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	425 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	426 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	427 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	428 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	429 ExprResult innerExprRes;
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	430 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	431 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	432 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	433 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	434 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	435 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	436 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	437 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	438 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	439 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	440 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	441 }
42 3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	442
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	443
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	444 /// LookupNameAndBuildExpr - Look up name, create ExprResult and return it.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	445 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	446 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	447 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	448 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	449 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	450 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	451 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	452 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	453 }
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	454
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	455 /// 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	456 /// 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	457 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	458 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	459 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	460 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	461 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	462 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	463 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	464 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	465 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	466 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	467 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	468 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	469 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	470 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	471 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	472 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	473 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	474 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	475 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	476
3e178477409f made some submethods for the methods which emit CbC statements. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 41 diff changeset	477 }
45 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
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	480 /// 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	481 /// 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	482 /// The example of struct which is created :
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	483 /// struct __CbC_env{
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	484 /// void ret_p,env;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	485 /// };
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	486 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	487
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	488 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	489 // 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	490 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	491 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	492 return;
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	493
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	494 Scope *SavedScope = getCurScope();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	495 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	496 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	497
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	498 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	499 Scope *TopScope = getCurScope();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	500 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	501 TopScope = TopScope->getParent();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	502 Actions.CurScope = TopScope;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	503
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	504 ParsingDeclSpec SDS(*this);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	505 SDS.SetRangeStart(Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	506 SDS.SetRangeEnd(Loc);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	507 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	508 DeclResult TagOrTempResult = true;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	509 bool Owned = false;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	510 bool IsDependent = false;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	511 ParsedAttributesWithRange attrs(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	512 MultiTemplateParamsArg TParams;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	513
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	514 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	515 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	516 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	517 SourceLocation(), false, clang::TypeResult());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	518
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	519 Decl *TagDecl = TagOrTempResult.get();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	520 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	521 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	522 Actions.ActOnTagStartDefinition(getCurScope(), TagDecl);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	523 SmallVector<Decl *, 32> FieldDecls;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	524
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	525 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	526 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	527
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	528 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	529 StructScope.Exit();
72 9943a04bf572 remove unnecessary codes Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 65 diff changeset	530 Actions.ActOnTagFinishDefinition(getCurScope(), TagDecl, Loc);
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	531
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	532 Actions.CurScope = SavedScope;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	533 Actions.CurContext = SavedContext;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	534 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	535 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	536
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	537 /// 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	538 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	539 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	540 setTST(&PDS, T);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	541 SourceLocation CommaLoc;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	542 ParsingFieldDeclarator DeclaratorInfo(*this, PDS);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	543 DeclaratorInfo.D.setCommaLoc(CommaLoc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	544 DeclaratorInfo.D.SetRangeEnd(Loc);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	545 DeclSpec DS(AttrFactory);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	546 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	547 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	548
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	549 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	550 DS.getVolatileSpecLoc(),DS.getRestrictSpecLoc()),
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	551 DS.getAttributes(),SourceLocation());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	552 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	553 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	554 DeclaratorInfo.D, DeclaratorInfo.BitfieldSize);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	555 DeclaratorInfo.complete(Field);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	556 return Field;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	557 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	558
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	559 /// CreateIdentifierInfo - Create IdentifierInfo from char pointer.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	560 /// usage :
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	561 /// 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	562 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	563 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	564 Token TokenForII;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	565 TokenForII.startToken();
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	566 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	567 TokenForII.setLength(length);
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	568 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	569 TokenForII.setRawIdentifierData(Name);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	570 IdentifierInfo *II;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	571 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	572 TokenForII.setIdentifierInfo(II);
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	573 TokenForII.setKind(II->getTokenID());
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	574 return II;
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	575 }
9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	576
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	577 /// CreateUniqueIdentifierInfo - Create unique IdentifierInfo.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	578 /// 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	579 /// Naming conventions :
0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	580 /// current 'function name' '..' 'variable name' 'uniqueID'
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	581 /// 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	582 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	583 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	584 std::ostringstream os;
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	585
0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	586 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	587 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	588 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	589 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	590 }
c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	591
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	592
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	593 /// 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	594 /// create these codes:
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	595 /// __code ret(return_type retval, void *env){
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	596 /// (return_type)((struct CbC_environment )(env))->ret_p = n;
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	597 /// longjmp((int)(((struct __CbC_environment )env)->env),1);
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	598 /// }
64 0aa33659e8e4 modified Parser::CreateUniqueIdentifierInfo(). add unique id Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 63 diff changeset	599 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	600 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	601 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	602 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	603 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	604
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	605 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	606 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	607 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	608 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	609
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	610 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	611 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	612 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	613 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	614 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	615
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	616 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	617 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	618 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	619 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	620 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	621 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	622 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	623 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	624 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	625 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	626 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	627 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	628 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	629 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	630 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	631 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	632 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	633 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	634 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	635 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	636 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	637
52 c22698ecb2a9 modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'. Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 48 diff changeset	638 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	639 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	640 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	641 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	642
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	643 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	644 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	645 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	646 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	647
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	648 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	649 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	650 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	651 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	652 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	653 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	654 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	655
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	656 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	657 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	658 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	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.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	661 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	662 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	663 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	664 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	665 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	666 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	667 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	668 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	669 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	670 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	671 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	672
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 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	674 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	675 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	676 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	677 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	678 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	679 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	680 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	681 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	682 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	683 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	684 ExprVector ArgExprs2;
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	685 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	686 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	687 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	688 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	689 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	690 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	691 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	692 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	693 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	694 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	695 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	696 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	697 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	698 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	699 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	700 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	701 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	702 ExprResult RHS;
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	703 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	704
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 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	706 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	707 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	708 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	709
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	710 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	711 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	712 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	713 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	714 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	715
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 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	717 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	718 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	719 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	720 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	721 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	722 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	723 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	724 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	725 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	726 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	727 SourceLocation());
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	728 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	729 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	730 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	731 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	732 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	733 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	734 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	735 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	736 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	737 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	738 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	739 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	740 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	741 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	742 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	743 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	744 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	745 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	746 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	747 (&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	748 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	749 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	750 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	751 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	752 }
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
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	754 /// IIToExpr - Create ExprResult from IdentifierInfo.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	755 /// 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	756 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	757 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	758 Token Next,IITok;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	759 Next.setKind(Kind);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	760 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	761 CXXScopeSpec SS;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	762 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	763 IITok.startToken();
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	764 IITok.setLocation(Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	765 IITok.setIdentifierInfo(II);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	766 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	767 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	768 IITok.setAnnotationEndLoc(Loc);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	769 PP.AnnotateCachedTokens(IITok);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	770 return getExprAnnotation(IITok);
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	771 }
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	772
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	773 /// CreateComplexStmtRet - Create return value for complex statements.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	774 ///
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	775 /// ({ /* some statements */
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	776 /// return_value; )};
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	777 /// ^^^^^^^^^^^^^ Create it.
57 88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	778 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	779 ExprResult ER;
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	780 if (IsAddressOfOperand) {
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	781 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	782 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	783 }
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	784 else
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	785 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	786 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	787 }
88b0e1f890d7 Use complex statements for goto with the environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 56 diff changeset	788
62 fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	789 /// CreateParam - Create paramator for functions.
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	790 ///
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	791 /// int funcname(int aua) {
fe2728d9537d add comments Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 61 diff changeset	792 /// ^^^^^^^ 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	793 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	794 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	795 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	796 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	797 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	798 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	799 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	800 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	801 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	802 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	803 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	804 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	805 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	806 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	807 }
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	808 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	809 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	810
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 }
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
63 0d1cf6cb7029 add comments for setTST Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 62 diff changeset	813 /// setTST - set TypeSpecifierType(TST) DeclSpec.
0d1cf6cb7029 add comments for setTST Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 62 diff changeset	814 /// 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	815 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	816 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	817 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	818 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	819 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	820 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	821 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	822 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	823 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	824 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	825 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	826 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	827 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	828 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	829 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	830 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	831 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	832 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	833 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	834 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	835 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	836 }
56 bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	837 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	838 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	839 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	840 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	841 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	842 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	843 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	844 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	845 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	846 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	847 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	848 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	849 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	850 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	851 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	852 } else
bdef5c940791 copy the previous function's return type to return value Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 54 diff changeset	853 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	854 }
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	855 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	856 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	857
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	858 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	859 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	860 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	861 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	862 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	863 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	864 << 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	865 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	866 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	867 }
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 }
45 9ebfb52ddd9b create declaration statement automatically for __CbC_environment Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 44 diff changeset	869
58 01c954c1b51b include setjmp.h automatically without checking __code Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 57 diff changeset	870 /// 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	871 /// If not, include it.
01c954c1b51b include setjmp.h automatically without checking __code Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 57 diff changeset	872 void Parser::CheckTheSjHeader(){
53 f679cc5126db include setjmp.h automatically Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 52 diff changeset	873 SourceLocation Loc = Tok.getLocation();
f679cc5126db include setjmp.h automatically Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 52 diff changeset	874 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	875 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	876 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	877 ConsumeToken();
53 f679cc5126db include setjmp.h automatically Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 52 diff changeset	878 }
f679cc5126db include setjmp.h automatically Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: 52 diff changeset	879 }
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	880 #endif

Mercurial > hg > CbC > CbC_llvm

annotate tools/clang/lib/Parse/ParseCbC.cpp @ 74:d33e24fd01df