| ... | ... | @@ -5,7 +5,7 @@ const std = @import("std"); |
| 5 | 5 | const assert = std.debug.assert; |
| 6 | 6 | const ast = std.zig.ast; |
| 7 | 7 | const Token = std.zig.Token; |
| 8 | | usingnamespace @import("clang.zig"); |
| 8 | const clang = @import("clang.zig"); |
| 9 | 9 | const ctok = std.c.tokenizer; |
| 10 | 10 | const CToken = std.c.Token; |
| 11 | 11 | const mem = std.mem; |
| ... | ... | @@ -13,7 +13,7 @@ const math = std.math; |
| 13 | 13 | |
| 14 | 14 | const CallingConvention = std.builtin.CallingConvention; |
| 15 | 15 | |
| 16 | | pub const ClangErrMsg = Stage2ErrorMsg; |
| 16 | pub const ClangErrMsg = clang.Stage2ErrorMsg; |
| 17 | 17 | |
| 18 | 18 | pub const Error = error{OutOfMemory}; |
| 19 | 19 | const TypeError = Error || error{UnsupportedType}; |
| ... | ... | @@ -259,11 +259,11 @@ pub const Context = struct { |
| 259 | 259 | errors: std.ArrayListUnmanaged(ast.Error), |
| 260 | 260 | source_buffer: *std.ArrayList(u8), |
| 261 | 261 | err: Error, |
| 262 | | source_manager: *ZigClangSourceManager, |
| 262 | source_manager: *clang.SourceManager, |
| 263 | 263 | decl_table: DeclTable, |
| 264 | 264 | alias_list: AliasList, |
| 265 | 265 | global_scope: *Scope.Root, |
| 266 | | clang_context: *ZigClangASTContext, |
| 266 | clang_context: *clang.ASTContext, |
| 267 | 267 | mangle_count: u32 = 0, |
| 268 | 268 | root_decls: std.ArrayListUnmanaged(*ast.Node), |
| 269 | 269 | |
| ... | ... | @@ -284,13 +284,13 @@ pub const Context = struct { |
| 284 | 284 | } |
| 285 | 285 | |
| 286 | 286 | /// Convert a clang source location to a file:line:column string |
| 287 | | fn locStr(c: *Context, loc: ZigClangSourceLocation) ![]u8 { |
| 288 | | const spelling_loc = ZigClangSourceManager_getSpellingLoc(c.source_manager, loc); |
| 289 | | const filename_c = ZigClangSourceManager_getFilename(c.source_manager, spelling_loc); |
| 287 | fn locStr(c: *Context, loc: clang.SourceLocation) ![]u8 { |
| 288 | const spelling_loc = c.source_manager.getSpellingLoc(loc); |
| 289 | const filename_c = c.source_manager.getFilename(spelling_loc); |
| 290 | 290 | const filename = if (filename_c) |s| try c.str(s) else @as([]const u8, "(no file)"); |
| 291 | 291 | |
| 292 | | const line = ZigClangSourceManager_getSpellingLineNumber(c.source_manager, spelling_loc); |
| 293 | | const column = ZigClangSourceManager_getSpellingColumnNumber(c.source_manager, spelling_loc); |
| 292 | const line = c.source_manager.getSpellingLineNumber(spelling_loc); |
| 293 | const column = c.source_manager.getSpellingColumnNumber(spelling_loc); |
| 294 | 294 | return std.fmt.allocPrint(c.arena, "{}:{}:{}", .{ filename, line, column }); |
| 295 | 295 | } |
| 296 | 296 | |
| ... | ... | @@ -336,7 +336,7 @@ pub fn translate( |
| 336 | 336 | errors: *[]ClangErrMsg, |
| 337 | 337 | resources_path: [*:0]const u8, |
| 338 | 338 | ) !*ast.Tree { |
| 339 | | const ast_unit = ZigClangLoadFromCommandLine( |
| 339 | const ast_unit = clang.LoadFromCommandLine( |
| 340 | 340 | args_begin, |
| 341 | 341 | args_end, |
| 342 | 342 | &errors.ptr, |
| ... | ... | @@ -346,7 +346,7 @@ pub fn translate( |
| 346 | 346 | if (errors.len == 0) return error.ASTUnitFailure; |
| 347 | 347 | return error.SemanticAnalyzeFail; |
| 348 | 348 | }; |
| 349 | | defer ZigClangASTUnit_delete(ast_unit); |
| 349 | defer ast_unit.delete(); |
| 350 | 350 | |
| 351 | 351 | var source_buffer = std.ArrayList(u8).init(gpa); |
| 352 | 352 | defer source_buffer.deinit(); |
| ... | ... | @@ -360,12 +360,12 @@ pub fn translate( |
| 360 | 360 | .gpa = gpa, |
| 361 | 361 | .arena = &arena.allocator, |
| 362 | 362 | .source_buffer = &source_buffer, |
| 363 | | .source_manager = ZigClangASTUnit_getSourceManager(ast_unit), |
| 363 | .source_manager = ast_unit.getSourceManager(), |
| 364 | 364 | .err = undefined, |
| 365 | 365 | .decl_table = DeclTable.init(gpa), |
| 366 | 366 | .alias_list = AliasList.init(gpa), |
| 367 | 367 | .global_scope = try arena.allocator.create(Scope.Root), |
| 368 | | .clang_context = ZigClangASTUnit_getASTContext(ast_unit).?, |
| 368 | .clang_context = ast_unit.getASTContext(), |
| 369 | 369 | .global_names = std.StringArrayHashMap(void).init(gpa), |
| 370 | 370 | .token_ids = .{}, |
| 371 | 371 | .token_locs = .{}, |
| ... | ... | @@ -383,7 +383,7 @@ pub fn translate( |
| 383 | 383 | |
| 384 | 384 | try prepopulateGlobalNameTable(ast_unit, &context); |
| 385 | 385 | |
| 386 | | if (!ZigClangASTUnit_visitLocalTopLevelDecls(ast_unit, &context, declVisitorC)) { |
| 386 | if (!ast_unit.visitLocalTopLevelDecls(&context, declVisitorC)) { |
| 387 | 387 | return context.err; |
| 388 | 388 | } |
| 389 | 389 | |
| ... | ... | @@ -421,21 +421,21 @@ pub fn translate( |
| 421 | 421 | return tree; |
| 422 | 422 | } |
| 423 | 423 | |
| 424 | | fn prepopulateGlobalNameTable(ast_unit: *ZigClangASTUnit, c: *Context) !void { |
| 425 | | if (!ZigClangASTUnit_visitLocalTopLevelDecls(ast_unit, c, declVisitorNamesOnlyC)) { |
| 424 | fn prepopulateGlobalNameTable(ast_unit: *clang.ASTUnit, c: *Context) !void { |
| 425 | if (!ast_unit.visitLocalTopLevelDecls(c, declVisitorNamesOnlyC)) { |
| 426 | 426 | return c.err; |
| 427 | 427 | } |
| 428 | 428 | |
| 429 | 429 | // TODO if we see #undef, delete it from the table |
| 430 | | var it = ZigClangASTUnit_getLocalPreprocessingEntities_begin(ast_unit); |
| 431 | | const it_end = ZigClangASTUnit_getLocalPreprocessingEntities_end(ast_unit); |
| 430 | var it = ast_unit.getLocalPreprocessingEntities_begin(); |
| 431 | const it_end = ast_unit.getLocalPreprocessingEntities_end(); |
| 432 | 432 | |
| 433 | 433 | while (it.I != it_end.I) : (it.I += 1) { |
| 434 | | const entity = ZigClangPreprocessingRecord_iterator_deref(it); |
| 435 | | switch (ZigClangPreprocessedEntity_getKind(entity)) { |
| 434 | const entity = it.deref(); |
| 435 | switch (entity.getKind()) { |
| 436 | 436 | .MacroDefinitionKind => { |
| 437 | | const macro = @ptrCast(*ZigClangMacroDefinitionRecord, entity); |
| 438 | | const raw_name = ZigClangMacroDefinitionRecord_getName_getNameStart(macro); |
| 437 | const macro = @ptrCast(*clang.MacroDefinitionRecord, entity); |
| 438 | const raw_name = macro.getName_getNameStart(); |
| 439 | 439 | const name = try c.str(raw_name); |
| 440 | 440 | _ = try c.global_names.put(name, {}); |
| 441 | 441 | }, |
| ... | ... | @@ -444,7 +444,7 @@ fn prepopulateGlobalNameTable(ast_unit: *ZigClangASTUnit, c: *Context) !void { |
| 444 | 444 | } |
| 445 | 445 | } |
| 446 | 446 | |
| 447 | | fn declVisitorNamesOnlyC(context: ?*c_void, decl: *const ZigClangDecl) callconv(.C) bool { |
| 447 | fn declVisitorNamesOnlyC(context: ?*c_void, decl: *const clang.Decl) callconv(.C) bool { |
| 448 | 448 | const c = @ptrCast(*Context, @alignCast(@alignOf(Context), context)); |
| 449 | 449 | declVisitorNamesOnly(c, decl) catch |err| { |
| 450 | 450 | c.err = err; |
| ... | ... | @@ -453,7 +453,7 @@ fn declVisitorNamesOnlyC(context: ?*c_void, decl: *const ZigClangDecl) callconv( |
| 453 | 453 | return true; |
| 454 | 454 | } |
| 455 | 455 | |
| 456 | | fn declVisitorC(context: ?*c_void, decl: *const ZigClangDecl) callconv(.C) bool { |
| 456 | fn declVisitorC(context: ?*c_void, decl: *const clang.Decl) callconv(.C) bool { |
| 457 | 457 | const c = @ptrCast(*Context, @alignCast(@alignOf(Context), context)); |
| 458 | 458 | declVisitor(c, decl) catch |err| { |
| 459 | 459 | c.err = err; |
| ... | ... | @@ -462,61 +462,61 @@ fn declVisitorC(context: ?*c_void, decl: *const ZigClangDecl) callconv(.C) bool |
| 462 | 462 | return true; |
| 463 | 463 | } |
| 464 | 464 | |
| 465 | | fn declVisitorNamesOnly(c: *Context, decl: *const ZigClangDecl) Error!void { |
| 466 | | if (ZigClangDecl_castToNamedDecl(decl)) |named_decl| { |
| 467 | | const decl_name = try c.str(ZigClangNamedDecl_getName_bytes_begin(named_decl)); |
| 465 | fn declVisitorNamesOnly(c: *Context, decl: *const clang.Decl) Error!void { |
| 466 | if (decl.castToNamedDecl()) |named_decl| { |
| 467 | const decl_name = try c.str(named_decl.getName_bytes_begin()); |
| 468 | 468 | _ = try c.global_names.put(decl_name, {}); |
| 469 | 469 | } |
| 470 | 470 | } |
| 471 | 471 | |
| 472 | | fn declVisitor(c: *Context, decl: *const ZigClangDecl) Error!void { |
| 473 | | switch (ZigClangDecl_getKind(decl)) { |
| 472 | fn declVisitor(c: *Context, decl: *const clang.Decl) Error!void { |
| 473 | switch (decl.getKind()) { |
| 474 | 474 | .Function => { |
| 475 | | return visitFnDecl(c, @ptrCast(*const ZigClangFunctionDecl, decl)); |
| 475 | return visitFnDecl(c, @ptrCast(*const clang.FunctionDecl, decl)); |
| 476 | 476 | }, |
| 477 | 477 | .Typedef => { |
| 478 | | _ = try transTypeDef(c, @ptrCast(*const ZigClangTypedefNameDecl, decl), true); |
| 478 | _ = try transTypeDef(c, @ptrCast(*const clang.TypedefNameDecl, decl), true); |
| 479 | 479 | }, |
| 480 | 480 | .Enum => { |
| 481 | | _ = try transEnumDecl(c, @ptrCast(*const ZigClangEnumDecl, decl)); |
| 481 | _ = try transEnumDecl(c, @ptrCast(*const clang.EnumDecl, decl)); |
| 482 | 482 | }, |
| 483 | 483 | .Record => { |
| 484 | | _ = try transRecordDecl(c, @ptrCast(*const ZigClangRecordDecl, decl)); |
| 484 | _ = try transRecordDecl(c, @ptrCast(*const clang.RecordDecl, decl)); |
| 485 | 485 | }, |
| 486 | 486 | .Var => { |
| 487 | | return visitVarDecl(c, @ptrCast(*const ZigClangVarDecl, decl), null); |
| 487 | return visitVarDecl(c, @ptrCast(*const clang.VarDecl, decl), null); |
| 488 | 488 | }, |
| 489 | 489 | .Empty => { |
| 490 | 490 | // Do nothing |
| 491 | 491 | }, |
| 492 | 492 | else => { |
| 493 | | const decl_name = try c.str(ZigClangDecl_getDeclKindName(decl)); |
| 494 | | try emitWarning(c, ZigClangDecl_getLocation(decl), "ignoring {} declaration", .{decl_name}); |
| 493 | const decl_name = try c.str(decl.getDeclKindName()); |
| 494 | try emitWarning(c, decl.getLocation(), "ignoring {} declaration", .{decl_name}); |
| 495 | 495 | }, |
| 496 | 496 | } |
| 497 | 497 | } |
| 498 | 498 | |
| 499 | | fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 500 | | const fn_name = try c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, fn_decl))); |
| 499 | fn visitFnDecl(c: *Context, fn_decl: *const clang.FunctionDecl) Error!void { |
| 500 | const fn_name = try c.str(@ptrCast(*const clang.NamedDecl, fn_decl).getName_bytes_begin()); |
| 501 | 501 | if (c.global_scope.sym_table.contains(fn_name)) |
| 502 | 502 | return; // Avoid processing this decl twice |
| 503 | 503 | |
| 504 | 504 | // Skip this declaration if a proper definition exists |
| 505 | | if (!ZigClangFunctionDecl_isThisDeclarationADefinition(fn_decl)) { |
| 506 | | if (ZigClangFunctionDecl_getDefinition(fn_decl)) |def| |
| 505 | if (!fn_decl.isThisDeclarationADefinition()) { |
| 506 | if (fn_decl.getDefinition()) |def| |
| 507 | 507 | return visitFnDecl(c, def); |
| 508 | 508 | } |
| 509 | 509 | |
| 510 | 510 | const rp = makeRestorePoint(c); |
| 511 | | const fn_decl_loc = ZigClangFunctionDecl_getLocation(fn_decl); |
| 512 | | const has_body = ZigClangFunctionDecl_hasBody(fn_decl); |
| 513 | | const storage_class = ZigClangFunctionDecl_getStorageClass(fn_decl); |
| 511 | const fn_decl_loc = fn_decl.getLocation(); |
| 512 | const has_body = fn_decl.hasBody(); |
| 513 | const storage_class = fn_decl.getStorageClass(); |
| 514 | 514 | const decl_ctx = FnDeclContext{ |
| 515 | 515 | .fn_name = fn_name, |
| 516 | 516 | .has_body = has_body, |
| 517 | 517 | .storage_class = storage_class, |
| 518 | 518 | .is_export = switch (storage_class) { |
| 519 | | .None => has_body and !ZigClangFunctionDecl_isInlineSpecified(fn_decl), |
| 519 | .None => has_body and !fn_decl.isInlineSpecified(), |
| 520 | 520 | .Extern, .Static => false, |
| 521 | 521 | .PrivateExtern => return failDecl(c, fn_decl_loc, fn_name, "unsupported storage class: private extern", .{}), |
| 522 | 522 | .Auto => unreachable, // Not legal on functions |
| ... | ... | @@ -524,27 +524,27 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 524 | 524 | }, |
| 525 | 525 | }; |
| 526 | 526 | |
| 527 | | var fn_qt = ZigClangFunctionDecl_getType(fn_decl); |
| 527 | var fn_qt = fn_decl.getType(); |
| 528 | 528 | |
| 529 | 529 | const fn_type = while (true) { |
| 530 | | const fn_type = ZigClangQualType_getTypePtr(fn_qt); |
| 530 | const fn_type = fn_qt.getTypePtr(); |
| 531 | 531 | |
| 532 | | switch (ZigClangType_getTypeClass(fn_type)) { |
| 532 | switch (fn_type.getTypeClass()) { |
| 533 | 533 | .Attributed => { |
| 534 | | const attr_type = @ptrCast(*const ZigClangAttributedType, fn_type); |
| 535 | | fn_qt = ZigClangAttributedType_getEquivalentType(attr_type); |
| 534 | const attr_type = @ptrCast(*const clang.AttributedType, fn_type); |
| 535 | fn_qt = attr_type.getEquivalentType(); |
| 536 | 536 | }, |
| 537 | 537 | .Paren => { |
| 538 | | const paren_type = @ptrCast(*const ZigClangParenType, fn_type); |
| 539 | | fn_qt = ZigClangParenType_getInnerType(paren_type); |
| 538 | const paren_type = @ptrCast(*const clang.ParenType, fn_type); |
| 539 | fn_qt = paren_type.getInnerType(); |
| 540 | 540 | }, |
| 541 | 541 | else => break fn_type, |
| 542 | 542 | } |
| 543 | 543 | } else unreachable; |
| 544 | 544 | |
| 545 | | const proto_node = switch (ZigClangType_getTypeClass(fn_type)) { |
| 545 | const proto_node = switch (fn_type.getTypeClass()) { |
| 546 | 546 | .FunctionProto => blk: { |
| 547 | | const fn_proto_type = @ptrCast(*const ZigClangFunctionProtoType, fn_type); |
| 547 | const fn_proto_type = @ptrCast(*const clang.FunctionProtoType, fn_type); |
| 548 | 548 | break :blk transFnProto(rp, fn_decl, fn_proto_type, fn_decl_loc, decl_ctx, true) catch |err| switch (err) { |
| 549 | 549 | error.UnsupportedType => { |
| 550 | 550 | return failDecl(c, fn_decl_loc, fn_name, "unable to resolve prototype of function", .{}); |
| ... | ... | @@ -553,7 +553,7 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 553 | 553 | }; |
| 554 | 554 | }, |
| 555 | 555 | .FunctionNoProto => blk: { |
| 556 | | const fn_no_proto_type = @ptrCast(*const ZigClangFunctionType, fn_type); |
| 556 | const fn_no_proto_type = @ptrCast(*const clang.FunctionType, fn_type); |
| 557 | 557 | break :blk transFnNoProto(rp, fn_no_proto_type, fn_decl_loc, decl_ctx, true) catch |err| switch (err) { |
| 558 | 558 | error.UnsupportedType => { |
| 559 | 559 | return failDecl(c, fn_decl_loc, fn_name, "unable to resolve prototype of function", .{}); |
| ... | ... | @@ -561,7 +561,7 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 561 | 561 | error.OutOfMemory => |e| return e, |
| 562 | 562 | }; |
| 563 | 563 | }, |
| 564 | | else => return failDecl(c, fn_decl_loc, fn_name, "unable to resolve function type {}", .{ZigClangType_getTypeClass(fn_type)}), |
| 564 | else => return failDecl(c, fn_decl_loc, fn_name, "unable to resolve function type {}", .{fn_type.getTypeClass()}), |
| 565 | 565 | }; |
| 566 | 566 | |
| 567 | 567 | if (!decl_ctx.has_body) { |
| ... | ... | @@ -570,7 +570,7 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 570 | 570 | } |
| 571 | 571 | |
| 572 | 572 | // actual function definition with body |
| 573 | | const body_stmt = ZigClangFunctionDecl_getBody(fn_decl); |
| 573 | const body_stmt = fn_decl.getBody(); |
| 574 | 574 | var block_scope = try Scope.Block.init(rp.c, &c.global_scope.base, false); |
| 575 | 575 | defer block_scope.deinit(); |
| 576 | 576 | var scope = &block_scope.base; |
| ... | ... | @@ -582,9 +582,9 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 582 | 582 | else |
| 583 | 583 | return failDecl(c, fn_decl_loc, fn_name, "function {} parameter has no name", .{fn_name}); |
| 584 | 584 | |
| 585 | | const c_param = ZigClangFunctionDecl_getParamDecl(fn_decl, param_id); |
| 586 | | const qual_type = ZigClangParmVarDecl_getOriginalType(c_param); |
| 587 | | const is_const = ZigClangQualType_isConstQualified(qual_type); |
| 585 | const c_param = fn_decl.getParamDecl(param_id); |
| 586 | const qual_type = c_param.getOriginalType(); |
| 587 | const is_const = qual_type.isConstQualified(); |
| 588 | 588 | |
| 589 | 589 | const mangled_param_name = try block_scope.makeMangledName(c, param_name); |
| 590 | 590 | |
| ... | ... | @@ -613,7 +613,7 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 613 | 613 | param_id += 1; |
| 614 | 614 | } |
| 615 | 615 | |
| 616 | | const casted_body = @ptrCast(*const ZigClangCompoundStmt, body_stmt); |
| 616 | const casted_body = @ptrCast(*const clang.CompoundStmt, body_stmt); |
| 617 | 617 | transCompoundStmtInline(rp, &block_scope.base, casted_body, &block_scope) catch |err| switch (err) { |
| 618 | 618 | error.OutOfMemory => |e| return e, |
| 619 | 619 | error.UnsupportedTranslation, |
| ... | ... | @@ -622,10 +622,10 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 622 | 622 | }; |
| 623 | 623 | // add return statement if the function didn't have one |
| 624 | 624 | blk: { |
| 625 | | const fn_ty = @ptrCast(*const ZigClangFunctionType, fn_type); |
| 625 | const fn_ty = @ptrCast(*const clang.FunctionType, fn_type); |
| 626 | 626 | |
| 627 | | if (ZigClangFunctionType_getNoReturnAttr(fn_ty)) break :blk; |
| 628 | | const return_qt = ZigClangFunctionType_getReturnType(fn_ty); |
| 627 | if (fn_ty.getNoReturnAttr()) break :blk; |
| 628 | const return_qt = fn_ty.getReturnType(); |
| 629 | 629 | if (isCVoid(return_qt)) break :blk; |
| 630 | 630 | |
| 631 | 631 | if (block_scope.statements.items.len > 0) { |
| ... | ... | @@ -649,7 +649,7 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 649 | 649 | .ltoken = try appendToken(rp.c, .Keyword_return, "return"), |
| 650 | 650 | .tag = .Return, |
| 651 | 651 | }, .{ |
| 652 | | .rhs = transZeroInitExpr(rp, scope, fn_decl_loc, ZigClangQualType_getTypePtr(return_qt)) catch |err| switch (err) { |
| 652 | .rhs = transZeroInitExpr(rp, scope, fn_decl_loc, return_qt.getTypePtr()) catch |err| switch (err) { |
| 653 | 653 | error.OutOfMemory => |e| return e, |
| 654 | 654 | error.UnsupportedTranslation, |
| 655 | 655 | error.UnsupportedType, |
| ... | ... | @@ -666,14 +666,14 @@ fn visitFnDecl(c: *Context, fn_decl: *const ZigClangFunctionDecl) Error!void { |
| 666 | 666 | } |
| 667 | 667 | |
| 668 | 668 | /// if mangled_name is not null, this var decl was declared in a block scope. |
| 669 | | fn visitVarDecl(c: *Context, var_decl: *const ZigClangVarDecl, mangled_name: ?[]const u8) Error!void { |
| 670 | | const var_name = mangled_name orelse try c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, var_decl))); |
| 669 | fn visitVarDecl(c: *Context, var_decl: *const clang.VarDecl, mangled_name: ?[]const u8) Error!void { |
| 670 | const var_name = mangled_name orelse try c.str(@ptrCast(*const clang.NamedDecl, var_decl).getName_bytes_begin()); |
| 671 | 671 | if (c.global_scope.sym_table.contains(var_name)) |
| 672 | 672 | return; // Avoid processing this decl twice |
| 673 | 673 | const rp = makeRestorePoint(c); |
| 674 | 674 | const visib_tok = if (mangled_name) |_| null else try appendToken(c, .Keyword_pub, "pub"); |
| 675 | 675 | |
| 676 | | const thread_local_token = if (ZigClangVarDecl_getTLSKind(var_decl) == .None) |
| 676 | const thread_local_token = if (var_decl.getTLSKind() == .None) |
| 677 | 677 | null |
| 678 | 678 | else |
| 679 | 679 | try appendToken(c, .Keyword_threadlocal, "threadlocal"); |
| ... | ... | @@ -683,12 +683,12 @@ fn visitVarDecl(c: *Context, var_decl: *const ZigClangVarDecl, mangled_name: ?[] |
| 683 | 683 | // TODO https://github.com/ziglang/zig/issues/3756 |
| 684 | 684 | // TODO https://github.com/ziglang/zig/issues/1802 |
| 685 | 685 | const checked_name = if (isZigPrimitiveType(var_name)) try std.fmt.allocPrint(c.arena, "{}_{}", .{ var_name, c.getMangle() }) else var_name; |
| 686 | | const var_decl_loc = ZigClangVarDecl_getLocation(var_decl); |
| 686 | const var_decl_loc = var_decl.getLocation(); |
| 687 | 687 | |
| 688 | | const qual_type = ZigClangVarDecl_getTypeSourceInfo_getType(var_decl); |
| 689 | | const storage_class = ZigClangVarDecl_getStorageClass(var_decl); |
| 690 | | const is_const = ZigClangQualType_isConstQualified(qual_type); |
| 691 | | const has_init = ZigClangVarDecl_hasInit(var_decl); |
| 688 | const qual_type = var_decl.getTypeSourceInfo_getType(); |
| 689 | const storage_class = var_decl.getStorageClass(); |
| 690 | const is_const = qual_type.isConstQualified(); |
| 691 | const has_init = var_decl.hasInit(); |
| 692 | 692 | |
| 693 | 693 | // In C extern variables with initializers behave like Zig exports. |
| 694 | 694 | // extern int foo = 2; |
| ... | ... | @@ -725,7 +725,7 @@ fn visitVarDecl(c: *Context, var_decl: *const ZigClangVarDecl, mangled_name: ?[] |
| 725 | 725 | // with the variable type. |
| 726 | 726 | if (has_init) { |
| 727 | 727 | eq_tok = try appendToken(c, .Equal, "="); |
| 728 | | init_node = if (ZigClangVarDecl_getInit(var_decl)) |expr| |
| 728 | init_node = if (var_decl.getInit()) |expr| |
| 729 | 729 | transExprCoercing(rp, &c.global_scope.base, expr, .used, .r_value) catch |err| switch (err) { |
| 730 | 730 | error.UnsupportedTranslation, |
| 731 | 731 | error.UnsupportedType, |
| ... | ... | @@ -758,7 +758,7 @@ fn visitVarDecl(c: *Context, var_decl: *const ZigClangVarDecl, mangled_name: ?[] |
| 758 | 758 | |
| 759 | 759 | const linksection_expr = blk: { |
| 760 | 760 | var str_len: usize = undefined; |
| 761 | | if (ZigClangVarDecl_getSectionAttribute(var_decl, &str_len)) |str_ptr| { |
| 761 | if (var_decl.getSectionAttribute(&str_len)) |str_ptr| { |
| 762 | 762 | _ = try appendToken(rp.c, .Keyword_linksection, "linksection"); |
| 763 | 763 | _ = try appendToken(rp.c, .LParen, "("); |
| 764 | 764 | const expr = try transCreateNodeStringLiteral( |
| ... | ... | @@ -773,7 +773,7 @@ fn visitVarDecl(c: *Context, var_decl: *const ZigClangVarDecl, mangled_name: ?[] |
| 773 | 773 | }; |
| 774 | 774 | |
| 775 | 775 | const align_expr = blk: { |
| 776 | | const alignment = ZigClangVarDecl_getAlignedAttribute(var_decl, rp.c.clang_context); |
| 776 | const alignment = var_decl.getAlignedAttribute(rp.c.clang_context); |
| 777 | 777 | if (alignment != 0) { |
| 778 | 778 | _ = try appendToken(rp.c, .Keyword_align, "align"); |
| 779 | 779 | _ = try appendToken(rp.c, .LParen, "("); |
| ... | ... | @@ -803,8 +803,8 @@ fn visitVarDecl(c: *Context, var_decl: *const ZigClangVarDecl, mangled_name: ?[] |
| 803 | 803 | return addTopLevelDecl(c, checked_name, &node.base); |
| 804 | 804 | } |
| 805 | 805 | |
| 806 | | fn transTypeDefAsBuiltin(c: *Context, typedef_decl: *const ZigClangTypedefNameDecl, builtin_name: []const u8) !*ast.Node { |
| 807 | | _ = try c.decl_table.put(@ptrToInt(ZigClangTypedefNameDecl_getCanonicalDecl(typedef_decl)), builtin_name); |
| 806 | fn transTypeDefAsBuiltin(c: *Context, typedef_decl: *const clang.TypedefNameDecl, builtin_name: []const u8) !*ast.Node { |
| 807 | _ = try c.decl_table.put(@ptrToInt(typedef_decl.getCanonicalDecl()), builtin_name); |
| 808 | 808 | return transCreateNodeIdentifier(c, builtin_name); |
| 809 | 809 | } |
| 810 | 810 | |
| ... | ... | @@ -833,12 +833,12 @@ fn checkForBuiltinTypedef(checked_name: []const u8) ?[]const u8 { |
| 833 | 833 | return null; |
| 834 | 834 | } |
| 835 | 835 | |
| 836 | | fn transTypeDef(c: *Context, typedef_decl: *const ZigClangTypedefNameDecl, top_level_visit: bool) Error!?*ast.Node { |
| 837 | | if (c.decl_table.get(@ptrToInt(ZigClangTypedefNameDecl_getCanonicalDecl(typedef_decl)))) |name| |
| 836 | fn transTypeDef(c: *Context, typedef_decl: *const clang.TypedefNameDecl, top_level_visit: bool) Error!?*ast.Node { |
| 837 | if (c.decl_table.get(@ptrToInt(typedef_decl.getCanonicalDecl()))) |name| |
| 838 | 838 | return transCreateNodeIdentifier(c, name); // Avoid processing this decl twice |
| 839 | 839 | const rp = makeRestorePoint(c); |
| 840 | 840 | |
| 841 | | const typedef_name = try c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, typedef_decl))); |
| 841 | const typedef_name = try c.str(@ptrCast(*const clang.NamedDecl, typedef_decl).getName_bytes_begin()); |
| 842 | 842 | |
| 843 | 843 | // TODO https://github.com/ziglang/zig/issues/3756 |
| 844 | 844 | // TODO https://github.com/ziglang/zig/issues/1802 |
| ... | ... | @@ -851,7 +851,7 @@ fn transTypeDef(c: *Context, typedef_decl: *const ZigClangTypedefNameDecl, top_l |
| 851 | 851 | return transCreateNodeIdentifier(c, checked_name); |
| 852 | 852 | } |
| 853 | 853 | |
| 854 | | _ = try c.decl_table.put(@ptrToInt(ZigClangTypedefNameDecl_getCanonicalDecl(typedef_decl)), checked_name); |
| 854 | _ = try c.decl_table.put(@ptrToInt(typedef_decl.getCanonicalDecl()), checked_name); |
| 855 | 855 | const node = (try transCreateNodeTypedef(rp, typedef_decl, true, checked_name)) orelse return null; |
| 856 | 856 | try addTopLevelDecl(c, checked_name, node); |
| 857 | 857 | return transCreateNodeIdentifier(c, checked_name); |
| ... | ... | @@ -859,7 +859,7 @@ fn transTypeDef(c: *Context, typedef_decl: *const ZigClangTypedefNameDecl, top_l |
| 859 | 859 | |
| 860 | 860 | fn transCreateNodeTypedef( |
| 861 | 861 | rp: RestorePoint, |
| 862 | | typedef_decl: *const ZigClangTypedefNameDecl, |
| 862 | typedef_decl: *const clang.TypedefNameDecl, |
| 863 | 863 | toplevel: bool, |
| 864 | 864 | checked_name: []const u8, |
| 865 | 865 | ) Error!?*ast.Node { |
| ... | ... | @@ -867,8 +867,8 @@ fn transCreateNodeTypedef( |
| 867 | 867 | const mut_tok = try appendToken(rp.c, .Keyword_const, "const"); |
| 868 | 868 | const name_tok = try appendIdentifier(rp.c, checked_name); |
| 869 | 869 | const eq_token = try appendToken(rp.c, .Equal, "="); |
| 870 | | const child_qt = ZigClangTypedefNameDecl_getUnderlyingType(typedef_decl); |
| 871 | | const typedef_loc = ZigClangTypedefNameDecl_getLocation(typedef_decl); |
| 870 | const child_qt = typedef_decl.getUnderlyingType(); |
| 871 | const typedef_loc = typedef_decl.getLocation(); |
| 872 | 872 | const init_node = transQualType(rp, child_qt, typedef_loc) catch |err| switch (err) { |
| 873 | 873 | error.UnsupportedType => { |
| 874 | 874 | try failDecl(rp.c, typedef_loc, checked_name, "unable to resolve typedef child type", .{}); |
| ... | ... | @@ -890,12 +890,12 @@ fn transCreateNodeTypedef( |
| 890 | 890 | return &node.base; |
| 891 | 891 | } |
| 892 | 892 | |
| 893 | | fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?*ast.Node { |
| 894 | | if (c.decl_table.get(@ptrToInt(ZigClangRecordDecl_getCanonicalDecl(record_decl)))) |name| |
| 893 | fn transRecordDecl(c: *Context, record_decl: *const clang.RecordDecl) Error!?*ast.Node { |
| 894 | if (c.decl_table.get(@ptrToInt(record_decl.getCanonicalDecl()))) |name| |
| 895 | 895 | return try transCreateNodeIdentifier(c, name); // Avoid processing this decl twice |
| 896 | | const record_loc = ZigClangRecordDecl_getLocation(record_decl); |
| 896 | const record_loc = record_decl.getLocation(); |
| 897 | 897 | |
| 898 | | var bare_name = try c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, record_decl))); |
| 898 | var bare_name = try c.str(@ptrCast(*const clang.NamedDecl, record_decl).getName_bytes_begin()); |
| 899 | 899 | var is_unnamed = false; |
| 900 | 900 | // Record declarations such as `struct {...} x` have no name but they're not |
| 901 | 901 | // anonymous hence here isAnonymousStructOrUnion is not needed |
| ... | ... | @@ -906,10 +906,10 @@ fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?* |
| 906 | 906 | |
| 907 | 907 | var container_kind_name: []const u8 = undefined; |
| 908 | 908 | var container_kind: std.zig.Token.Id = undefined; |
| 909 | | if (ZigClangRecordDecl_isUnion(record_decl)) { |
| 909 | if (record_decl.isUnion()) { |
| 910 | 910 | container_kind_name = "union"; |
| 911 | 911 | container_kind = .Keyword_union; |
| 912 | | } else if (ZigClangRecordDecl_isStruct(record_decl)) { |
| 912 | } else if (record_decl.isStruct()) { |
| 913 | 913 | container_kind_name = "struct"; |
| 914 | 914 | container_kind = .Keyword_struct; |
| 915 | 915 | } else { |
| ... | ... | @@ -918,7 +918,7 @@ fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?* |
| 918 | 918 | } |
| 919 | 919 | |
| 920 | 920 | const name = try std.fmt.allocPrint(c.arena, "{}_{}", .{ container_kind_name, bare_name }); |
| 921 | | _ = try c.decl_table.put(@ptrToInt(ZigClangRecordDecl_getCanonicalDecl(record_decl)), name); |
| 921 | _ = try c.decl_table.put(@ptrToInt(record_decl.getCanonicalDecl()), name); |
| 922 | 922 | |
| 923 | 923 | const visib_tok = if (!is_unnamed) try appendToken(c, .Keyword_pub, "pub") else null; |
| 924 | 924 | const mut_tok = try appendToken(c, .Keyword_const, "const"); |
| ... | ... | @@ -929,13 +929,13 @@ fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?* |
| 929 | 929 | var semicolon: ast.TokenIndex = undefined; |
| 930 | 930 | const init_node = blk: { |
| 931 | 931 | const rp = makeRestorePoint(c); |
| 932 | | const record_def = ZigClangRecordDecl_getDefinition(record_decl) orelse { |
| 932 | const record_def = record_decl.getDefinition() orelse { |
| 933 | 933 | const opaque_type = try transCreateNodeOpaqueType(c); |
| 934 | 934 | semicolon = try appendToken(c, .Semicolon, ";"); |
| 935 | 935 | break :blk opaque_type; |
| 936 | 936 | }; |
| 937 | 937 | |
| 938 | | const layout_tok = try if (ZigClangRecordDecl_getPackedAttribute(record_decl)) |
| 938 | const layout_tok = try if (record_decl.getPackedAttribute()) |
| 939 | 939 | appendToken(c, .Keyword_packed, "packed") |
| 940 | 940 | else |
| 941 | 941 | appendToken(c, .Keyword_extern, "extern"); |
| ... | ... | @@ -946,21 +946,21 @@ fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?* |
| 946 | 946 | defer fields_and_decls.deinit(); |
| 947 | 947 | |
| 948 | 948 | var unnamed_field_count: u32 = 0; |
| 949 | | var it = ZigClangRecordDecl_field_begin(record_def); |
| 950 | | const end_it = ZigClangRecordDecl_field_end(record_def); |
| 951 | | while (ZigClangRecordDecl_field_iterator_neq(it, end_it)) : (it = ZigClangRecordDecl_field_iterator_next(it)) { |
| 952 | | const field_decl = ZigClangRecordDecl_field_iterator_deref(it); |
| 953 | | const field_loc = ZigClangFieldDecl_getLocation(field_decl); |
| 954 | | const field_qt = ZigClangFieldDecl_getType(field_decl); |
| 955 | | |
| 956 | | if (ZigClangFieldDecl_isBitField(field_decl)) { |
| 949 | var it = record_def.field_begin(); |
| 950 | const end_it = record_def.field_end(); |
| 951 | while (it.neq(end_it)) : (it = it.next()) { |
| 952 | const field_decl = it.deref(); |
| 953 | const field_loc = field_decl.getLocation(); |
| 954 | const field_qt = field_decl.getType(); |
| 955 | |
| 956 | if (field_decl.isBitField()) { |
| 957 | 957 | const opaque_type = try transCreateNodeOpaqueType(c); |
| 958 | 958 | semicolon = try appendToken(c, .Semicolon, ";"); |
| 959 | 959 | try emitWarning(c, field_loc, "{} demoted to opaque type - has bitfield", .{container_kind_name}); |
| 960 | 960 | break :blk opaque_type; |
| 961 | 961 | } |
| 962 | 962 | |
| 963 | | if (ZigClangType_isIncompleteOrZeroLengthArrayType(qualTypeCanon(field_qt), c.clang_context)) { |
| 963 | if (qualTypeCanon(field_qt).isIncompleteOrZeroLengthArrayType(c.clang_context)) { |
| 964 | 964 | const opaque_type = try transCreateNodeOpaqueType(c); |
| 965 | 965 | semicolon = try appendToken(c, .Semicolon, ";"); |
| 966 | 966 | try emitWarning(c, field_loc, "{} demoted to opaque type - has variable length array", .{container_kind_name}); |
| ... | ... | @@ -968,8 +968,8 @@ fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?* |
| 968 | 968 | } |
| 969 | 969 | |
| 970 | 970 | var is_anon = false; |
| 971 | | var raw_name = try c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, field_decl))); |
| 972 | | if (ZigClangFieldDecl_isAnonymousStructOrUnion(field_decl) or raw_name.len == 0) { |
| 971 | var raw_name = try c.str(@ptrCast(*const clang.NamedDecl, field_decl).getName_bytes_begin()); |
| 972 | if (field_decl.isAnonymousStructOrUnion() or raw_name.len == 0) { |
| 973 | 973 | // Context.getMangle() is not used here because doing so causes unpredictable field names for anonymous fields. |
| 974 | 974 | raw_name = try std.fmt.allocPrint(c.arena, "unnamed_{}", .{unnamed_field_count}); |
| 975 | 975 | unnamed_field_count += 1; |
| ... | ... | @@ -988,7 +988,7 @@ fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?* |
| 988 | 988 | }; |
| 989 | 989 | |
| 990 | 990 | const align_expr = blk_2: { |
| 991 | | const alignment = ZigClangFieldDecl_getAlignedAttribute(field_decl, rp.c.clang_context); |
| 991 | const alignment = field_decl.getAlignedAttribute(rp.c.clang_context); |
| 992 | 992 | if (alignment != 0) { |
| 993 | 993 | _ = try appendToken(rp.c, .Keyword_align, "align"); |
| 994 | 994 | _ = try appendToken(rp.c, .LParen, "("); |
| ... | ... | @@ -1013,7 +1013,7 @@ fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?* |
| 1013 | 1013 | |
| 1014 | 1014 | if (is_anon) { |
| 1015 | 1015 | _ = try c.decl_table.put( |
| 1016 | | @ptrToInt(ZigClangFieldDecl_getCanonicalDecl(field_decl)), |
| 1016 | @ptrToInt(field_decl.getCanonicalDecl()), |
| 1017 | 1017 | raw_name, |
| 1018 | 1018 | ); |
| 1019 | 1019 | } |
| ... | ... | @@ -1051,13 +1051,13 @@ fn transRecordDecl(c: *Context, record_decl: *const ZigClangRecordDecl) Error!?* |
| 1051 | 1051 | return transCreateNodeIdentifier(c, name); |
| 1052 | 1052 | } |
| 1053 | 1053 | |
| 1054 | | fn transEnumDecl(c: *Context, enum_decl: *const ZigClangEnumDecl) Error!?*ast.Node { |
| 1055 | | if (c.decl_table.get(@ptrToInt(ZigClangEnumDecl_getCanonicalDecl(enum_decl)))) |name| |
| 1054 | fn transEnumDecl(c: *Context, enum_decl: *const clang.EnumDecl) Error!?*ast.Node { |
| 1055 | if (c.decl_table.get(@ptrToInt(enum_decl.getCanonicalDecl()))) |name| |
| 1056 | 1056 | return try transCreateNodeIdentifier(c, name); // Avoid processing this decl twice |
| 1057 | 1057 | const rp = makeRestorePoint(c); |
| 1058 | | const enum_loc = ZigClangEnumDecl_getLocation(enum_decl); |
| 1058 | const enum_loc = enum_decl.getLocation(); |
| 1059 | 1059 | |
| 1060 | | var bare_name = try c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, enum_decl))); |
| 1060 | var bare_name = try c.str(@ptrCast(*const clang.NamedDecl, enum_decl).getName_bytes_begin()); |
| 1061 | 1061 | var is_unnamed = false; |
| 1062 | 1062 | if (bare_name.len == 0) { |
| 1063 | 1063 | bare_name = try std.fmt.allocPrint(c.arena, "unnamed_{}", .{c.getMangle()}); |
| ... | ... | @@ -1065,20 +1065,20 @@ fn transEnumDecl(c: *Context, enum_decl: *const ZigClangEnumDecl) Error!?*ast.No |
| 1065 | 1065 | } |
| 1066 | 1066 | |
| 1067 | 1067 | const name = try std.fmt.allocPrint(c.arena, "enum_{}", .{bare_name}); |
| 1068 | | _ = try c.decl_table.put(@ptrToInt(ZigClangEnumDecl_getCanonicalDecl(enum_decl)), name); |
| 1068 | _ = try c.decl_table.put(@ptrToInt(enum_decl.getCanonicalDecl()), name); |
| 1069 | 1069 | |
| 1070 | 1070 | const visib_tok = if (!is_unnamed) try appendToken(c, .Keyword_pub, "pub") else null; |
| 1071 | 1071 | const mut_tok = try appendToken(c, .Keyword_const, "const"); |
| 1072 | 1072 | const name_tok = try appendIdentifier(c, name); |
| 1073 | 1073 | const eq_token = try appendToken(c, .Equal, "="); |
| 1074 | 1074 | |
| 1075 | | const init_node = if (ZigClangEnumDecl_getDefinition(enum_decl)) |enum_def| blk: { |
| 1075 | const init_node = if (enum_decl.getDefinition()) |enum_def| blk: { |
| 1076 | 1076 | var pure_enum = true; |
| 1077 | | var it = ZigClangEnumDecl_enumerator_begin(enum_def); |
| 1078 | | var end_it = ZigClangEnumDecl_enumerator_end(enum_def); |
| 1079 | | while (ZigClangEnumDecl_enumerator_iterator_neq(it, end_it)) : (it = ZigClangEnumDecl_enumerator_iterator_next(it)) { |
| 1080 | | const enum_const = ZigClangEnumDecl_enumerator_iterator_deref(it); |
| 1081 | | if (ZigClangEnumConstantDecl_getInitExpr(enum_const)) |_| { |
| 1077 | var it = enum_def.enumerator_begin(); |
| 1078 | var end_it = enum_def.enumerator_end(); |
| 1079 | while (it.neq(end_it)) : (it = it.next()) { |
| 1080 | const enum_const = it.deref(); |
| 1081 | if (enum_const.getInitExpr()) |_| { |
| 1082 | 1082 | pure_enum = false; |
| 1083 | 1083 | break; |
| 1084 | 1084 | } |
| ... | ... | @@ -1090,7 +1090,7 @@ fn transEnumDecl(c: *Context, enum_decl: *const ZigClangEnumDecl) Error!?*ast.No |
| 1090 | 1090 | var fields_and_decls = std.ArrayList(*ast.Node).init(c.gpa); |
| 1091 | 1091 | defer fields_and_decls.deinit(); |
| 1092 | 1092 | |
| 1093 | | const int_type = ZigClangEnumDecl_getIntegerType(enum_decl); |
| 1093 | const int_type = enum_decl.getIntegerType(); |
| 1094 | 1094 | // The underlying type may be null in case of forward-declared enum |
| 1095 | 1095 | // types, while that's not ISO-C compliant many compilers allow this and |
| 1096 | 1096 | // default to the usual integer type used for all the enums. |
| ... | ... | @@ -1115,12 +1115,12 @@ fn transEnumDecl(c: *Context, enum_decl: *const ZigClangEnumDecl) Error!?*ast.No |
| 1115 | 1115 | |
| 1116 | 1116 | const lbrace_token = try appendToken(c, .LBrace, "{"); |
| 1117 | 1117 | |
| 1118 | | it = ZigClangEnumDecl_enumerator_begin(enum_def); |
| 1119 | | end_it = ZigClangEnumDecl_enumerator_end(enum_def); |
| 1120 | | while (ZigClangEnumDecl_enumerator_iterator_neq(it, end_it)) : (it = ZigClangEnumDecl_enumerator_iterator_next(it)) { |
| 1121 | | const enum_const = ZigClangEnumDecl_enumerator_iterator_deref(it); |
| 1118 | it = enum_def.enumerator_begin(); |
| 1119 | end_it = enum_def.enumerator_end(); |
| 1120 | while (it.neq(end_it)) : (it = it.next()) { |
| 1121 | const enum_const = it.deref(); |
| 1122 | 1122 | |
| 1123 | | const enum_val_name = try c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, enum_const))); |
| 1123 | const enum_val_name = try c.str(@ptrCast(*const clang.NamedDecl, enum_const).getName_bytes_begin()); |
| 1124 | 1124 | |
| 1125 | 1125 | const field_name = if (!is_unnamed and mem.startsWith(u8, enum_val_name, bare_name)) |
| 1126 | 1126 | enum_val_name[bare_name.len..] |
| ... | ... | @@ -1131,7 +1131,7 @@ fn transEnumDecl(c: *Context, enum_decl: *const ZigClangEnumDecl) Error!?*ast.No |
| 1131 | 1131 | |
| 1132 | 1132 | const int_node = if (!pure_enum) blk_2: { |
| 1133 | 1133 | _ = try appendToken(c, .Colon, "="); |
| 1134 | | break :blk_2 try transCreateNodeAPInt(c, ZigClangEnumConstantDecl_getInitVal(enum_const)); |
| 1134 | break :blk_2 try transCreateNodeAPInt(c, enum_const.getInitVal()); |
| 1135 | 1135 | } else |
| 1136 | 1136 | null; |
| 1137 | 1137 | |
| ... | ... | @@ -1257,23 +1257,23 @@ const LRValue = enum { |
| 1257 | 1257 | fn transStmt( |
| 1258 | 1258 | rp: RestorePoint, |
| 1259 | 1259 | scope: *Scope, |
| 1260 | | stmt: *const ZigClangStmt, |
| 1260 | stmt: *const clang.Stmt, |
| 1261 | 1261 | result_used: ResultUsed, |
| 1262 | 1262 | lrvalue: LRValue, |
| 1263 | 1263 | ) TransError!*ast.Node { |
| 1264 | | const sc = ZigClangStmt_getStmtClass(stmt); |
| 1264 | const sc = stmt.getStmtClass(); |
| 1265 | 1265 | switch (sc) { |
| 1266 | | .BinaryOperatorClass => return transBinaryOperator(rp, scope, @ptrCast(*const ZigClangBinaryOperator, stmt), result_used), |
| 1267 | | .CompoundStmtClass => return transCompoundStmt(rp, scope, @ptrCast(*const ZigClangCompoundStmt, stmt)), |
| 1268 | | .CStyleCastExprClass => return transCStyleCastExprClass(rp, scope, @ptrCast(*const ZigClangCStyleCastExpr, stmt), result_used, lrvalue), |
| 1269 | | .DeclStmtClass => return transDeclStmt(rp, scope, @ptrCast(*const ZigClangDeclStmt, stmt)), |
| 1270 | | .DeclRefExprClass => return transDeclRefExpr(rp, scope, @ptrCast(*const ZigClangDeclRefExpr, stmt), lrvalue), |
| 1271 | | .ImplicitCastExprClass => return transImplicitCastExpr(rp, scope, @ptrCast(*const ZigClangImplicitCastExpr, stmt), result_used), |
| 1272 | | .IntegerLiteralClass => return transIntegerLiteral(rp, scope, @ptrCast(*const ZigClangIntegerLiteral, stmt), result_used, .with_as), |
| 1273 | | .ReturnStmtClass => return transReturnStmt(rp, scope, @ptrCast(*const ZigClangReturnStmt, stmt)), |
| 1274 | | .StringLiteralClass => return transStringLiteral(rp, scope, @ptrCast(*const ZigClangStringLiteral, stmt), result_used), |
| 1266 | .BinaryOperatorClass => return transBinaryOperator(rp, scope, @ptrCast(*const clang.BinaryOperator, stmt), result_used), |
| 1267 | .CompoundStmtClass => return transCompoundStmt(rp, scope, @ptrCast(*const clang.CompoundStmt, stmt)), |
| 1268 | .CStyleCastExprClass => return transCStyleCastExprClass(rp, scope, @ptrCast(*const clang.CStyleCastExpr, stmt), result_used, lrvalue), |
| 1269 | .DeclStmtClass => return transDeclStmt(rp, scope, @ptrCast(*const clang.DeclStmt, stmt)), |
| 1270 | .DeclRefExprClass => return transDeclRefExpr(rp, scope, @ptrCast(*const clang.DeclRefExpr, stmt), lrvalue), |
| 1271 | .ImplicitCastExprClass => return transImplicitCastExpr(rp, scope, @ptrCast(*const clang.ImplicitCastExpr, stmt), result_used), |
| 1272 | .IntegerLiteralClass => return transIntegerLiteral(rp, scope, @ptrCast(*const clang.IntegerLiteral, stmt), result_used, .with_as), |
| 1273 | .ReturnStmtClass => return transReturnStmt(rp, scope, @ptrCast(*const clang.ReturnStmt, stmt)), |
| 1274 | .StringLiteralClass => return transStringLiteral(rp, scope, @ptrCast(*const clang.StringLiteral, stmt), result_used), |
| 1275 | 1275 | .ParenExprClass => { |
| 1276 | | const expr = try transExpr(rp, scope, ZigClangParenExpr_getSubExpr(@ptrCast(*const ZigClangParenExpr, stmt)), .used, lrvalue); |
| 1276 | const expr = try transExpr(rp, scope, @ptrCast(*const clang.ParenExpr, stmt).getSubExpr(), .used, lrvalue); |
| 1277 | 1277 | if (expr.tag == .GroupedExpression) return maybeSuppressResult(rp, scope, result_used, expr); |
| 1278 | 1278 | const node = try rp.c.arena.create(ast.Node.GroupedExpression); |
| 1279 | 1279 | node.* = .{ |
| ... | ... | @@ -1283,11 +1283,11 @@ fn transStmt( |
| 1283 | 1283 | }; |
| 1284 | 1284 | return maybeSuppressResult(rp, scope, result_used, &node.base); |
| 1285 | 1285 | }, |
| 1286 | | .InitListExprClass => return transInitListExpr(rp, scope, @ptrCast(*const ZigClangInitListExpr, stmt), result_used), |
| 1287 | | .ImplicitValueInitExprClass => return transImplicitValueInitExpr(rp, scope, @ptrCast(*const ZigClangExpr, stmt), result_used), |
| 1288 | | .IfStmtClass => return transIfStmt(rp, scope, @ptrCast(*const ZigClangIfStmt, stmt)), |
| 1289 | | .WhileStmtClass => return transWhileLoop(rp, scope, @ptrCast(*const ZigClangWhileStmt, stmt)), |
| 1290 | | .DoStmtClass => return transDoWhileLoop(rp, scope, @ptrCast(*const ZigClangDoStmt, stmt)), |
| 1286 | .InitListExprClass => return transInitListExpr(rp, scope, @ptrCast(*const clang.InitListExpr, stmt), result_used), |
| 1287 | .ImplicitValueInitExprClass => return transImplicitValueInitExpr(rp, scope, @ptrCast(*const clang.Expr, stmt), result_used), |
| 1288 | .IfStmtClass => return transIfStmt(rp, scope, @ptrCast(*const clang.IfStmt, stmt)), |
| 1289 | .WhileStmtClass => return transWhileLoop(rp, scope, @ptrCast(*const clang.WhileStmt, stmt)), |
| 1290 | .DoStmtClass => return transDoWhileLoop(rp, scope, @ptrCast(*const clang.DoStmt, stmt)), |
| 1291 | 1291 | .NullStmtClass => { |
| 1292 | 1292 | const block = try rp.c.createBlock(0); |
| 1293 | 1293 | block.rbrace = try appendToken(rp.c, .RBrace, "}"); |
| ... | ... | @@ -1295,29 +1295,29 @@ fn transStmt( |
| 1295 | 1295 | }, |
| 1296 | 1296 | .ContinueStmtClass => return try transCreateNodeContinue(rp.c), |
| 1297 | 1297 | .BreakStmtClass => return transBreak(rp, scope), |
| 1298 | | .ForStmtClass => return transForLoop(rp, scope, @ptrCast(*const ZigClangForStmt, stmt)), |
| 1299 | | .FloatingLiteralClass => return transFloatingLiteral(rp, scope, @ptrCast(*const ZigClangFloatingLiteral, stmt), result_used), |
| 1298 | .ForStmtClass => return transForLoop(rp, scope, @ptrCast(*const clang.ForStmt, stmt)), |
| 1299 | .FloatingLiteralClass => return transFloatingLiteral(rp, scope, @ptrCast(*const clang.FloatingLiteral, stmt), result_used), |
| 1300 | 1300 | .ConditionalOperatorClass => { |
| 1301 | | return transConditionalOperator(rp, scope, @ptrCast(*const ZigClangConditionalOperator, stmt), result_used); |
| 1301 | return transConditionalOperator(rp, scope, @ptrCast(*const clang.ConditionalOperator, stmt), result_used); |
| 1302 | 1302 | }, |
| 1303 | 1303 | .BinaryConditionalOperatorClass => { |
| 1304 | | return transBinaryConditionalOperator(rp, scope, @ptrCast(*const ZigClangBinaryConditionalOperator, stmt), result_used); |
| 1304 | return transBinaryConditionalOperator(rp, scope, @ptrCast(*const clang.BinaryConditionalOperator, stmt), result_used); |
| 1305 | 1305 | }, |
| 1306 | | .SwitchStmtClass => return transSwitch(rp, scope, @ptrCast(*const ZigClangSwitchStmt, stmt)), |
| 1307 | | .CaseStmtClass => return transCase(rp, scope, @ptrCast(*const ZigClangCaseStmt, stmt)), |
| 1308 | | .DefaultStmtClass => return transDefault(rp, scope, @ptrCast(*const ZigClangDefaultStmt, stmt)), |
| 1309 | | .ConstantExprClass => return transConstantExpr(rp, scope, @ptrCast(*const ZigClangExpr, stmt), result_used), |
| 1310 | | .PredefinedExprClass => return transPredefinedExpr(rp, scope, @ptrCast(*const ZigClangPredefinedExpr, stmt), result_used), |
| 1311 | | .CharacterLiteralClass => return transCharLiteral(rp, scope, @ptrCast(*const ZigClangCharacterLiteral, stmt), result_used, .with_as), |
| 1312 | | .StmtExprClass => return transStmtExpr(rp, scope, @ptrCast(*const ZigClangStmtExpr, stmt), result_used), |
| 1313 | | .MemberExprClass => return transMemberExpr(rp, scope, @ptrCast(*const ZigClangMemberExpr, stmt), result_used), |
| 1314 | | .ArraySubscriptExprClass => return transArrayAccess(rp, scope, @ptrCast(*const ZigClangArraySubscriptExpr, stmt), result_used), |
| 1315 | | .CallExprClass => return transCallExpr(rp, scope, @ptrCast(*const ZigClangCallExpr, stmt), result_used), |
| 1316 | | .UnaryExprOrTypeTraitExprClass => return transUnaryExprOrTypeTraitExpr(rp, scope, @ptrCast(*const ZigClangUnaryExprOrTypeTraitExpr, stmt), result_used), |
| 1317 | | .UnaryOperatorClass => return transUnaryOperator(rp, scope, @ptrCast(*const ZigClangUnaryOperator, stmt), result_used), |
| 1318 | | .CompoundAssignOperatorClass => return transCompoundAssignOperator(rp, scope, @ptrCast(*const ZigClangCompoundAssignOperator, stmt), result_used), |
| 1306 | .SwitchStmtClass => return transSwitch(rp, scope, @ptrCast(*const clang.SwitchStmt, stmt)), |
| 1307 | .CaseStmtClass => return transCase(rp, scope, @ptrCast(*const clang.CaseStmt, stmt)), |
| 1308 | .DefaultStmtClass => return transDefault(rp, scope, @ptrCast(*const clang.DefaultStmt, stmt)), |
| 1309 | .ConstantExprClass => return transConstantExpr(rp, scope, @ptrCast(*const clang.Expr, stmt), result_used), |
| 1310 | .PredefinedExprClass => return transPredefinedExpr(rp, scope, @ptrCast(*const clang.PredefinedExpr, stmt), result_used), |
| 1311 | .CharacterLiteralClass => return transCharLiteral(rp, scope, @ptrCast(*const clang.CharacterLiteral, stmt), result_used, .with_as), |
| 1312 | .StmtExprClass => return transStmtExpr(rp, scope, @ptrCast(*const clang.StmtExpr, stmt), result_used), |
| 1313 | .MemberExprClass => return transMemberExpr(rp, scope, @ptrCast(*const clang.MemberExpr, stmt), result_used), |
| 1314 | .ArraySubscriptExprClass => return transArrayAccess(rp, scope, @ptrCast(*const clang.ArraySubscriptExpr, stmt), result_used), |
| 1315 | .CallExprClass => return transCallExpr(rp, scope, @ptrCast(*const clang.CallExpr, stmt), result_used), |
| 1316 | .UnaryExprOrTypeTraitExprClass => return transUnaryExprOrTypeTraitExpr(rp, scope, @ptrCast(*const clang.UnaryExprOrTypeTraitExpr, stmt), result_used), |
| 1317 | .UnaryOperatorClass => return transUnaryOperator(rp, scope, @ptrCast(*const clang.UnaryOperator, stmt), result_used), |
| 1318 | .CompoundAssignOperatorClass => return transCompoundAssignOperator(rp, scope, @ptrCast(*const clang.CompoundAssignOperator, stmt), result_used), |
| 1319 | 1319 | .OpaqueValueExprClass => { |
| 1320 | | const source_expr = ZigClangOpaqueValueExpr_getSourceExpr(@ptrCast(*const ZigClangOpaqueValueExpr, stmt)).?; |
| 1320 | const source_expr = @ptrCast(*const clang.OpaqueValueExpr, stmt).getSourceExpr().?; |
| 1321 | 1321 | const expr = try transExpr(rp, scope, source_expr, .used, lrvalue); |
| 1322 | 1322 | if (expr.tag == .GroupedExpression) return maybeSuppressResult(rp, scope, result_used, expr); |
| 1323 | 1323 | const node = try rp.c.arena.create(ast.Node.GroupedExpression); |
| ... | ... | @@ -1332,7 +1332,7 @@ fn transStmt( |
| 1332 | 1332 | return revertAndWarn( |
| 1333 | 1333 | rp, |
| 1334 | 1334 | error.UnsupportedTranslation, |
| 1335 | | ZigClangStmt_getBeginLoc(stmt), |
| 1335 | stmt.getBeginLoc(), |
| 1336 | 1336 | "TODO implement translation of stmt class {}", |
| 1337 | 1337 | .{@tagName(sc)}, |
| 1338 | 1338 | ); |
| ... | ... | @@ -1343,24 +1343,24 @@ fn transStmt( |
| 1343 | 1343 | fn transBinaryOperator( |
| 1344 | 1344 | rp: RestorePoint, |
| 1345 | 1345 | scope: *Scope, |
| 1346 | | stmt: *const ZigClangBinaryOperator, |
| 1346 | stmt: *const clang.BinaryOperator, |
| 1347 | 1347 | result_used: ResultUsed, |
| 1348 | 1348 | ) TransError!*ast.Node { |
| 1349 | | const op = ZigClangBinaryOperator_getOpcode(stmt); |
| 1350 | | const qt = ZigClangBinaryOperator_getType(stmt); |
| 1349 | const op = stmt.getOpcode(); |
| 1350 | const qt = stmt.getType(); |
| 1351 | 1351 | var op_token: ast.TokenIndex = undefined; |
| 1352 | 1352 | var op_id: ast.Node.Tag = undefined; |
| 1353 | 1353 | switch (op) { |
| 1354 | | .Assign => return try transCreateNodeAssign(rp, scope, result_used, ZigClangBinaryOperator_getLHS(stmt), ZigClangBinaryOperator_getRHS(stmt)), |
| 1354 | .Assign => return try transCreateNodeAssign(rp, scope, result_used, stmt.getLHS(), stmt.getRHS()), |
| 1355 | 1355 | .Comma => { |
| 1356 | 1356 | const block_scope = try scope.findBlockScope(rp.c); |
| 1357 | 1357 | const expr = block_scope.base.parent == scope; |
| 1358 | 1358 | const lparen = if (expr) try appendToken(rp.c, .LParen, "(") else undefined; |
| 1359 | 1359 | |
| 1360 | | const lhs = try transExpr(rp, &block_scope.base, ZigClangBinaryOperator_getLHS(stmt), .unused, .r_value); |
| 1360 | const lhs = try transExpr(rp, &block_scope.base, stmt.getLHS(), .unused, .r_value); |
| 1361 | 1361 | try block_scope.statements.append(lhs); |
| 1362 | 1362 | |
| 1363 | | const rhs = try transExpr(rp, &block_scope.base, ZigClangBinaryOperator_getRHS(stmt), .used, .r_value); |
| 1363 | const rhs = try transExpr(rp, &block_scope.base, stmt.getRHS(), .used, .r_value); |
| 1364 | 1364 | if (expr) { |
| 1365 | 1365 | _ = try appendToken(rp.c, .Semicolon, ";"); |
| 1366 | 1366 | const break_node = try transCreateNodeBreak(rp.c, block_scope.label, rhs); |
| ... | ... | @@ -1382,9 +1382,9 @@ fn transBinaryOperator( |
| 1382 | 1382 | if (cIsSignedInteger(qt)) { |
| 1383 | 1383 | // signed integer division uses @divTrunc |
| 1384 | 1384 | const div_trunc_node = try rp.c.createBuiltinCall("@divTrunc", 2); |
| 1385 | | div_trunc_node.params()[0] = try transExpr(rp, scope, ZigClangBinaryOperator_getLHS(stmt), .used, .l_value); |
| 1385 | div_trunc_node.params()[0] = try transExpr(rp, scope, stmt.getLHS(), .used, .l_value); |
| 1386 | 1386 | _ = try appendToken(rp.c, .Comma, ","); |
| 1387 | | const rhs = try transExpr(rp, scope, ZigClangBinaryOperator_getRHS(stmt), .used, .r_value); |
| 1387 | const rhs = try transExpr(rp, scope, stmt.getRHS(), .used, .r_value); |
| 1388 | 1388 | div_trunc_node.params()[1] = rhs; |
| 1389 | 1389 | div_trunc_node.rparen_token = try appendToken(rp.c, .RParen, ")"); |
| 1390 | 1390 | return maybeSuppressResult(rp, scope, result_used, &div_trunc_node.base); |
| ... | ... | @@ -1394,9 +1394,9 @@ fn transBinaryOperator( |
| 1394 | 1394 | if (cIsSignedInteger(qt)) { |
| 1395 | 1395 | // signed integer division uses @rem |
| 1396 | 1396 | const rem_node = try rp.c.createBuiltinCall("@rem", 2); |
| 1397 | | rem_node.params()[0] = try transExpr(rp, scope, ZigClangBinaryOperator_getLHS(stmt), .used, .l_value); |
| 1397 | rem_node.params()[0] = try transExpr(rp, scope, stmt.getLHS(), .used, .l_value); |
| 1398 | 1398 | _ = try appendToken(rp.c, .Comma, ","); |
| 1399 | | const rhs = try transExpr(rp, scope, ZigClangBinaryOperator_getRHS(stmt), .used, .r_value); |
| 1399 | const rhs = try transExpr(rp, scope, stmt.getRHS(), .used, .r_value); |
| 1400 | 1400 | rem_node.params()[1] = rhs; |
| 1401 | 1401 | rem_node.rparen_token = try appendToken(rp.c, .RParen, ")"); |
| 1402 | 1402 | return maybeSuppressResult(rp, scope, result_used, &rem_node.base); |
| ... | ... | @@ -1420,7 +1420,7 @@ fn transBinaryOperator( |
| 1420 | 1420 | }, |
| 1421 | 1421 | else => {}, |
| 1422 | 1422 | } |
| 1423 | | const lhs_node = try transExpr(rp, scope, ZigClangBinaryOperator_getLHS(stmt), .used, .l_value); |
| 1423 | const lhs_node = try transExpr(rp, scope, stmt.getLHS(), .used, .l_value); |
| 1424 | 1424 | switch (op) { |
| 1425 | 1425 | .Add => { |
| 1426 | 1426 | if (cIsUnsignedInteger(qt)) { |
| ... | ... | @@ -1498,7 +1498,7 @@ fn transBinaryOperator( |
| 1498 | 1498 | else => unreachable, |
| 1499 | 1499 | } |
| 1500 | 1500 | |
| 1501 | | const rhs_node = try transExpr(rp, scope, ZigClangBinaryOperator_getRHS(stmt), .used, .r_value); |
| 1501 | const rhs_node = try transExpr(rp, scope, stmt.getRHS(), .used, .r_value); |
| 1502 | 1502 | |
| 1503 | 1503 | const lhs = if (isBoolRes(lhs_node)) init: { |
| 1504 | 1504 | const cast_node = try rp.c.createBuiltinCall("@boolToInt", 1); |
| ... | ... | @@ -1520,18 +1520,18 @@ fn transBinaryOperator( |
| 1520 | 1520 | fn transCompoundStmtInline( |
| 1521 | 1521 | rp: RestorePoint, |
| 1522 | 1522 | parent_scope: *Scope, |
| 1523 | | stmt: *const ZigClangCompoundStmt, |
| 1523 | stmt: *const clang.CompoundStmt, |
| 1524 | 1524 | block: *Scope.Block, |
| 1525 | 1525 | ) TransError!void { |
| 1526 | | var it = ZigClangCompoundStmt_body_begin(stmt); |
| 1527 | | const end_it = ZigClangCompoundStmt_body_end(stmt); |
| 1526 | var it = stmt.body_begin(); |
| 1527 | const end_it = stmt.body_end(); |
| 1528 | 1528 | while (it != end_it) : (it += 1) { |
| 1529 | 1529 | const result = try transStmt(rp, parent_scope, it[0], .unused, .r_value); |
| 1530 | 1530 | try block.statements.append(result); |
| 1531 | 1531 | } |
| 1532 | 1532 | } |
| 1533 | 1533 | |
| 1534 | | fn transCompoundStmt(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangCompoundStmt) TransError!*ast.Node { |
| 1534 | fn transCompoundStmt(rp: RestorePoint, scope: *Scope, stmt: *const clang.CompoundStmt) TransError!*ast.Node { |
| 1535 | 1535 | var block_scope = try Scope.Block.init(rp.c, scope, false); |
| 1536 | 1536 | defer block_scope.deinit(); |
| 1537 | 1537 | try transCompoundStmtInline(rp, &block_scope.base, stmt, &block_scope); |
| ... | ... | @@ -1541,17 +1541,17 @@ fn transCompoundStmt(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangCompo |
| 1541 | 1541 | fn transCStyleCastExprClass( |
| 1542 | 1542 | rp: RestorePoint, |
| 1543 | 1543 | scope: *Scope, |
| 1544 | | stmt: *const ZigClangCStyleCastExpr, |
| 1544 | stmt: *const clang.CStyleCastExpr, |
| 1545 | 1545 | result_used: ResultUsed, |
| 1546 | 1546 | lrvalue: LRValue, |
| 1547 | 1547 | ) TransError!*ast.Node { |
| 1548 | | const sub_expr = ZigClangCStyleCastExpr_getSubExpr(stmt); |
| 1548 | const sub_expr = stmt.getSubExpr(); |
| 1549 | 1549 | const cast_node = (try transCCast( |
| 1550 | 1550 | rp, |
| 1551 | 1551 | scope, |
| 1552 | | ZigClangCStyleCastExpr_getBeginLoc(stmt), |
| 1553 | | ZigClangCStyleCastExpr_getType(stmt), |
| 1554 | | ZigClangExpr_getType(sub_expr), |
| 1552 | stmt.getBeginLoc(), |
| 1553 | stmt.getType(), |
| 1554 | sub_expr.getType(), |
| 1555 | 1555 | try transExpr(rp, scope, sub_expr, .used, lrvalue), |
| 1556 | 1556 | )); |
| 1557 | 1557 | return maybeSuppressResult(rp, scope, result_used, cast_node); |
| ... | ... | @@ -1560,22 +1560,20 @@ fn transCStyleCastExprClass( |
| 1560 | 1560 | fn transDeclStmtOne( |
| 1561 | 1561 | rp: RestorePoint, |
| 1562 | 1562 | scope: *Scope, |
| 1563 | | decl: *const ZigClangDecl, |
| 1563 | decl: *const clang.Decl, |
| 1564 | 1564 | block_scope: *Scope.Block, |
| 1565 | 1565 | ) TransError!*ast.Node { |
| 1566 | 1566 | const c = rp.c; |
| 1567 | 1567 | |
| 1568 | | switch (ZigClangDecl_getKind(decl)) { |
| 1568 | switch (decl.getKind()) { |
| 1569 | 1569 | .Var => { |
| 1570 | | const var_decl = @ptrCast(*const ZigClangVarDecl, decl); |
| 1570 | const var_decl = @ptrCast(*const clang.VarDecl, decl); |
| 1571 | 1571 | |
| 1572 | | const qual_type = ZigClangVarDecl_getTypeSourceInfo_getType(var_decl); |
| 1573 | | const name = try c.str(ZigClangNamedDecl_getName_bytes_begin( |
| 1574 | | @ptrCast(*const ZigClangNamedDecl, var_decl), |
| 1575 | | )); |
| 1572 | const qual_type = var_decl.getTypeSourceInfo_getType(); |
| 1573 | const name = try c.str(@ptrCast(*const clang.NamedDecl, var_decl).getName_bytes_begin()); |
| 1576 | 1574 | const mangled_name = try block_scope.makeMangledName(c, name); |
| 1577 | 1575 | |
| 1578 | | switch (ZigClangVarDecl_getStorageClass(var_decl)) { |
| 1576 | switch (var_decl.getStorageClass()) { |
| 1579 | 1577 | .Extern, .Static => { |
| 1580 | 1578 | // This is actually a global variable, put it in the global scope and reference it. |
| 1581 | 1579 | // `_ = mangled_name;` |
| ... | ... | @@ -1585,18 +1583,18 @@ fn transDeclStmtOne( |
| 1585 | 1583 | else => {}, |
| 1586 | 1584 | } |
| 1587 | 1585 | |
| 1588 | | const mut_tok = if (ZigClangQualType_isConstQualified(qual_type)) |
| 1586 | const mut_tok = if (qual_type.isConstQualified()) |
| 1589 | 1587 | try appendToken(c, .Keyword_const, "const") |
| 1590 | 1588 | else |
| 1591 | 1589 | try appendToken(c, .Keyword_var, "var"); |
| 1592 | 1590 | const name_tok = try appendIdentifier(c, mangled_name); |
| 1593 | 1591 | |
| 1594 | 1592 | _ = try appendToken(c, .Colon, ":"); |
| 1595 | | const loc = ZigClangDecl_getLocation(decl); |
| 1593 | const loc = decl.getLocation(); |
| 1596 | 1594 | const type_node = try transQualType(rp, qual_type, loc); |
| 1597 | 1595 | |
| 1598 | 1596 | const eq_token = try appendToken(c, .Equal, "="); |
| 1599 | | var init_node = if (ZigClangVarDecl_getInit(var_decl)) |expr| |
| 1597 | var init_node = if (var_decl.getInit()) |expr| |
| 1600 | 1598 | try transExprCoercing(rp, scope, expr, .used, .r_value) |
| 1601 | 1599 | else |
| 1602 | 1600 | try transCreateNodeUndefinedLiteral(c); |
| ... | ... | @@ -1619,13 +1617,11 @@ fn transDeclStmtOne( |
| 1619 | 1617 | return &node.base; |
| 1620 | 1618 | }, |
| 1621 | 1619 | .Typedef => { |
| 1622 | | const typedef_decl = @ptrCast(*const ZigClangTypedefNameDecl, decl); |
| 1623 | | const name = try c.str(ZigClangNamedDecl_getName_bytes_begin( |
| 1624 | | @ptrCast(*const ZigClangNamedDecl, typedef_decl), |
| 1625 | | )); |
| 1620 | const typedef_decl = @ptrCast(*const clang.TypedefNameDecl, decl); |
| 1621 | const name = try c.str(@ptrCast(*const clang.NamedDecl, typedef_decl).getName_bytes_begin()); |
| 1626 | 1622 | |
| 1627 | | const underlying_qual = ZigClangTypedefNameDecl_getUnderlyingType(typedef_decl); |
| 1628 | | const underlying_type = ZigClangQualType_getTypePtr(underlying_qual); |
| 1623 | const underlying_qual = typedef_decl.getUnderlyingType(); |
| 1624 | const underlying_type = underlying_qual.getTypePtr(); |
| 1629 | 1625 | |
| 1630 | 1626 | const mangled_name = try block_scope.makeMangledName(c, name); |
| 1631 | 1627 | const node = (try transCreateNodeTypedef(rp, typedef_decl, false, mangled_name)) orelse |
| ... | ... | @@ -1635,18 +1631,18 @@ fn transDeclStmtOne( |
| 1635 | 1631 | else => |kind| return revertAndWarn( |
| 1636 | 1632 | rp, |
| 1637 | 1633 | error.UnsupportedTranslation, |
| 1638 | | ZigClangDecl_getLocation(decl), |
| 1634 | decl.getLocation(), |
| 1639 | 1635 | "TODO implement translation of DeclStmt kind {}", |
| 1640 | 1636 | .{@tagName(kind)}, |
| 1641 | 1637 | ), |
| 1642 | 1638 | } |
| 1643 | 1639 | } |
| 1644 | 1640 | |
| 1645 | | fn transDeclStmt(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangDeclStmt) TransError!*ast.Node { |
| 1641 | fn transDeclStmt(rp: RestorePoint, scope: *Scope, stmt: *const clang.DeclStmt) TransError!*ast.Node { |
| 1646 | 1642 | const block_scope = scope.findBlockScope(rp.c) catch unreachable; |
| 1647 | 1643 | |
| 1648 | | var it = ZigClangDeclStmt_decl_begin(stmt); |
| 1649 | | const end_it = ZigClangDeclStmt_decl_end(stmt); |
| 1644 | var it = stmt.decl_begin(); |
| 1645 | const end_it = stmt.decl_end(); |
| 1650 | 1646 | assert(it != end_it); |
| 1651 | 1647 | while (true) : (it += 1) { |
| 1652 | 1648 | const node = try transDeclStmtOne(rp, scope, it[0], block_scope); |
| ... | ... | @@ -1663,11 +1659,11 @@ fn transDeclStmt(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangDeclStmt) |
| 1663 | 1659 | fn transDeclRefExpr( |
| 1664 | 1660 | rp: RestorePoint, |
| 1665 | 1661 | scope: *Scope, |
| 1666 | | expr: *const ZigClangDeclRefExpr, |
| 1662 | expr: *const clang.DeclRefExpr, |
| 1667 | 1663 | lrvalue: LRValue, |
| 1668 | 1664 | ) TransError!*ast.Node { |
| 1669 | | const value_decl = ZigClangDeclRefExpr_getDecl(expr); |
| 1670 | | const name = try rp.c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, value_decl))); |
| 1665 | const value_decl = expr.getDecl(); |
| 1666 | const name = try rp.c.str(@ptrCast(*const clang.NamedDecl, value_decl).getName_bytes_begin()); |
| 1671 | 1667 | const mangled_name = scope.getAlias(name); |
| 1672 | 1668 | return transCreateNodeIdentifier(rp.c, mangled_name); |
| 1673 | 1669 | } |
| ... | ... | @@ -1675,17 +1671,17 @@ fn transDeclRefExpr( |
| 1675 | 1671 | fn transImplicitCastExpr( |
| 1676 | 1672 | rp: RestorePoint, |
| 1677 | 1673 | scope: *Scope, |
| 1678 | | expr: *const ZigClangImplicitCastExpr, |
| 1674 | expr: *const clang.ImplicitCastExpr, |
| 1679 | 1675 | result_used: ResultUsed, |
| 1680 | 1676 | ) TransError!*ast.Node { |
| 1681 | 1677 | const c = rp.c; |
| 1682 | | const sub_expr = ZigClangImplicitCastExpr_getSubExpr(expr); |
| 1683 | | const dest_type = getExprQualType(c, @ptrCast(*const ZigClangExpr, expr)); |
| 1678 | const sub_expr = expr.getSubExpr(); |
| 1679 | const dest_type = getExprQualType(c, @ptrCast(*const clang.Expr, expr)); |
| 1684 | 1680 | const src_type = getExprQualType(c, sub_expr); |
| 1685 | | switch (ZigClangImplicitCastExpr_getCastKind(expr)) { |
| 1681 | switch (expr.getCastKind()) { |
| 1686 | 1682 | .BitCast, .FloatingCast, .FloatingToIntegral, .IntegralToFloating, .IntegralCast, .PointerToIntegral, .IntegralToPointer => { |
| 1687 | 1683 | const sub_expr_node = try transExpr(rp, scope, sub_expr, .used, .r_value); |
| 1688 | | return try transCCast(rp, scope, ZigClangImplicitCastExpr_getBeginLoc(expr), dest_type, src_type, sub_expr_node); |
| 1684 | return try transCCast(rp, scope, expr.getBeginLoc(), dest_type, src_type, sub_expr_node); |
| 1689 | 1685 | }, |
| 1690 | 1686 | .LValueToRValue, .NoOp, .FunctionToPointerDecay => { |
| 1691 | 1687 | const sub_expr_node = try transExpr(rp, scope, sub_expr, .used, .r_value); |
| ... | ... | @@ -1730,7 +1726,7 @@ fn transImplicitCastExpr( |
| 1730 | 1726 | else => |kind| return revertAndWarn( |
| 1731 | 1727 | rp, |
| 1732 | 1728 | error.UnsupportedTranslation, |
| 1733 | | ZigClangStmt_getBeginLoc(@ptrCast(*const ZigClangStmt, expr)), |
| 1729 | @ptrCast(*const clang.Stmt, expr).getBeginLoc(), |
| 1734 | 1730 | "TODO implement translation of CastKind {}", |
| 1735 | 1731 | .{@tagName(kind)}, |
| 1736 | 1732 | ), |
| ... | ... | @@ -1740,15 +1736,15 @@ fn transImplicitCastExpr( |
| 1740 | 1736 | fn transBoolExpr( |
| 1741 | 1737 | rp: RestorePoint, |
| 1742 | 1738 | scope: *Scope, |
| 1743 | | expr: *const ZigClangExpr, |
| 1739 | expr: *const clang.Expr, |
| 1744 | 1740 | used: ResultUsed, |
| 1745 | 1741 | lrvalue: LRValue, |
| 1746 | 1742 | grouped: bool, |
| 1747 | 1743 | ) TransError!*ast.Node { |
| 1748 | | if (ZigClangStmt_getStmtClass(@ptrCast(*const ZigClangStmt, expr)) == .IntegerLiteralClass) { |
| 1744 | if (@ptrCast(*const clang.Stmt, expr).getStmtClass() == .IntegerLiteralClass) { |
| 1749 | 1745 | var is_zero: bool = undefined; |
| 1750 | | if (!ZigClangIntegerLiteral_isZero(@ptrCast(*const ZigClangIntegerLiteral, expr), &is_zero, rp.c.clang_context)) { |
| 1751 | | return revertAndWarn(rp, error.UnsupportedTranslation, ZigClangExpr_getBeginLoc(expr), "invalid integer literal", .{}); |
| 1746 | if (!(@ptrCast(*const clang.IntegerLiteral, expr).isZero(&is_zero, rp.c.clang_context))) { |
| 1747 | return revertAndWarn(rp, error.UnsupportedTranslation, expr.getBeginLoc(), "invalid integer literal", .{}); |
| 1752 | 1748 | } |
| 1753 | 1749 | return try transCreateNodeBoolLiteral(rp.c, !is_zero); |
| 1754 | 1750 | } |
| ... | ... | @@ -1769,8 +1765,8 @@ fn transBoolExpr( |
| 1769 | 1765 | return res; |
| 1770 | 1766 | } |
| 1771 | 1767 | |
| 1772 | | const ty = ZigClangQualType_getTypePtr(getExprQualType(rp.c, expr)); |
| 1773 | | const node = try finishBoolExpr(rp, scope, ZigClangExpr_getBeginLoc(expr), ty, res, used); |
| 1768 | const ty = getExprQualType(rp.c, expr).getTypePtr(); |
| 1769 | const node = try finishBoolExpr(rp, scope, expr.getBeginLoc(), ty, res, used); |
| 1774 | 1770 | |
| 1775 | 1771 | if (grouped) { |
| 1776 | 1772 | const rparen = try appendToken(rp.c, .RParen, ")"); |
| ... | ... | @@ -1786,16 +1782,16 @@ fn transBoolExpr( |
| 1786 | 1782 | } |
| 1787 | 1783 | } |
| 1788 | 1784 | |
| 1789 | | fn exprIsBooleanType(expr: *const ZigClangExpr) bool { |
| 1790 | | return qualTypeIsBoolean(ZigClangExpr_getType(expr)); |
| 1785 | fn exprIsBooleanType(expr: *const clang.Expr) bool { |
| 1786 | return qualTypeIsBoolean(expr.getType()); |
| 1791 | 1787 | } |
| 1792 | 1788 | |
| 1793 | | fn exprIsStringLiteral(expr: *const ZigClangExpr) bool { |
| 1794 | | switch (ZigClangExpr_getStmtClass(expr)) { |
| 1789 | fn exprIsStringLiteral(expr: *const clang.Expr) bool { |
| 1790 | switch (expr.getStmtClass()) { |
| 1795 | 1791 | .StringLiteralClass => return true, |
| 1796 | 1792 | .PredefinedExprClass => return true, |
| 1797 | 1793 | .UnaryOperatorClass => { |
| 1798 | | const op_expr = ZigClangUnaryOperator_getSubExpr(@ptrCast(*const ZigClangUnaryOperator, expr)); |
| 1794 | const op_expr = @ptrCast(*const clang.UnaryOperator, expr).getSubExpr(); |
| 1799 | 1795 | return exprIsStringLiteral(op_expr); |
| 1800 | 1796 | }, |
| 1801 | 1797 | else => return false, |
| ... | ... | @@ -1825,16 +1821,16 @@ fn isBoolRes(res: *ast.Node) bool { |
| 1825 | 1821 | fn finishBoolExpr( |
| 1826 | 1822 | rp: RestorePoint, |
| 1827 | 1823 | scope: *Scope, |
| 1828 | | loc: ZigClangSourceLocation, |
| 1829 | | ty: *const ZigClangType, |
| 1824 | loc: clang.SourceLocation, |
| 1825 | ty: *const clang.Type, |
| 1830 | 1826 | node: *ast.Node, |
| 1831 | 1827 | used: ResultUsed, |
| 1832 | 1828 | ) TransError!*ast.Node { |
| 1833 | | switch (ZigClangType_getTypeClass(ty)) { |
| 1829 | switch (ty.getTypeClass()) { |
| 1834 | 1830 | .Builtin => { |
| 1835 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, ty); |
| 1831 | const builtin_ty = @ptrCast(*const clang.BuiltinType, ty); |
| 1836 | 1832 | |
| 1837 | | switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 1833 | switch (builtin_ty.getKind()) { |
| 1838 | 1834 | .Bool => return node, |
| 1839 | 1835 | .Char_U, |
| 1840 | 1836 | .UChar, |
| ... | ... | @@ -1879,10 +1875,10 @@ fn finishBoolExpr( |
| 1879 | 1875 | return transCreateNodeInfixOp(rp, scope, node, .BangEqual, op_token, rhs_node, used, false); |
| 1880 | 1876 | }, |
| 1881 | 1877 | .Typedef => { |
| 1882 | | const typedef_ty = @ptrCast(*const ZigClangTypedefType, ty); |
| 1883 | | const typedef_decl = ZigClangTypedefType_getDecl(typedef_ty); |
| 1884 | | const underlying_type = ZigClangTypedefNameDecl_getUnderlyingType(typedef_decl); |
| 1885 | | return finishBoolExpr(rp, scope, loc, ZigClangQualType_getTypePtr(underlying_type), node, used); |
| 1878 | const typedef_ty = @ptrCast(*const clang.TypedefType, ty); |
| 1879 | const typedef_decl = typedef_ty.getDecl(); |
| 1880 | const underlying_type = typedef_decl.getUnderlyingType(); |
| 1881 | return finishBoolExpr(rp, scope, loc, underlying_type.getTypePtr(), node, used); |
| 1886 | 1882 | }, |
| 1887 | 1883 | .Enum => { |
| 1888 | 1884 | const op_token = try appendToken(rp.c, .BangEqual, "!="); |
| ... | ... | @@ -1890,9 +1886,9 @@ fn finishBoolExpr( |
| 1890 | 1886 | return transCreateNodeInfixOp(rp, scope, node, .BangEqual, op_token, rhs_node, used, false); |
| 1891 | 1887 | }, |
| 1892 | 1888 | .Elaborated => { |
| 1893 | | const elaborated_ty = @ptrCast(*const ZigClangElaboratedType, ty); |
| 1894 | | const named_type = ZigClangElaboratedType_getNamedType(elaborated_ty); |
| 1895 | | return finishBoolExpr(rp, scope, loc, ZigClangQualType_getTypePtr(named_type), node, used); |
| 1889 | const elaborated_ty = @ptrCast(*const clang.ElaboratedType, ty); |
| 1890 | const named_type = elaborated_ty.getNamedType(); |
| 1891 | return finishBoolExpr(rp, scope, loc, named_type.getTypePtr(), node, used); |
| 1896 | 1892 | }, |
| 1897 | 1893 | else => {}, |
| 1898 | 1894 | } |
| ... | ... | @@ -1906,18 +1902,18 @@ const SuppressCast = enum { |
| 1906 | 1902 | fn transIntegerLiteral( |
| 1907 | 1903 | rp: RestorePoint, |
| 1908 | 1904 | scope: *Scope, |
| 1909 | | expr: *const ZigClangIntegerLiteral, |
| 1905 | expr: *const clang.IntegerLiteral, |
| 1910 | 1906 | result_used: ResultUsed, |
| 1911 | 1907 | suppress_as: SuppressCast, |
| 1912 | 1908 | ) TransError!*ast.Node { |
| 1913 | | var eval_result: ZigClangExprEvalResult = undefined; |
| 1914 | | if (!ZigClangIntegerLiteral_EvaluateAsInt(expr, &eval_result, rp.c.clang_context)) { |
| 1915 | | const loc = ZigClangIntegerLiteral_getBeginLoc(expr); |
| 1909 | var eval_result: clang.ExprEvalResult = undefined; |
| 1910 | if (!expr.EvaluateAsInt(&eval_result, rp.c.clang_context)) { |
| 1911 | const loc = expr.getBeginLoc(); |
| 1916 | 1912 | return revertAndWarn(rp, error.UnsupportedTranslation, loc, "invalid integer literal", .{}); |
| 1917 | 1913 | } |
| 1918 | 1914 | |
| 1919 | 1915 | if (suppress_as == .no_as) { |
| 1920 | | const int_lit_node = try transCreateNodeAPInt(rp.c, ZigClangAPValue_getInt(&eval_result.Val)); |
| 1916 | const int_lit_node = try transCreateNodeAPInt(rp.c, eval_result.Val.getInt()); |
| 1921 | 1917 | return maybeSuppressResult(rp, scope, result_used, int_lit_node); |
| 1922 | 1918 | } |
| 1923 | 1919 | |
| ... | ... | @@ -1932,12 +1928,12 @@ fn transIntegerLiteral( |
| 1932 | 1928 | // But the first step is to be correct, and the next step is to make the output more elegant. |
| 1933 | 1929 | |
| 1934 | 1930 | // @as(T, x) |
| 1935 | | const expr_base = @ptrCast(*const ZigClangExpr, expr); |
| 1931 | const expr_base = @ptrCast(*const clang.Expr, expr); |
| 1936 | 1932 | const as_node = try rp.c.createBuiltinCall("@as", 2); |
| 1937 | | const ty_node = try transQualType(rp, ZigClangExpr_getType(expr_base), ZigClangExpr_getBeginLoc(expr_base)); |
| 1933 | const ty_node = try transQualType(rp, expr_base.getType(), expr_base.getBeginLoc()); |
| 1938 | 1934 | as_node.params()[0] = ty_node; |
| 1939 | 1935 | _ = try appendToken(rp.c, .Comma, ","); |
| 1940 | | as_node.params()[1] = try transCreateNodeAPInt(rp.c, ZigClangAPValue_getInt(&eval_result.Val)); |
| 1936 | as_node.params()[1] = try transCreateNodeAPInt(rp.c, eval_result.Val.getInt()); |
| 1941 | 1937 | |
| 1942 | 1938 | as_node.rparen_token = try appendToken(rp.c, .RParen, ")"); |
| 1943 | 1939 | return maybeSuppressResult(rp, scope, result_used, &as_node.base); |
| ... | ... | @@ -1946,10 +1942,10 @@ fn transIntegerLiteral( |
| 1946 | 1942 | fn transReturnStmt( |
| 1947 | 1943 | rp: RestorePoint, |
| 1948 | 1944 | scope: *Scope, |
| 1949 | | expr: *const ZigClangReturnStmt, |
| 1945 | expr: *const clang.ReturnStmt, |
| 1950 | 1946 | ) TransError!*ast.Node { |
| 1951 | 1947 | const return_kw = try appendToken(rp.c, .Keyword_return, "return"); |
| 1952 | | const rhs: ?*ast.Node = if (ZigClangReturnStmt_getRetValue(expr)) |val_expr| |
| 1948 | const rhs: ?*ast.Node = if (expr.getRetValue()) |val_expr| |
| 1953 | 1949 | try transExprCoercing(rp, scope, val_expr, .used, .r_value) |
| 1954 | 1950 | else |
| 1955 | 1951 | null; |
| ... | ... | @@ -1966,14 +1962,14 @@ fn transReturnStmt( |
| 1966 | 1962 | fn transStringLiteral( |
| 1967 | 1963 | rp: RestorePoint, |
| 1968 | 1964 | scope: *Scope, |
| 1969 | | stmt: *const ZigClangStringLiteral, |
| 1965 | stmt: *const clang.StringLiteral, |
| 1970 | 1966 | result_used: ResultUsed, |
| 1971 | 1967 | ) TransError!*ast.Node { |
| 1972 | | const kind = ZigClangStringLiteral_getKind(stmt); |
| 1968 | const kind = stmt.getKind(); |
| 1973 | 1969 | switch (kind) { |
| 1974 | 1970 | .Ascii, .UTF8 => { |
| 1975 | 1971 | var len: usize = undefined; |
| 1976 | | const bytes_ptr = ZigClangStringLiteral_getString_bytes_begin_size(stmt, &len); |
| 1972 | const bytes_ptr = stmt.getString_bytes_begin_size(&len); |
| 1977 | 1973 | const str = bytes_ptr[0..len]; |
| 1978 | 1974 | |
| 1979 | 1975 | var char_buf: [4]u8 = undefined; |
| ... | ... | @@ -1996,7 +1992,7 @@ fn transStringLiteral( |
| 1996 | 1992 | .UTF16, .UTF32, .Wide => return revertAndWarn( |
| 1997 | 1993 | rp, |
| 1998 | 1994 | error.UnsupportedTranslation, |
| 1999 | | ZigClangStmt_getBeginLoc(@ptrCast(*const ZigClangStmt, stmt)), |
| 1995 | @ptrCast(*const clang.Stmt, stmt).getBeginLoc(), |
| 2000 | 1996 | "TODO: support string literal kind {}", |
| 2001 | 1997 | .{kind}, |
| 2002 | 1998 | ), |
| ... | ... | @@ -2041,13 +2037,13 @@ fn escapeChar(c: u8, char_buf: *[4]u8) []const u8 { |
| 2041 | 2037 | fn transCCast( |
| 2042 | 2038 | rp: RestorePoint, |
| 2043 | 2039 | scope: *Scope, |
| 2044 | | loc: ZigClangSourceLocation, |
| 2045 | | dst_type: ZigClangQualType, |
| 2046 | | src_type: ZigClangQualType, |
| 2040 | loc: clang.SourceLocation, |
| 2041 | dst_type: clang.QualType, |
| 2042 | src_type: clang.QualType, |
| 2047 | 2043 | expr: *ast.Node, |
| 2048 | 2044 | ) !*ast.Node { |
| 2049 | | if (ZigClangType_isVoidType(qualTypeCanon(dst_type))) return expr; |
| 2050 | | if (ZigClangQualType_eq(dst_type, src_type)) return expr; |
| 2045 | if (qualTypeCanon(dst_type).isVoidType()) return expr; |
| 2046 | if (dst_type.eq(src_type)) return expr; |
| 2051 | 2047 | if (qualTypeIsPtr(dst_type) and qualTypeIsPtr(src_type)) |
| 2052 | 2048 | return transCPtrCast(rp, loc, dst_type, src_type, expr); |
| 2053 | 2049 | if (cIsInteger(dst_type) and cIsInteger(src_type)) { |
| ... | ... | @@ -2134,9 +2130,7 @@ fn transCCast( |
| 2134 | 2130 | builtin_node.rparen_token = try appendToken(rp.c, .RParen, ")"); |
| 2135 | 2131 | return &builtin_node.base; |
| 2136 | 2132 | } |
| 2137 | | if (ZigClangType_isBooleanType(qualTypeCanon(src_type)) and |
| 2138 | | !ZigClangType_isBooleanType(qualTypeCanon(dst_type))) |
| 2139 | | { |
| 2133 | if (qualTypeIsBoolean(src_type) and !qualTypeIsBoolean(dst_type)) { |
| 2140 | 2134 | // @boolToInt returns either a comptime_int or a u1 |
| 2141 | 2135 | const builtin_node = try rp.c.createBuiltinCall("@boolToInt", 1); |
| 2142 | 2136 | builtin_node.params()[0] = expr; |
| ... | ... | @@ -2166,7 +2160,7 @@ fn transCCast( |
| 2166 | 2160 | |
| 2167 | 2161 | return &cast_node.base; |
| 2168 | 2162 | } |
| 2169 | | if (ZigClangQualType_getTypeClass(ZigClangQualType_getCanonicalType(dst_type)) == .Enum) { |
| 2163 | if (dst_type.getCanonicalType().getTypeClass() == .Enum) { |
| 2170 | 2164 | const builtin_node = try rp.c.createBuiltinCall("@intToEnum", 2); |
| 2171 | 2165 | builtin_node.params()[0] = try transQualType(rp, dst_type, loc); |
| 2172 | 2166 | _ = try appendToken(rp.c, .Comma, ","); |
| ... | ... | @@ -2174,8 +2168,8 @@ fn transCCast( |
| 2174 | 2168 | builtin_node.rparen_token = try appendToken(rp.c, .RParen, ")"); |
| 2175 | 2169 | return &builtin_node.base; |
| 2176 | 2170 | } |
| 2177 | | if (ZigClangQualType_getTypeClass(ZigClangQualType_getCanonicalType(src_type)) == .Enum and |
| 2178 | | ZigClangQualType_getTypeClass(ZigClangQualType_getCanonicalType(dst_type)) != .Enum) |
| 2171 | if (src_type.getCanonicalType().getTypeClass() == .Enum and |
| 2172 | dst_type.getCanonicalType().getTypeClass() != .Enum) |
| 2179 | 2173 | { |
| 2180 | 2174 | const builtin_node = try rp.c.createBuiltinCall("@enumToInt", 1); |
| 2181 | 2175 | builtin_node.params()[0] = expr; |
| ... | ... | @@ -2193,11 +2187,11 @@ fn transCCast( |
| 2193 | 2187 | fn transExpr( |
| 2194 | 2188 | rp: RestorePoint, |
| 2195 | 2189 | scope: *Scope, |
| 2196 | | expr: *const ZigClangExpr, |
| 2190 | expr: *const clang.Expr, |
| 2197 | 2191 | used: ResultUsed, |
| 2198 | 2192 | lrvalue: LRValue, |
| 2199 | 2193 | ) TransError!*ast.Node { |
| 2200 | | return transStmt(rp, scope, @ptrCast(*const ZigClangStmt, expr), used, lrvalue); |
| 2194 | return transStmt(rp, scope, @ptrCast(*const clang.Stmt, expr), used, lrvalue); |
| 2201 | 2195 | } |
| 2202 | 2196 | |
| 2203 | 2197 | /// Same as `transExpr` but with the knowledge that the operand will be type coerced, and therefore |
| ... | ... | @@ -2205,21 +2199,21 @@ fn transExpr( |
| 2205 | 2199 | fn transExprCoercing( |
| 2206 | 2200 | rp: RestorePoint, |
| 2207 | 2201 | scope: *Scope, |
| 2208 | | expr: *const ZigClangExpr, |
| 2202 | expr: *const clang.Expr, |
| 2209 | 2203 | used: ResultUsed, |
| 2210 | 2204 | lrvalue: LRValue, |
| 2211 | 2205 | ) TransError!*ast.Node { |
| 2212 | | switch (ZigClangStmt_getStmtClass(@ptrCast(*const ZigClangStmt, expr))) { |
| 2206 | switch (@ptrCast(*const clang.Stmt, expr).getStmtClass()) { |
| 2213 | 2207 | .IntegerLiteralClass => { |
| 2214 | | return transIntegerLiteral(rp, scope, @ptrCast(*const ZigClangIntegerLiteral, expr), .used, .no_as); |
| 2208 | return transIntegerLiteral(rp, scope, @ptrCast(*const clang.IntegerLiteral, expr), .used, .no_as); |
| 2215 | 2209 | }, |
| 2216 | 2210 | .CharacterLiteralClass => { |
| 2217 | | return transCharLiteral(rp, scope, @ptrCast(*const ZigClangCharacterLiteral, expr), .used, .no_as); |
| 2211 | return transCharLiteral(rp, scope, @ptrCast(*const clang.CharacterLiteral, expr), .used, .no_as); |
| 2218 | 2212 | }, |
| 2219 | 2213 | .UnaryOperatorClass => { |
| 2220 | | const un_expr = @ptrCast(*const ZigClangUnaryOperator, expr); |
| 2221 | | if (ZigClangUnaryOperator_getOpcode(un_expr) == .Extension) { |
| 2222 | | return transExprCoercing(rp, scope, ZigClangUnaryOperator_getSubExpr(un_expr), used, lrvalue); |
| 2214 | const un_expr = @ptrCast(*const clang.UnaryOperator, expr); |
| 2215 | if (un_expr.getOpcode() == .Extension) { |
| 2216 | return transExprCoercing(rp, scope, un_expr.getSubExpr(), used, lrvalue); |
| 2223 | 2217 | } |
| 2224 | 2218 | }, |
| 2225 | 2219 | else => {}, |
| ... | ... | @@ -2230,51 +2224,51 @@ fn transExprCoercing( |
| 2230 | 2224 | fn transInitListExprRecord( |
| 2231 | 2225 | rp: RestorePoint, |
| 2232 | 2226 | scope: *Scope, |
| 2233 | | loc: ZigClangSourceLocation, |
| 2234 | | expr: *const ZigClangInitListExpr, |
| 2235 | | ty: *const ZigClangType, |
| 2227 | loc: clang.SourceLocation, |
| 2228 | expr: *const clang.InitListExpr, |
| 2229 | ty: *const clang.Type, |
| 2236 | 2230 | used: ResultUsed, |
| 2237 | 2231 | ) TransError!*ast.Node { |
| 2238 | 2232 | var is_union_type = false; |
| 2239 | 2233 | // Unions and Structs are both represented as RecordDecl |
| 2240 | | const record_ty = ZigClangType_getAsRecordType(ty) orelse |
| 2234 | const record_ty = ty.getAsRecordType() orelse |
| 2241 | 2235 | blk: { |
| 2242 | 2236 | is_union_type = true; |
| 2243 | | break :blk ZigClangType_getAsUnionType(ty); |
| 2237 | break :blk ty.getAsUnionType(); |
| 2244 | 2238 | } orelse unreachable; |
| 2245 | | const record_decl = ZigClangRecordType_getDecl(record_ty); |
| 2246 | | const record_def = ZigClangRecordDecl_getDefinition(record_decl) orelse |
| 2239 | const record_decl = record_ty.getDecl(); |
| 2240 | const record_def = record_decl.getDefinition() orelse |
| 2247 | 2241 | unreachable; |
| 2248 | 2242 | |
| 2249 | 2243 | const ty_node = try transType(rp, ty, loc); |
| 2250 | | const init_count = ZigClangInitListExpr_getNumInits(expr); |
| 2244 | const init_count = expr.getNumInits(); |
| 2251 | 2245 | var field_inits = std.ArrayList(*ast.Node).init(rp.c.gpa); |
| 2252 | 2246 | defer field_inits.deinit(); |
| 2253 | 2247 | |
| 2254 | 2248 | _ = try appendToken(rp.c, .LBrace, "{"); |
| 2255 | 2249 | |
| 2256 | 2250 | var init_i: c_uint = 0; |
| 2257 | | var it = ZigClangRecordDecl_field_begin(record_def); |
| 2258 | | const end_it = ZigClangRecordDecl_field_end(record_def); |
| 2259 | | while (ZigClangRecordDecl_field_iterator_neq(it, end_it)) : (it = ZigClangRecordDecl_field_iterator_next(it)) { |
| 2260 | | const field_decl = ZigClangRecordDecl_field_iterator_deref(it); |
| 2251 | var it = record_def.field_begin(); |
| 2252 | const end_it = record_def.field_end(); |
| 2253 | while (it.neq(end_it)) : (it = it.next()) { |
| 2254 | const field_decl = it.deref(); |
| 2261 | 2255 | |
| 2262 | 2256 | // The initializer for a union type has a single entry only |
| 2263 | | if (is_union_type and field_decl != ZigClangInitListExpr_getInitializedFieldInUnion(expr)) { |
| 2257 | if (is_union_type and field_decl != expr.getInitializedFieldInUnion()) { |
| 2264 | 2258 | continue; |
| 2265 | 2259 | } |
| 2266 | 2260 | |
| 2267 | 2261 | assert(init_i < init_count); |
| 2268 | | const elem_expr = ZigClangInitListExpr_getInit(expr, init_i); |
| 2262 | const elem_expr = expr.getInit(init_i); |
| 2269 | 2263 | init_i += 1; |
| 2270 | 2264 | |
| 2271 | 2265 | // Generate the field assignment expression: |
| 2272 | 2266 | // .field_name = expr |
| 2273 | 2267 | const period_tok = try appendToken(rp.c, .Period, "."); |
| 2274 | 2268 | |
| 2275 | | var raw_name = try rp.c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, field_decl))); |
| 2276 | | if (ZigClangFieldDecl_isAnonymousStructOrUnion(field_decl)) { |
| 2277 | | const name = rp.c.decl_table.get(@ptrToInt(ZigClangFieldDecl_getCanonicalDecl(field_decl))).?; |
| 2269 | var raw_name = try rp.c.str(@ptrCast(*const clang.NamedDecl, field_decl).getName_bytes_begin()); |
| 2270 | if (field_decl.isAnonymousStructOrUnion()) { |
| 2271 | const name = rp.c.decl_table.get(@ptrToInt(field_decl.getCanonicalDecl())).?; |
| 2278 | 2272 | raw_name = try mem.dupe(rp.c.arena, u8, name); |
| 2279 | 2273 | } |
| 2280 | 2274 | const field_name_tok = try appendIdentifier(rp.c, raw_name); |
| ... | ... | @@ -2304,8 +2298,8 @@ fn transInitListExprRecord( |
| 2304 | 2298 | |
| 2305 | 2299 | fn transCreateNodeArrayType( |
| 2306 | 2300 | rp: RestorePoint, |
| 2307 | | source_loc: ZigClangSourceLocation, |
| 2308 | | ty: *const ZigClangType, |
| 2301 | source_loc: clang.SourceLocation, |
| 2302 | ty: *const clang.Type, |
| 2309 | 2303 | len: anytype, |
| 2310 | 2304 | ) !*ast.Node { |
| 2311 | 2305 | const node = try rp.c.arena.create(ast.Node.ArrayType); |
| ... | ... | @@ -2323,18 +2317,18 @@ fn transCreateNodeArrayType( |
| 2323 | 2317 | fn transInitListExprArray( |
| 2324 | 2318 | rp: RestorePoint, |
| 2325 | 2319 | scope: *Scope, |
| 2326 | | loc: ZigClangSourceLocation, |
| 2327 | | expr: *const ZigClangInitListExpr, |
| 2328 | | ty: *const ZigClangType, |
| 2320 | loc: clang.SourceLocation, |
| 2321 | expr: *const clang.InitListExpr, |
| 2322 | ty: *const clang.Type, |
| 2329 | 2323 | used: ResultUsed, |
| 2330 | 2324 | ) TransError!*ast.Node { |
| 2331 | | const arr_type = ZigClangType_getAsArrayTypeUnsafe(ty); |
| 2332 | | const child_qt = ZigClangArrayType_getElementType(arr_type); |
| 2333 | | const init_count = ZigClangInitListExpr_getNumInits(expr); |
| 2334 | | assert(ZigClangType_isConstantArrayType(@ptrCast(*const ZigClangType, arr_type))); |
| 2335 | | const const_arr_ty = @ptrCast(*const ZigClangConstantArrayType, arr_type); |
| 2336 | | const size_ap_int = ZigClangConstantArrayType_getSize(const_arr_ty); |
| 2337 | | const all_count = ZigClangAPInt_getLimitedValue(size_ap_int, math.maxInt(usize)); |
| 2325 | const arr_type = ty.getAsArrayTypeUnsafe(); |
| 2326 | const child_qt = arr_type.getElementType(); |
| 2327 | const init_count = expr.getNumInits(); |
| 2328 | assert(@ptrCast(*const clang.Type, arr_type).isConstantArrayType()); |
| 2329 | const const_arr_ty = @ptrCast(*const clang.ConstantArrayType, arr_type); |
| 2330 | const size_ap_int = const_arr_ty.getSize(); |
| 2331 | const all_count = size_ap_int.getLimitedValue(math.maxInt(usize)); |
| 2338 | 2332 | const leftover_count = all_count - init_count; |
| 2339 | 2333 | |
| 2340 | 2334 | var init_node: *ast.Node.ArrayInitializer = undefined; |
| ... | ... | @@ -2343,7 +2337,7 @@ fn transInitListExprArray( |
| 2343 | 2337 | const ty_node = try transCreateNodeArrayType( |
| 2344 | 2338 | rp, |
| 2345 | 2339 | loc, |
| 2346 | | ZigClangQualType_getTypePtr(child_qt), |
| 2340 | child_qt.getTypePtr(), |
| 2347 | 2341 | init_count, |
| 2348 | 2342 | ); |
| 2349 | 2343 | _ = try appendToken(rp.c, .LBrace, "{"); |
| ... | ... | @@ -2357,7 +2351,7 @@ fn transInitListExprArray( |
| 2357 | 2351 | |
| 2358 | 2352 | var i: c_uint = 0; |
| 2359 | 2353 | while (i < init_count) : (i += 1) { |
| 2360 | | const elem_expr = ZigClangInitListExpr_getInit(expr, i); |
| 2354 | const elem_expr = expr.getInit(i); |
| 2361 | 2355 | init_list[i] = try transExpr(rp, scope, elem_expr, .used, .r_value); |
| 2362 | 2356 | _ = try appendToken(rp.c, .Comma, ","); |
| 2363 | 2357 | } |
| ... | ... | @@ -2368,7 +2362,7 @@ fn transInitListExprArray( |
| 2368 | 2362 | cat_tok = try appendToken(rp.c, .PlusPlus, "++"); |
| 2369 | 2363 | } |
| 2370 | 2364 | |
| 2371 | | const ty_node = try transCreateNodeArrayType(rp, loc, ZigClangQualType_getTypePtr(child_qt), 1); |
| 2365 | const ty_node = try transCreateNodeArrayType(rp, loc, child_qt.getTypePtr(), 1); |
| 2372 | 2366 | _ = try appendToken(rp.c, .LBrace, "{"); |
| 2373 | 2367 | const filler_init_node = try ast.Node.ArrayInitializer.alloc(rp.c.arena, 1); |
| 2374 | 2368 | filler_init_node.* = .{ |
| ... | ... | @@ -2376,7 +2370,7 @@ fn transInitListExprArray( |
| 2376 | 2370 | .rtoken = undefined, |
| 2377 | 2371 | .list_len = 1, |
| 2378 | 2372 | }; |
| 2379 | | const filler_val_expr = ZigClangInitListExpr_getArrayFiller(expr); |
| 2373 | const filler_val_expr = expr.getArrayFiller(); |
| 2380 | 2374 | filler_init_node.list()[0] = try transExpr(rp, scope, filler_val_expr, .used, .r_value); |
| 2381 | 2375 | filler_init_node.rtoken = try appendToken(rp.c, .RBrace, "}"); |
| 2382 | 2376 | |
| ... | ... | @@ -2411,14 +2405,14 @@ fn transInitListExprArray( |
| 2411 | 2405 | fn transInitListExpr( |
| 2412 | 2406 | rp: RestorePoint, |
| 2413 | 2407 | scope: *Scope, |
| 2414 | | expr: *const ZigClangInitListExpr, |
| 2408 | expr: *const clang.InitListExpr, |
| 2415 | 2409 | used: ResultUsed, |
| 2416 | 2410 | ) TransError!*ast.Node { |
| 2417 | | const qt = getExprQualType(rp.c, @ptrCast(*const ZigClangExpr, expr)); |
| 2418 | | var qual_type = ZigClangQualType_getTypePtr(qt); |
| 2419 | | const source_loc = ZigClangExpr_getBeginLoc(@ptrCast(*const ZigClangExpr, expr)); |
| 2411 | const qt = getExprQualType(rp.c, @ptrCast(*const clang.Expr, expr)); |
| 2412 | var qual_type = qt.getTypePtr(); |
| 2413 | const source_loc = @ptrCast(*const clang.Expr, expr).getBeginLoc(); |
| 2420 | 2414 | |
| 2421 | | if (ZigClangType_isRecordType(qual_type)) { |
| 2415 | if (qual_type.isRecordType()) { |
| 2422 | 2416 | return transInitListExprRecord( |
| 2423 | 2417 | rp, |
| 2424 | 2418 | scope, |
| ... | ... | @@ -2427,7 +2421,7 @@ fn transInitListExpr( |
| 2427 | 2421 | qual_type, |
| 2428 | 2422 | used, |
| 2429 | 2423 | ); |
| 2430 | | } else if (ZigClangType_isArrayType(qual_type)) { |
| 2424 | } else if (qual_type.isArrayType()) { |
| 2431 | 2425 | return transInitListExprArray( |
| 2432 | 2426 | rp, |
| 2433 | 2427 | scope, |
| ... | ... | @@ -2437,7 +2431,7 @@ fn transInitListExpr( |
| 2437 | 2431 | used, |
| 2438 | 2432 | ); |
| 2439 | 2433 | } else { |
| 2440 | | const type_name = rp.c.str(ZigClangType_getTypeClassName(qual_type)); |
| 2434 | const type_name = rp.c.str(qual_type.getTypeClassName()); |
| 2441 | 2435 | return revertAndWarn(rp, error.UnsupportedType, source_loc, "unsupported initlist type: '{}'", .{type_name}); |
| 2442 | 2436 | } |
| 2443 | 2437 | } |
| ... | ... | @@ -2445,13 +2439,13 @@ fn transInitListExpr( |
| 2445 | 2439 | fn transZeroInitExpr( |
| 2446 | 2440 | rp: RestorePoint, |
| 2447 | 2441 | scope: *Scope, |
| 2448 | | source_loc: ZigClangSourceLocation, |
| 2449 | | ty: *const ZigClangType, |
| 2442 | source_loc: clang.SourceLocation, |
| 2443 | ty: *const clang.Type, |
| 2450 | 2444 | ) TransError!*ast.Node { |
| 2451 | | switch (ZigClangType_getTypeClass(ty)) { |
| 2445 | switch (ty.getTypeClass()) { |
| 2452 | 2446 | .Builtin => { |
| 2453 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, ty); |
| 2454 | | switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 2447 | const builtin_ty = @ptrCast(*const clang.BuiltinType, ty); |
| 2448 | switch (builtin_ty.getKind()) { |
| 2455 | 2449 | .Bool => return try transCreateNodeBoolLiteral(rp.c, false), |
| 2456 | 2450 | .Char_U, |
| 2457 | 2451 | .UChar, |
| ... | ... | @@ -2479,15 +2473,13 @@ fn transZeroInitExpr( |
| 2479 | 2473 | }, |
| 2480 | 2474 | .Pointer => return transCreateNodeNullLiteral(rp.c), |
| 2481 | 2475 | .Typedef => { |
| 2482 | | const typedef_ty = @ptrCast(*const ZigClangTypedefType, ty); |
| 2483 | | const typedef_decl = ZigClangTypedefType_getDecl(typedef_ty); |
| 2476 | const typedef_ty = @ptrCast(*const clang.TypedefType, ty); |
| 2477 | const typedef_decl = typedef_ty.getDecl(); |
| 2484 | 2478 | return transZeroInitExpr( |
| 2485 | 2479 | rp, |
| 2486 | 2480 | scope, |
| 2487 | 2481 | source_loc, |
| 2488 | | ZigClangQualType_getTypePtr( |
| 2489 | | ZigClangTypedefNameDecl_getUnderlyingType(typedef_decl), |
| 2490 | | ), |
| 2482 | typedef_decl.getUnderlyingType().getTypePtr(), |
| 2491 | 2483 | ); |
| 2492 | 2484 | }, |
| 2493 | 2485 | else => {}, |
| ... | ... | @@ -2499,19 +2491,19 @@ fn transZeroInitExpr( |
| 2499 | 2491 | fn transImplicitValueInitExpr( |
| 2500 | 2492 | rp: RestorePoint, |
| 2501 | 2493 | scope: *Scope, |
| 2502 | | expr: *const ZigClangExpr, |
| 2494 | expr: *const clang.Expr, |
| 2503 | 2495 | used: ResultUsed, |
| 2504 | 2496 | ) TransError!*ast.Node { |
| 2505 | | const source_loc = ZigClangExpr_getBeginLoc(expr); |
| 2497 | const source_loc = expr.getBeginLoc(); |
| 2506 | 2498 | const qt = getExprQualType(rp.c, expr); |
| 2507 | | const ty = ZigClangQualType_getTypePtr(qt); |
| 2499 | const ty = qt.getTypePtr(); |
| 2508 | 2500 | return transZeroInitExpr(rp, scope, source_loc, ty); |
| 2509 | 2501 | } |
| 2510 | 2502 | |
| 2511 | 2503 | fn transIfStmt( |
| 2512 | 2504 | rp: RestorePoint, |
| 2513 | 2505 | scope: *Scope, |
| 2514 | | stmt: *const ZigClangIfStmt, |
| 2506 | stmt: *const clang.IfStmt, |
| 2515 | 2507 | ) TransError!*ast.Node { |
| 2516 | 2508 | // if (c) t |
| 2517 | 2509 | // if (c) t else e |
| ... | ... | @@ -2524,13 +2516,13 @@ fn transIfStmt( |
| 2524 | 2516 | }, |
| 2525 | 2517 | }; |
| 2526 | 2518 | defer cond_scope.deinit(); |
| 2527 | | const cond_expr = @ptrCast(*const ZigClangExpr, ZigClangIfStmt_getCond(stmt)); |
| 2519 | const cond_expr = @ptrCast(*const clang.Expr, stmt.getCond()); |
| 2528 | 2520 | if_node.condition = try transBoolExpr(rp, &cond_scope.base, cond_expr, .used, .r_value, false); |
| 2529 | 2521 | _ = try appendToken(rp.c, .RParen, ")"); |
| 2530 | 2522 | |
| 2531 | | if_node.body = try transStmt(rp, scope, ZigClangIfStmt_getThen(stmt), .unused, .r_value); |
| 2523 | if_node.body = try transStmt(rp, scope, stmt.getThen(), .unused, .r_value); |
| 2532 | 2524 | |
| 2533 | | if (ZigClangIfStmt_getElse(stmt)) |expr| { |
| 2525 | if (stmt.getElse()) |expr| { |
| 2534 | 2526 | if_node.@"else" = try transCreateNodeElse(rp.c); |
| 2535 | 2527 | if_node.@"else".?.body = try transStmt(rp, scope, expr, .unused, .r_value); |
| 2536 | 2528 | } |
| ... | ... | @@ -2541,7 +2533,7 @@ fn transIfStmt( |
| 2541 | 2533 | fn transWhileLoop( |
| 2542 | 2534 | rp: RestorePoint, |
| 2543 | 2535 | scope: *Scope, |
| 2544 | | stmt: *const ZigClangWhileStmt, |
| 2536 | stmt: *const clang.WhileStmt, |
| 2545 | 2537 | ) TransError!*ast.Node { |
| 2546 | 2538 | const while_node = try transCreateNodeWhile(rp.c); |
| 2547 | 2539 | |
| ... | ... | @@ -2552,7 +2544,7 @@ fn transWhileLoop( |
| 2552 | 2544 | }, |
| 2553 | 2545 | }; |
| 2554 | 2546 | defer cond_scope.deinit(); |
| 2555 | | const cond_expr = @ptrCast(*const ZigClangExpr, ZigClangWhileStmt_getCond(stmt)); |
| 2547 | const cond_expr = @ptrCast(*const clang.Expr, stmt.getCond()); |
| 2556 | 2548 | while_node.condition = try transBoolExpr(rp, &cond_scope.base, cond_expr, .used, .r_value, false); |
| 2557 | 2549 | _ = try appendToken(rp.c, .RParen, ")"); |
| 2558 | 2550 | |
| ... | ... | @@ -2560,7 +2552,7 @@ fn transWhileLoop( |
| 2560 | 2552 | .parent = scope, |
| 2561 | 2553 | .id = .Loop, |
| 2562 | 2554 | }; |
| 2563 | | while_node.body = try transStmt(rp, &loop_scope, ZigClangWhileStmt_getBody(stmt), .unused, .r_value); |
| 2555 | while_node.body = try transStmt(rp, &loop_scope, stmt.getBody(), .unused, .r_value); |
| 2564 | 2556 | _ = try appendToken(rp.c, .Semicolon, ";"); |
| 2565 | 2557 | return &while_node.base; |
| 2566 | 2558 | } |
| ... | ... | @@ -2568,7 +2560,7 @@ fn transWhileLoop( |
| 2568 | 2560 | fn transDoWhileLoop( |
| 2569 | 2561 | rp: RestorePoint, |
| 2570 | 2562 | scope: *Scope, |
| 2571 | | stmt: *const ZigClangDoStmt, |
| 2563 | stmt: *const clang.DoStmt, |
| 2572 | 2564 | ) TransError!*ast.Node { |
| 2573 | 2565 | const while_node = try transCreateNodeWhile(rp.c); |
| 2574 | 2566 | |
| ... | ... | @@ -2590,13 +2582,13 @@ fn transDoWhileLoop( |
| 2590 | 2582 | }; |
| 2591 | 2583 | defer cond_scope.deinit(); |
| 2592 | 2584 | const prefix_op = try transCreateNodeSimplePrefixOp(rp.c, .BoolNot, .Bang, "!"); |
| 2593 | | prefix_op.rhs = try transBoolExpr(rp, &cond_scope.base, @ptrCast(*const ZigClangExpr, ZigClangDoStmt_getCond(stmt)), .used, .r_value, true); |
| 2585 | prefix_op.rhs = try transBoolExpr(rp, &cond_scope.base, @ptrCast(*const clang.Expr, stmt.getCond()), .used, .r_value, true); |
| 2594 | 2586 | _ = try appendToken(rp.c, .RParen, ")"); |
| 2595 | 2587 | if_node.condition = &prefix_op.base; |
| 2596 | 2588 | if_node.body = &(try transCreateNodeBreak(rp.c, null, null)).base; |
| 2597 | 2589 | _ = try appendToken(rp.c, .Semicolon, ";"); |
| 2598 | 2590 | |
| 2599 | | const body_node = if (ZigClangStmt_getStmtClass(ZigClangDoStmt_getBody(stmt)) == .CompoundStmtClass) blk: { |
| 2591 | const body_node = if (stmt.getBody().getStmtClass() == .CompoundStmtClass) blk: { |
| 2600 | 2592 | // there's already a block in C, so we'll append our condition to it. |
| 2601 | 2593 | // c: do { |
| 2602 | 2594 | // c: a; |
| ... | ... | @@ -2607,7 +2599,7 @@ fn transDoWhileLoop( |
| 2607 | 2599 | // zig: b; |
| 2608 | 2600 | // zig: if (!cond) break; |
| 2609 | 2601 | // zig: } |
| 2610 | | const node = try transStmt(rp, &loop_scope, ZigClangDoStmt_getBody(stmt), .unused, .r_value); |
| 2602 | const node = try transStmt(rp, &loop_scope, stmt.getBody(), .unused, .r_value); |
| 2611 | 2603 | break :blk node.castTag(.Block).?; |
| 2612 | 2604 | } else blk: { |
| 2613 | 2605 | // the C statement is without a block, so we need to create a block to contain it. |
| ... | ... | @@ -2621,7 +2613,7 @@ fn transDoWhileLoop( |
| 2621 | 2613 | new = true; |
| 2622 | 2614 | const block = try rp.c.createBlock(2); |
| 2623 | 2615 | block.statements_len = 1; // over-allocated so we can add another below |
| 2624 | | block.statements()[0] = try transStmt(rp, &loop_scope, ZigClangDoStmt_getBody(stmt), .unused, .r_value); |
| 2616 | block.statements()[0] = try transStmt(rp, &loop_scope, stmt.getBody(), .unused, .r_value); |
| 2625 | 2617 | break :blk block; |
| 2626 | 2618 | }; |
| 2627 | 2619 | |
| ... | ... | @@ -2637,7 +2629,7 @@ fn transDoWhileLoop( |
| 2637 | 2629 | fn transForLoop( |
| 2638 | 2630 | rp: RestorePoint, |
| 2639 | 2631 | scope: *Scope, |
| 2640 | | stmt: *const ZigClangForStmt, |
| 2632 | stmt: *const clang.ForStmt, |
| 2641 | 2633 | ) TransError!*ast.Node { |
| 2642 | 2634 | var loop_scope = Scope{ |
| 2643 | 2635 | .parent = scope, |
| ... | ... | @@ -2647,7 +2639,7 @@ fn transForLoop( |
| 2647 | 2639 | var block_scope: ?Scope.Block = null; |
| 2648 | 2640 | defer if (block_scope) |*bs| bs.deinit(); |
| 2649 | 2641 | |
| 2650 | | if (ZigClangForStmt_getInit(stmt)) |init| { |
| 2642 | if (stmt.getInit()) |init| { |
| 2651 | 2643 | block_scope = try Scope.Block.init(rp.c, scope, false); |
| 2652 | 2644 | loop_scope.parent = &block_scope.?.base; |
| 2653 | 2645 | const init_node = try transStmt(rp, &block_scope.?.base, init, .unused, .r_value); |
| ... | ... | @@ -2662,20 +2654,20 @@ fn transForLoop( |
| 2662 | 2654 | defer cond_scope.deinit(); |
| 2663 | 2655 | |
| 2664 | 2656 | const while_node = try transCreateNodeWhile(rp.c); |
| 2665 | | while_node.condition = if (ZigClangForStmt_getCond(stmt)) |cond| |
| 2657 | while_node.condition = if (stmt.getCond()) |cond| |
| 2666 | 2658 | try transBoolExpr(rp, &cond_scope.base, cond, .used, .r_value, false) |
| 2667 | 2659 | else |
| 2668 | 2660 | try transCreateNodeBoolLiteral(rp.c, true); |
| 2669 | 2661 | _ = try appendToken(rp.c, .RParen, ")"); |
| 2670 | 2662 | |
| 2671 | | if (ZigClangForStmt_getInc(stmt)) |incr| { |
| 2663 | if (stmt.getInc()) |incr| { |
| 2672 | 2664 | _ = try appendToken(rp.c, .Colon, ":"); |
| 2673 | 2665 | _ = try appendToken(rp.c, .LParen, "("); |
| 2674 | 2666 | while_node.continue_expr = try transExpr(rp, &cond_scope.base, incr, .unused, .r_value); |
| 2675 | 2667 | _ = try appendToken(rp.c, .RParen, ")"); |
| 2676 | 2668 | } |
| 2677 | 2669 | |
| 2678 | | while_node.body = try transStmt(rp, &loop_scope, ZigClangForStmt_getBody(stmt), .unused, .r_value); |
| 2670 | while_node.body = try transStmt(rp, &loop_scope, stmt.getBody(), .unused, .r_value); |
| 2679 | 2671 | if (block_scope) |*bs| { |
| 2680 | 2672 | try bs.statements.append(&while_node.base); |
| 2681 | 2673 | return try bs.complete(rp.c); |
| ... | ... | @@ -2685,21 +2677,21 @@ fn transForLoop( |
| 2685 | 2677 | } |
| 2686 | 2678 | } |
| 2687 | 2679 | |
| 2688 | | fn getSwitchCaseCount(stmt: *const ZigClangSwitchStmt) usize { |
| 2689 | | const body = ZigClangSwitchStmt_getBody(stmt); |
| 2690 | | assert(ZigClangStmt_getStmtClass(body) == .CompoundStmtClass); |
| 2691 | | const comp = @ptrCast(*const ZigClangCompoundStmt, body); |
| 2680 | fn getSwitchCaseCount(stmt: *const clang.SwitchStmt) usize { |
| 2681 | const body = stmt.getBody(); |
| 2682 | assert(body.getStmtClass() == .CompoundStmtClass); |
| 2683 | const comp = @ptrCast(*const clang.CompoundStmt, body); |
| 2692 | 2684 | // TODO https://github.com/ziglang/zig/issues/1738 |
| 2693 | | // return ZigClangCompoundStmt_body_end(comp) - ZigClangCompoundStmt_body_begin(comp); |
| 2694 | | const start_addr = @ptrToInt(ZigClangCompoundStmt_body_begin(comp)); |
| 2695 | | const end_addr = @ptrToInt(ZigClangCompoundStmt_body_end(comp)); |
| 2696 | | return (end_addr - start_addr) / @sizeOf(*ZigClangStmt); |
| 2685 | // return comp.body_end() - comp.body_begin(); |
| 2686 | const start_addr = @ptrToInt(comp.body_begin()); |
| 2687 | const end_addr = @ptrToInt(comp.body_end()); |
| 2688 | return (end_addr - start_addr) / @sizeOf(*clang.Stmt); |
| 2697 | 2689 | } |
| 2698 | 2690 | |
| 2699 | 2691 | fn transSwitch( |
| 2700 | 2692 | rp: RestorePoint, |
| 2701 | 2693 | scope: *Scope, |
| 2702 | | stmt: *const ZigClangSwitchStmt, |
| 2694 | stmt: *const clang.SwitchStmt, |
| 2703 | 2695 | ) TransError!*ast.Node { |
| 2704 | 2696 | const switch_tok = try appendToken(rp.c, .Keyword_switch, "switch"); |
| 2705 | 2697 | _ = try appendToken(rp.c, .LParen, "("); |
| ... | ... | @@ -2713,7 +2705,7 @@ fn transSwitch( |
| 2713 | 2705 | }, |
| 2714 | 2706 | }; |
| 2715 | 2707 | defer cond_scope.deinit(); |
| 2716 | | const switch_expr = try transExpr(rp, &cond_scope.base, ZigClangSwitchStmt_getCond(stmt), .used, .r_value); |
| 2708 | const switch_expr = try transExpr(rp, &cond_scope.base, stmt.getCond(), .used, .r_value); |
| 2717 | 2709 | _ = try appendToken(rp.c, .RParen, ")"); |
| 2718 | 2710 | _ = try appendToken(rp.c, .LBrace, "{"); |
| 2719 | 2711 | // reserve +1 case in case there is no default case |
| ... | ... | @@ -2748,7 +2740,7 @@ fn transSwitch( |
| 2748 | 2740 | switch_scope.pending_block = try Scope.Block.init(rp.c, scope, false); |
| 2749 | 2741 | try switch_scope.pending_block.statements.append(&switch_node.base); |
| 2750 | 2742 | |
| 2751 | | const last = try transStmt(rp, &block_scope.base, ZigClangSwitchStmt_getBody(stmt), .unused, .r_value); |
| 2743 | const last = try transStmt(rp, &block_scope.base, stmt.getBody(), .unused, .r_value); |
| 2752 | 2744 | _ = try appendToken(rp.c, .Semicolon, ";"); |
| 2753 | 2745 | |
| 2754 | 2746 | // take all pending statements |
| ... | ... | @@ -2776,7 +2768,7 @@ fn transSwitch( |
| 2776 | 2768 | _ = try appendToken(rp.c, .Comma, ","); |
| 2777 | 2769 | |
| 2778 | 2770 | if (switch_scope.case_index >= switch_scope.cases.len) |
| 2779 | | return revertAndWarn(rp, error.UnsupportedTranslation, ZigClangStmt_getBeginLoc(@ptrCast(*const ZigClangStmt, stmt)), "TODO complex switch cases", .{}); |
| 2771 | return revertAndWarn(rp, error.UnsupportedTranslation, @ptrCast(*const clang.Stmt, stmt).getBeginLoc(), "TODO complex switch cases", .{}); |
| 2780 | 2772 | switch_scope.cases[switch_scope.case_index] = &else_prong.base; |
| 2781 | 2773 | switch_scope.case_index += 1; |
| 2782 | 2774 | } |
| ... | ... | @@ -2792,15 +2784,15 @@ fn transSwitch( |
| 2792 | 2784 | fn transCase( |
| 2793 | 2785 | rp: RestorePoint, |
| 2794 | 2786 | scope: *Scope, |
| 2795 | | stmt: *const ZigClangCaseStmt, |
| 2787 | stmt: *const clang.CaseStmt, |
| 2796 | 2788 | ) TransError!*ast.Node { |
| 2797 | 2789 | const block_scope = scope.findBlockScope(rp.c) catch unreachable; |
| 2798 | 2790 | const switch_scope = scope.getSwitch(); |
| 2799 | 2791 | const label = try block_scope.makeMangledName(rp.c, "case"); |
| 2800 | 2792 | _ = try appendToken(rp.c, .Semicolon, ";"); |
| 2801 | 2793 | |
| 2802 | | const expr = if (ZigClangCaseStmt_getRHS(stmt)) |rhs| blk: { |
| 2803 | | const lhs_node = try transExpr(rp, scope, ZigClangCaseStmt_getLHS(stmt), .used, .r_value); |
| 2794 | const expr = if (stmt.getRHS()) |rhs| blk: { |
| 2795 | const lhs_node = try transExpr(rp, scope, stmt.getLHS(), .used, .r_value); |
| 2804 | 2796 | const ellips = try appendToken(rp.c, .Ellipsis3, "..."); |
| 2805 | 2797 | const rhs_node = try transExpr(rp, scope, rhs, .used, .r_value); |
| 2806 | 2798 | |
| ... | ... | @@ -2813,7 +2805,7 @@ fn transCase( |
| 2813 | 2805 | }; |
| 2814 | 2806 | break :blk &node.base; |
| 2815 | 2807 | } else |
| 2816 | | try transExpr(rp, scope, ZigClangCaseStmt_getLHS(stmt), .used, .r_value); |
| 2808 | try transExpr(rp, scope, stmt.getLHS(), .used, .r_value); |
| 2817 | 2809 | |
| 2818 | 2810 | const switch_prong = try transCreateNodeSwitchCase(rp.c, expr); |
| 2819 | 2811 | switch_prong.expr = blk: { |
| ... | ... | @@ -2823,7 +2815,7 @@ fn transCase( |
| 2823 | 2815 | _ = try appendToken(rp.c, .Comma, ","); |
| 2824 | 2816 | |
| 2825 | 2817 | if (switch_scope.case_index >= switch_scope.cases.len) |
| 2826 | | return revertAndWarn(rp, error.UnsupportedTranslation, ZigClangStmt_getBeginLoc(@ptrCast(*const ZigClangStmt, stmt)), "TODO complex switch cases", .{}); |
| 2818 | return revertAndWarn(rp, error.UnsupportedTranslation, @ptrCast(*const clang.Stmt, stmt).getBeginLoc(), "TODO complex switch cases", .{}); |
| 2827 | 2819 | switch_scope.cases[switch_scope.case_index] = &switch_prong.base; |
| 2828 | 2820 | switch_scope.case_index += 1; |
| 2829 | 2821 | |
| ... | ... | @@ -2840,13 +2832,13 @@ fn transCase( |
| 2840 | 2832 | |
| 2841 | 2833 | try switch_scope.pending_block.statements.append(pending_node); |
| 2842 | 2834 | |
| 2843 | | return transStmt(rp, scope, ZigClangCaseStmt_getSubStmt(stmt), .unused, .r_value); |
| 2835 | return transStmt(rp, scope, stmt.getSubStmt(), .unused, .r_value); |
| 2844 | 2836 | } |
| 2845 | 2837 | |
| 2846 | 2838 | fn transDefault( |
| 2847 | 2839 | rp: RestorePoint, |
| 2848 | 2840 | scope: *Scope, |
| 2849 | | stmt: *const ZigClangDefaultStmt, |
| 2841 | stmt: *const clang.DefaultStmt, |
| 2850 | 2842 | ) TransError!*ast.Node { |
| 2851 | 2843 | const block_scope = scope.findBlockScope(rp.c) catch unreachable; |
| 2852 | 2844 | const switch_scope = scope.getSwitch(); |
| ... | ... | @@ -2861,7 +2853,7 @@ fn transDefault( |
| 2861 | 2853 | _ = try appendToken(rp.c, .Comma, ","); |
| 2862 | 2854 | |
| 2863 | 2855 | if (switch_scope.case_index >= switch_scope.cases.len) |
| 2864 | | return revertAndWarn(rp, error.UnsupportedTranslation, ZigClangStmt_getBeginLoc(@ptrCast(*const ZigClangStmt, stmt)), "TODO complex switch cases", .{}); |
| 2856 | return revertAndWarn(rp, error.UnsupportedTranslation, @ptrCast(*const clang.Stmt, stmt).getBeginLoc(), "TODO complex switch cases", .{}); |
| 2865 | 2857 | switch_scope.cases[switch_scope.case_index] = &else_prong.base; |
| 2866 | 2858 | switch_scope.case_index += 1; |
| 2867 | 2859 | |
| ... | ... | @@ -2877,26 +2869,26 @@ fn transDefault( |
| 2877 | 2869 | switch_scope.pending_block = try Scope.Block.init(rp.c, scope, false); |
| 2878 | 2870 | try switch_scope.pending_block.statements.append(pending_node); |
| 2879 | 2871 | |
| 2880 | | return transStmt(rp, scope, ZigClangDefaultStmt_getSubStmt(stmt), .unused, .r_value); |
| 2872 | return transStmt(rp, scope, stmt.getSubStmt(), .unused, .r_value); |
| 2881 | 2873 | } |
| 2882 | 2874 | |
| 2883 | | fn transConstantExpr(rp: RestorePoint, scope: *Scope, expr: *const ZigClangExpr, used: ResultUsed) TransError!*ast.Node { |
| 2884 | | var result: ZigClangExprEvalResult = undefined; |
| 2885 | | if (!ZigClangExpr_EvaluateAsConstantExpr(expr, &result, .EvaluateForCodeGen, rp.c.clang_context)) |
| 2886 | | return revertAndWarn(rp, error.UnsupportedTranslation, ZigClangExpr_getBeginLoc(expr), "invalid constant expression", .{}); |
| 2875 | fn transConstantExpr(rp: RestorePoint, scope: *Scope, expr: *const clang.Expr, used: ResultUsed) TransError!*ast.Node { |
| 2876 | var result: clang.ExprEvalResult = undefined; |
| 2877 | if (!expr.EvaluateAsConstantExpr(&result, .EvaluateForCodeGen, rp.c.clang_context)) |
| 2878 | return revertAndWarn(rp, error.UnsupportedTranslation, expr.getBeginLoc(), "invalid constant expression", .{}); |
| 2887 | 2879 | |
| 2888 | 2880 | var val_node: ?*ast.Node = null; |
| 2889 | | switch (ZigClangAPValue_getKind(&result.Val)) { |
| 2881 | switch (result.Val.getKind()) { |
| 2890 | 2882 | .Int => { |
| 2891 | 2883 | // See comment in `transIntegerLiteral` for why this code is here. |
| 2892 | 2884 | // @as(T, x) |
| 2893 | | const expr_base = @ptrCast(*const ZigClangExpr, expr); |
| 2885 | const expr_base = @ptrCast(*const clang.Expr, expr); |
| 2894 | 2886 | const as_node = try rp.c.createBuiltinCall("@as", 2); |
| 2895 | | const ty_node = try transQualType(rp, ZigClangExpr_getType(expr_base), ZigClangExpr_getBeginLoc(expr_base)); |
| 2887 | const ty_node = try transQualType(rp, expr_base.getType(), expr_base.getBeginLoc()); |
| 2896 | 2888 | as_node.params()[0] = ty_node; |
| 2897 | 2889 | _ = try appendToken(rp.c, .Comma, ","); |
| 2898 | 2890 | |
| 2899 | | const int_lit_node = try transCreateNodeAPInt(rp.c, ZigClangAPValue_getInt(&result.Val)); |
| 2891 | const int_lit_node = try transCreateNodeAPInt(rp.c, result.Val.getInt()); |
| 2900 | 2892 | as_node.params()[1] = int_lit_node; |
| 2901 | 2893 | |
| 2902 | 2894 | as_node.rparen_token = try appendToken(rp.c, .RParen, ")"); |
| ... | ... | @@ -2904,26 +2896,26 @@ fn transConstantExpr(rp: RestorePoint, scope: *Scope, expr: *const ZigClangExpr, |
| 2904 | 2896 | return maybeSuppressResult(rp, scope, used, &as_node.base); |
| 2905 | 2897 | }, |
| 2906 | 2898 | else => { |
| 2907 | | return revertAndWarn(rp, error.UnsupportedTranslation, ZigClangExpr_getBeginLoc(expr), "unsupported constant expression kind", .{}); |
| 2899 | return revertAndWarn(rp, error.UnsupportedTranslation, expr.getBeginLoc(), "unsupported constant expression kind", .{}); |
| 2908 | 2900 | }, |
| 2909 | 2901 | } |
| 2910 | 2902 | } |
| 2911 | 2903 | |
| 2912 | | fn transPredefinedExpr(rp: RestorePoint, scope: *Scope, expr: *const ZigClangPredefinedExpr, used: ResultUsed) TransError!*ast.Node { |
| 2913 | | return transStringLiteral(rp, scope, ZigClangPredefinedExpr_getFunctionName(expr), used); |
| 2904 | fn transPredefinedExpr(rp: RestorePoint, scope: *Scope, expr: *const clang.PredefinedExpr, used: ResultUsed) TransError!*ast.Node { |
| 2905 | return transStringLiteral(rp, scope, expr.getFunctionName(), used); |
| 2914 | 2906 | } |
| 2915 | 2907 | |
| 2916 | 2908 | fn transCharLiteral( |
| 2917 | 2909 | rp: RestorePoint, |
| 2918 | 2910 | scope: *Scope, |
| 2919 | | stmt: *const ZigClangCharacterLiteral, |
| 2911 | stmt: *const clang.CharacterLiteral, |
| 2920 | 2912 | result_used: ResultUsed, |
| 2921 | 2913 | suppress_as: SuppressCast, |
| 2922 | 2914 | ) TransError!*ast.Node { |
| 2923 | | const kind = ZigClangCharacterLiteral_getKind(stmt); |
| 2915 | const kind = stmt.getKind(); |
| 2924 | 2916 | const int_lit_node = switch (kind) { |
| 2925 | 2917 | .Ascii, .UTF8 => blk: { |
| 2926 | | const val = ZigClangCharacterLiteral_getValue(stmt); |
| 2918 | const val = stmt.getValue(); |
| 2927 | 2919 | if (kind == .Ascii) { |
| 2928 | 2920 | // C has a somewhat obscure feature called multi-character character |
| 2929 | 2921 | // constant |
| ... | ... | @@ -2942,7 +2934,7 @@ fn transCharLiteral( |
| 2942 | 2934 | .UTF16, .UTF32, .Wide => return revertAndWarn( |
| 2943 | 2935 | rp, |
| 2944 | 2936 | error.UnsupportedTranslation, |
| 2945 | | ZigClangStmt_getBeginLoc(@ptrCast(*const ZigClangStmt, stmt)), |
| 2937 | @ptrCast(*const clang.Stmt, stmt).getBeginLoc(), |
| 2946 | 2938 | "TODO: support character literal kind {}", |
| 2947 | 2939 | .{kind}, |
| 2948 | 2940 | ), |
| ... | ... | @@ -2952,9 +2944,9 @@ fn transCharLiteral( |
| 2952 | 2944 | } |
| 2953 | 2945 | // See comment in `transIntegerLiteral` for why this code is here. |
| 2954 | 2946 | // @as(T, x) |
| 2955 | | const expr_base = @ptrCast(*const ZigClangExpr, stmt); |
| 2947 | const expr_base = @ptrCast(*const clang.Expr, stmt); |
| 2956 | 2948 | const as_node = try rp.c.createBuiltinCall("@as", 2); |
| 2957 | | const ty_node = try transQualType(rp, ZigClangExpr_getType(expr_base), ZigClangExpr_getBeginLoc(expr_base)); |
| 2949 | const ty_node = try transQualType(rp, expr_base.getType(), expr_base.getBeginLoc()); |
| 2958 | 2950 | as_node.params()[0] = ty_node; |
| 2959 | 2951 | _ = try appendToken(rp.c, .Comma, ","); |
| 2960 | 2952 | as_node.params()[1] = int_lit_node; |
| ... | ... | @@ -2963,8 +2955,8 @@ fn transCharLiteral( |
| 2963 | 2955 | return maybeSuppressResult(rp, scope, result_used, &as_node.base); |
| 2964 | 2956 | } |
| 2965 | 2957 | |
| 2966 | | fn transStmtExpr(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangStmtExpr, used: ResultUsed) TransError!*ast.Node { |
| 2967 | | const comp = ZigClangStmtExpr_getSubStmt(stmt); |
| 2958 | fn transStmtExpr(rp: RestorePoint, scope: *Scope, stmt: *const clang.StmtExpr, used: ResultUsed) TransError!*ast.Node { |
| 2959 | const comp = stmt.getSubStmt(); |
| 2968 | 2960 | if (used == .unused) { |
| 2969 | 2961 | return transCompoundStmt(rp, scope, comp); |
| 2970 | 2962 | } |
| ... | ... | @@ -2972,8 +2964,8 @@ fn transStmtExpr(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangStmtExpr, |
| 2972 | 2964 | var block_scope = try Scope.Block.init(rp.c, scope, true); |
| 2973 | 2965 | defer block_scope.deinit(); |
| 2974 | 2966 | |
| 2975 | | var it = ZigClangCompoundStmt_body_begin(comp); |
| 2976 | | const end_it = ZigClangCompoundStmt_body_end(comp); |
| 2967 | var it = comp.body_begin(); |
| 2968 | const end_it = comp.body_end(); |
| 2977 | 2969 | while (it != end_it - 1) : (it += 1) { |
| 2978 | 2970 | const result = try transStmt(rp, &block_scope.base, it[0], .unused, .r_value); |
| 2979 | 2971 | try block_scope.statements.append(result); |
| ... | ... | @@ -2996,43 +2988,43 @@ fn transStmtExpr(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangStmtExpr, |
| 2996 | 2988 | return maybeSuppressResult(rp, scope, used, &grouped_expr.base); |
| 2997 | 2989 | } |
| 2998 | 2990 | |
| 2999 | | fn transMemberExpr(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangMemberExpr, result_used: ResultUsed) TransError!*ast.Node { |
| 3000 | | var container_node = try transExpr(rp, scope, ZigClangMemberExpr_getBase(stmt), .used, .r_value); |
| 2991 | fn transMemberExpr(rp: RestorePoint, scope: *Scope, stmt: *const clang.MemberExpr, result_used: ResultUsed) TransError!*ast.Node { |
| 2992 | var container_node = try transExpr(rp, scope, stmt.getBase(), .used, .r_value); |
| 3001 | 2993 | |
| 3002 | | if (ZigClangMemberExpr_isArrow(stmt)) { |
| 2994 | if (stmt.isArrow()) { |
| 3003 | 2995 | container_node = try transCreateNodePtrDeref(rp.c, container_node); |
| 3004 | 2996 | } |
| 3005 | 2997 | |
| 3006 | | const member_decl = ZigClangMemberExpr_getMemberDecl(stmt); |
| 2998 | const member_decl = stmt.getMemberDecl(); |
| 3007 | 2999 | const name = blk: { |
| 3008 | | const decl_kind = ZigClangDecl_getKind(@ptrCast(*const ZigClangDecl, member_decl)); |
| 3000 | const decl_kind = @ptrCast(*const clang.Decl, member_decl).getKind(); |
| 3009 | 3001 | // If we're referring to a anonymous struct/enum find the bogus name |
| 3010 | 3002 | // we've assigned to it during the RecordDecl translation |
| 3011 | 3003 | if (decl_kind == .Field) { |
| 3012 | | const field_decl = @ptrCast(*const struct_ZigClangFieldDecl, member_decl); |
| 3013 | | if (ZigClangFieldDecl_isAnonymousStructOrUnion(field_decl)) { |
| 3014 | | const name = rp.c.decl_table.get(@ptrToInt(ZigClangFieldDecl_getCanonicalDecl(field_decl))).?; |
| 3004 | const field_decl = @ptrCast(*const clang.FieldDecl, member_decl); |
| 3005 | if (field_decl.isAnonymousStructOrUnion()) { |
| 3006 | const name = rp.c.decl_table.get(@ptrToInt(field_decl.getCanonicalDecl())).?; |
| 3015 | 3007 | break :blk try mem.dupe(rp.c.arena, u8, name); |
| 3016 | 3008 | } |
| 3017 | 3009 | } |
| 3018 | | const decl = @ptrCast(*const ZigClangNamedDecl, member_decl); |
| 3019 | | break :blk try rp.c.str(ZigClangNamedDecl_getName_bytes_begin(decl)); |
| 3010 | const decl = @ptrCast(*const clang.NamedDecl, member_decl); |
| 3011 | break :blk try rp.c.str(decl.getName_bytes_begin()); |
| 3020 | 3012 | }; |
| 3021 | 3013 | |
| 3022 | 3014 | const node = try transCreateNodeFieldAccess(rp.c, container_node, name); |
| 3023 | 3015 | return maybeSuppressResult(rp, scope, result_used, node); |
| 3024 | 3016 | } |
| 3025 | 3017 | |
| 3026 | | fn transArrayAccess(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangArraySubscriptExpr, result_used: ResultUsed) TransError!*ast.Node { |
| 3027 | | var base_stmt = ZigClangArraySubscriptExpr_getBase(stmt); |
| 3018 | fn transArrayAccess(rp: RestorePoint, scope: *Scope, stmt: *const clang.ArraySubscriptExpr, result_used: ResultUsed) TransError!*ast.Node { |
| 3019 | var base_stmt = stmt.getBase(); |
| 3028 | 3020 | |
| 3029 | 3021 | // Unwrap the base statement if it's an array decayed to a bare pointer type |
| 3030 | 3022 | // so that we index the array itself |
| 3031 | | if (ZigClangStmt_getStmtClass(@ptrCast(*const ZigClangStmt, base_stmt)) == .ImplicitCastExprClass) { |
| 3032 | | const implicit_cast = @ptrCast(*const ZigClangImplicitCastExpr, base_stmt); |
| 3023 | if (@ptrCast(*const clang.Stmt, base_stmt).getStmtClass() == .ImplicitCastExprClass) { |
| 3024 | const implicit_cast = @ptrCast(*const clang.ImplicitCastExpr, base_stmt); |
| 3033 | 3025 | |
| 3034 | | if (ZigClangImplicitCastExpr_getCastKind(implicit_cast) == .ArrayToPointerDecay) { |
| 3035 | | base_stmt = ZigClangImplicitCastExpr_getSubExpr(implicit_cast); |
| 3026 | if (implicit_cast.getCastKind() == .ArrayToPointerDecay) { |
| 3027 | base_stmt = implicit_cast.getSubExpr(); |
| 3036 | 3028 | } |
| 3037 | 3029 | } |
| 3038 | 3030 | |
| ... | ... | @@ -3040,7 +3032,7 @@ fn transArrayAccess(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangArrayS |
| 3040 | 3032 | const node = try transCreateNodeArrayAccess(rp.c, container_node); |
| 3041 | 3033 | |
| 3042 | 3034 | // cast if the index is long long or signed |
| 3043 | | const subscr_expr = ZigClangArraySubscriptExpr_getIdx(stmt); |
| 3035 | const subscr_expr = stmt.getIdx(); |
| 3044 | 3036 | const qt = getExprQualType(rp.c, subscr_expr); |
| 3045 | 3037 | const is_longlong = cIsLongLongInteger(qt); |
| 3046 | 3038 | const is_signed = cIsSignedInteger(qt); |
| ... | ... | @@ -3062,23 +3054,23 @@ fn transArrayAccess(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangArrayS |
| 3062 | 3054 | return maybeSuppressResult(rp, scope, result_used, &node.base); |
| 3063 | 3055 | } |
| 3064 | 3056 | |
| 3065 | | fn transCallExpr(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangCallExpr, result_used: ResultUsed) TransError!*ast.Node { |
| 3066 | | const callee = ZigClangCallExpr_getCallee(stmt); |
| 3057 | fn transCallExpr(rp: RestorePoint, scope: *Scope, stmt: *const clang.CallExpr, result_used: ResultUsed) TransError!*ast.Node { |
| 3058 | const callee = stmt.getCallee(); |
| 3067 | 3059 | var raw_fn_expr = try transExpr(rp, scope, callee, .used, .r_value); |
| 3068 | 3060 | |
| 3069 | 3061 | var is_ptr = false; |
| 3070 | | const fn_ty = qualTypeGetFnProto(ZigClangExpr_getType(callee), &is_ptr); |
| 3062 | const fn_ty = qualTypeGetFnProto(callee.getType(), &is_ptr); |
| 3071 | 3063 | |
| 3072 | 3064 | const fn_expr = if (is_ptr and fn_ty != null) blk: { |
| 3073 | | if (ZigClangExpr_getStmtClass(callee) == .ImplicitCastExprClass) { |
| 3074 | | const implicit_cast = @ptrCast(*const ZigClangImplicitCastExpr, callee); |
| 3075 | | |
| 3076 | | if (ZigClangImplicitCastExpr_getCastKind(implicit_cast) == .FunctionToPointerDecay) { |
| 3077 | | const subexpr = ZigClangImplicitCastExpr_getSubExpr(implicit_cast); |
| 3078 | | if (ZigClangExpr_getStmtClass(subexpr) == .DeclRefExprClass) { |
| 3079 | | const decl_ref = @ptrCast(*const ZigClangDeclRefExpr, subexpr); |
| 3080 | | const named_decl = ZigClangDeclRefExpr_getFoundDecl(decl_ref); |
| 3081 | | if (ZigClangDecl_getKind(@ptrCast(*const ZigClangDecl, named_decl)) == .Function) { |
| 3065 | if (callee.getStmtClass() == .ImplicitCastExprClass) { |
| 3066 | const implicit_cast = @ptrCast(*const clang.ImplicitCastExpr, callee); |
| 3067 | |
| 3068 | if (implicit_cast.getCastKind() == .FunctionToPointerDecay) { |
| 3069 | const subexpr = implicit_cast.getSubExpr(); |
| 3070 | if (subexpr.getStmtClass() == .DeclRefExprClass) { |
| 3071 | const decl_ref = @ptrCast(*const clang.DeclRefExpr, subexpr); |
| 3072 | const named_decl = decl_ref.getFoundDecl(); |
| 3073 | if (@ptrCast(*const clang.Decl, named_decl).getKind() == .Function) { |
| 3082 | 3074 | break :blk raw_fn_expr; |
| 3083 | 3075 | } |
| 3084 | 3076 | } |
| ... | ... | @@ -3088,11 +3080,11 @@ fn transCallExpr(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangCallExpr, |
| 3088 | 3080 | } else |
| 3089 | 3081 | raw_fn_expr; |
| 3090 | 3082 | |
| 3091 | | const num_args = ZigClangCallExpr_getNumArgs(stmt); |
| 3083 | const num_args = stmt.getNumArgs(); |
| 3092 | 3084 | const node = try rp.c.createCall(fn_expr, num_args); |
| 3093 | 3085 | const call_params = node.params(); |
| 3094 | 3086 | |
| 3095 | | const args = ZigClangCallExpr_getArgs(stmt); |
| 3087 | const args = stmt.getArgs(); |
| 3096 | 3088 | var i: usize = 0; |
| 3097 | 3089 | while (i < num_args) : (i += 1) { |
| 3098 | 3090 | if (i != 0) { |
| ... | ... | @@ -3103,9 +3095,9 @@ fn transCallExpr(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangCallExpr, |
| 3103 | 3095 | node.rtoken = try appendToken(rp.c, .RParen, ")"); |
| 3104 | 3096 | |
| 3105 | 3097 | if (fn_ty) |ty| { |
| 3106 | | const canon = ZigClangQualType_getCanonicalType(ty.getReturnType()); |
| 3107 | | const ret_ty = ZigClangQualType_getTypePtr(canon); |
| 3108 | | if (ZigClangType_isVoidType(ret_ty)) { |
| 3098 | const canon = ty.getReturnType().getCanonicalType(); |
| 3099 | const ret_ty = canon.getTypePtr(); |
| 3100 | if (ret_ty.isVoidType()) { |
| 3109 | 3101 | _ = try appendToken(rp.c, .Semicolon, ";"); |
| 3110 | 3102 | return &node.base; |
| 3111 | 3103 | } |
| ... | ... | @@ -3115,32 +3107,32 @@ fn transCallExpr(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangCallExpr, |
| 3115 | 3107 | } |
| 3116 | 3108 | |
| 3117 | 3109 | const ClangFunctionType = union(enum) { |
| 3118 | | Proto: *const ZigClangFunctionProtoType, |
| 3119 | | NoProto: *const ZigClangFunctionType, |
| 3110 | Proto: *const clang.FunctionProtoType, |
| 3111 | NoProto: *const clang.FunctionType, |
| 3120 | 3112 | |
| 3121 | | fn getReturnType(self: @This()) ZigClangQualType { |
| 3113 | fn getReturnType(self: @This()) clang.QualType { |
| 3122 | 3114 | switch (@as(@TagType(@This()), self)) { |
| 3123 | | .Proto => return ZigClangFunctionProtoType_getReturnType(self.Proto), |
| 3124 | | .NoProto => return ZigClangFunctionType_getReturnType(self.NoProto), |
| 3115 | .Proto => return self.Proto.getReturnType(), |
| 3116 | .NoProto => return self.NoProto.getReturnType(), |
| 3125 | 3117 | } |
| 3126 | 3118 | } |
| 3127 | 3119 | }; |
| 3128 | 3120 | |
| 3129 | | fn qualTypeGetFnProto(qt: ZigClangQualType, is_ptr: *bool) ?ClangFunctionType { |
| 3130 | | const canon = ZigClangQualType_getCanonicalType(qt); |
| 3131 | | var ty = ZigClangQualType_getTypePtr(canon); |
| 3121 | fn qualTypeGetFnProto(qt: clang.QualType, is_ptr: *bool) ?ClangFunctionType { |
| 3122 | const canon = qt.getCanonicalType(); |
| 3123 | var ty = canon.getTypePtr(); |
| 3132 | 3124 | is_ptr.* = false; |
| 3133 | 3125 | |
| 3134 | | if (ZigClangType_getTypeClass(ty) == .Pointer) { |
| 3126 | if (ty.getTypeClass() == .Pointer) { |
| 3135 | 3127 | is_ptr.* = true; |
| 3136 | | const child_qt = ZigClangType_getPointeeType(ty); |
| 3137 | | ty = ZigClangQualType_getTypePtr(child_qt); |
| 3128 | const child_qt = ty.getPointeeType(); |
| 3129 | ty = child_qt.getTypePtr(); |
| 3138 | 3130 | } |
| 3139 | | if (ZigClangType_getTypeClass(ty) == .FunctionProto) { |
| 3140 | | return ClangFunctionType{ .Proto = @ptrCast(*const ZigClangFunctionProtoType, ty) }; |
| 3131 | if (ty.getTypeClass() == .FunctionProto) { |
| 3132 | return ClangFunctionType{ .Proto = @ptrCast(*const clang.FunctionProtoType, ty) }; |
| 3141 | 3133 | } |
| 3142 | | if (ZigClangType_getTypeClass(ty) == .FunctionNoProto) { |
| 3143 | | return ClangFunctionType{ .NoProto = @ptrCast(*const ZigClangFunctionType, ty) }; |
| 3134 | if (ty.getTypeClass() == .FunctionNoProto) { |
| 3135 | return ClangFunctionType{ .NoProto = @ptrCast(*const clang.FunctionType, ty) }; |
| 3144 | 3136 | } |
| 3145 | 3137 | return null; |
| 3146 | 3138 | } |
| ... | ... | @@ -3148,17 +3140,17 @@ fn qualTypeGetFnProto(qt: ZigClangQualType, is_ptr: *bool) ?ClangFunctionType { |
| 3148 | 3140 | fn transUnaryExprOrTypeTraitExpr( |
| 3149 | 3141 | rp: RestorePoint, |
| 3150 | 3142 | scope: *Scope, |
| 3151 | | stmt: *const ZigClangUnaryExprOrTypeTraitExpr, |
| 3143 | stmt: *const clang.UnaryExprOrTypeTraitExpr, |
| 3152 | 3144 | result_used: ResultUsed, |
| 3153 | 3145 | ) TransError!*ast.Node { |
| 3154 | | const loc = ZigClangUnaryExprOrTypeTraitExpr_getBeginLoc(stmt); |
| 3146 | const loc = stmt.getBeginLoc(); |
| 3155 | 3147 | const type_node = try transQualType( |
| 3156 | 3148 | rp, |
| 3157 | | ZigClangUnaryExprOrTypeTraitExpr_getTypeOfArgument(stmt), |
| 3149 | stmt.getTypeOfArgument(), |
| 3158 | 3150 | loc, |
| 3159 | 3151 | ); |
| 3160 | 3152 | |
| 3161 | | const kind = ZigClangUnaryExprOrTypeTraitExpr_getKind(stmt); |
| 3153 | const kind = stmt.getKind(); |
| 3162 | 3154 | const kind_str = switch (kind) { |
| 3163 | 3155 | .SizeOf => "@sizeOf", |
| 3164 | 3156 | .AlignOf => "@alignOf", |
| ... | ... | @@ -3180,7 +3172,7 @@ fn transUnaryExprOrTypeTraitExpr( |
| 3180 | 3172 | return maybeSuppressResult(rp, scope, result_used, &builtin_node.base); |
| 3181 | 3173 | } |
| 3182 | 3174 | |
| 3183 | | fn qualTypeHasWrappingOverflow(qt: ZigClangQualType) bool { |
| 3175 | fn qualTypeHasWrappingOverflow(qt: clang.QualType) bool { |
| 3184 | 3176 | if (cIsUnsignedInteger(qt)) { |
| 3185 | 3177 | // unsigned integer overflow wraps around. |
| 3186 | 3178 | return true; |
| ... | ... | @@ -3190,22 +3182,22 @@ fn qualTypeHasWrappingOverflow(qt: ZigClangQualType) bool { |
| 3190 | 3182 | } |
| 3191 | 3183 | } |
| 3192 | 3184 | |
| 3193 | | fn transUnaryOperator(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangUnaryOperator, used: ResultUsed) TransError!*ast.Node { |
| 3194 | | const op_expr = ZigClangUnaryOperator_getSubExpr(stmt); |
| 3195 | | switch (ZigClangUnaryOperator_getOpcode(stmt)) { |
| 3196 | | .PostInc => if (qualTypeHasWrappingOverflow(ZigClangUnaryOperator_getType(stmt))) |
| 3185 | fn transUnaryOperator(rp: RestorePoint, scope: *Scope, stmt: *const clang.UnaryOperator, used: ResultUsed) TransError!*ast.Node { |
| 3186 | const op_expr = stmt.getSubExpr(); |
| 3187 | switch (stmt.getOpcode()) { |
| 3188 | .PostInc => if (qualTypeHasWrappingOverflow(stmt.getType())) |
| 3197 | 3189 | return transCreatePostCrement(rp, scope, stmt, .AssignAddWrap, .PlusPercentEqual, "+%=", used) |
| 3198 | 3190 | else |
| 3199 | 3191 | return transCreatePostCrement(rp, scope, stmt, .AssignAdd, .PlusEqual, "+=", used), |
| 3200 | | .PostDec => if (qualTypeHasWrappingOverflow(ZigClangUnaryOperator_getType(stmt))) |
| 3192 | .PostDec => if (qualTypeHasWrappingOverflow(stmt.getType())) |
| 3201 | 3193 | return transCreatePostCrement(rp, scope, stmt, .AssignSubWrap, .MinusPercentEqual, "-%=", used) |
| 3202 | 3194 | else |
| 3203 | 3195 | return transCreatePostCrement(rp, scope, stmt, .AssignSub, .MinusEqual, "-=", used), |
| 3204 | | .PreInc => if (qualTypeHasWrappingOverflow(ZigClangUnaryOperator_getType(stmt))) |
| 3196 | .PreInc => if (qualTypeHasWrappingOverflow(stmt.getType())) |
| 3205 | 3197 | return transCreatePreCrement(rp, scope, stmt, .AssignAddWrap, .PlusPercentEqual, "+%=", used) |
| 3206 | 3198 | else |
| 3207 | 3199 | return transCreatePreCrement(rp, scope, stmt, .AssignAdd, .PlusEqual, "+=", used), |
| 3208 | | .PreDec => if (qualTypeHasWrappingOverflow(ZigClangUnaryOperator_getType(stmt))) |
| 3200 | .PreDec => if (qualTypeHasWrappingOverflow(stmt.getType())) |
| 3209 | 3201 | return transCreatePreCrement(rp, scope, stmt, .AssignSubWrap, .MinusPercentEqual, "-%=", used) |
| 3210 | 3202 | else |
| 3211 | 3203 | return transCreatePreCrement(rp, scope, stmt, .AssignSub, .MinusEqual, "-=", used), |
| ... | ... | @@ -3217,7 +3209,7 @@ fn transUnaryOperator(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangUnar |
| 3217 | 3209 | .Deref => { |
| 3218 | 3210 | const value_node = try transExpr(rp, scope, op_expr, used, .r_value); |
| 3219 | 3211 | var is_ptr = false; |
| 3220 | | const fn_ty = qualTypeGetFnProto(ZigClangExpr_getType(op_expr), &is_ptr); |
| 3212 | const fn_ty = qualTypeGetFnProto(op_expr.getType(), &is_ptr); |
| 3221 | 3213 | if (fn_ty != null and is_ptr) |
| 3222 | 3214 | return value_node; |
| 3223 | 3215 | const unwrapped = try transCreateNodeUnwrapNull(rp.c, value_node); |
| ... | ... | @@ -3225,18 +3217,18 @@ fn transUnaryOperator(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangUnar |
| 3225 | 3217 | }, |
| 3226 | 3218 | .Plus => return transExpr(rp, scope, op_expr, used, .r_value), |
| 3227 | 3219 | .Minus => { |
| 3228 | | if (!qualTypeHasWrappingOverflow(ZigClangExpr_getType(op_expr))) { |
| 3220 | if (!qualTypeHasWrappingOverflow(op_expr.getType())) { |
| 3229 | 3221 | const op_node = try transCreateNodeSimplePrefixOp(rp.c, .Negation, .Minus, "-"); |
| 3230 | 3222 | op_node.rhs = try transExpr(rp, scope, op_expr, .used, .r_value); |
| 3231 | 3223 | return &op_node.base; |
| 3232 | | } else if (cIsUnsignedInteger(ZigClangExpr_getType(op_expr))) { |
| 3224 | } else if (cIsUnsignedInteger(op_expr.getType())) { |
| 3233 | 3225 | // we gotta emit 0 -% x |
| 3234 | 3226 | const zero = try transCreateNodeInt(rp.c, 0); |
| 3235 | 3227 | const token = try appendToken(rp.c, .MinusPercent, "-%"); |
| 3236 | 3228 | const expr = try transExpr(rp, scope, op_expr, .used, .r_value); |
| 3237 | 3229 | return transCreateNodeInfixOp(rp, scope, zero, .SubWrap, token, expr, used, true); |
| 3238 | 3230 | } else |
| 3239 | | return revertAndWarn(rp, error.UnsupportedTranslation, ZigClangUnaryOperator_getBeginLoc(stmt), "C negation with non float non integer", .{}); |
| 3231 | return revertAndWarn(rp, error.UnsupportedTranslation, stmt.getBeginLoc(), "C negation with non float non integer", .{}); |
| 3240 | 3232 | }, |
| 3241 | 3233 | .Not => { |
| 3242 | 3234 | const op_node = try transCreateNodeSimplePrefixOp(rp.c, .BitNot, .Tilde, "~"); |
| ... | ... | @@ -3249,22 +3241,22 @@ fn transUnaryOperator(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangUnar |
| 3249 | 3241 | return &op_node.base; |
| 3250 | 3242 | }, |
| 3251 | 3243 | .Extension => { |
| 3252 | | return transExpr(rp, scope, ZigClangUnaryOperator_getSubExpr(stmt), used, .l_value); |
| 3244 | return transExpr(rp, scope, stmt.getSubExpr(), used, .l_value); |
| 3253 | 3245 | }, |
| 3254 | | else => return revertAndWarn(rp, error.UnsupportedTranslation, ZigClangUnaryOperator_getBeginLoc(stmt), "unsupported C translation {}", .{ZigClangUnaryOperator_getOpcode(stmt)}), |
| 3246 | else => return revertAndWarn(rp, error.UnsupportedTranslation, stmt.getBeginLoc(), "unsupported C translation {}", .{stmt.getOpcode()}), |
| 3255 | 3247 | } |
| 3256 | 3248 | } |
| 3257 | 3249 | |
| 3258 | 3250 | fn transCreatePreCrement( |
| 3259 | 3251 | rp: RestorePoint, |
| 3260 | 3252 | scope: *Scope, |
| 3261 | | stmt: *const ZigClangUnaryOperator, |
| 3253 | stmt: *const clang.UnaryOperator, |
| 3262 | 3254 | op: ast.Node.Tag, |
| 3263 | 3255 | op_tok_id: std.zig.Token.Id, |
| 3264 | 3256 | bytes: []const u8, |
| 3265 | 3257 | used: ResultUsed, |
| 3266 | 3258 | ) TransError!*ast.Node { |
| 3267 | | const op_expr = ZigClangUnaryOperator_getSubExpr(stmt); |
| 3259 | const op_expr = stmt.getSubExpr(); |
| 3268 | 3260 | |
| 3269 | 3261 | if (used == .unused) { |
| 3270 | 3262 | // common case |
| ... | ... | @@ -3331,13 +3323,13 @@ fn transCreatePreCrement( |
| 3331 | 3323 | fn transCreatePostCrement( |
| 3332 | 3324 | rp: RestorePoint, |
| 3333 | 3325 | scope: *Scope, |
| 3334 | | stmt: *const ZigClangUnaryOperator, |
| 3326 | stmt: *const clang.UnaryOperator, |
| 3335 | 3327 | op: ast.Node.Tag, |
| 3336 | 3328 | op_tok_id: std.zig.Token.Id, |
| 3337 | 3329 | bytes: []const u8, |
| 3338 | 3330 | used: ResultUsed, |
| 3339 | 3331 | ) TransError!*ast.Node { |
| 3340 | | const op_expr = ZigClangUnaryOperator_getSubExpr(stmt); |
| 3332 | const op_expr = stmt.getSubExpr(); |
| 3341 | 3333 | |
| 3342 | 3334 | if (used == .unused) { |
| 3343 | 3335 | // common case |
| ... | ... | @@ -3422,17 +3414,17 @@ fn transCreatePostCrement( |
| 3422 | 3414 | return &grouped_expr.base; |
| 3423 | 3415 | } |
| 3424 | 3416 | |
| 3425 | | fn transCompoundAssignOperator(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangCompoundAssignOperator, used: ResultUsed) TransError!*ast.Node { |
| 3426 | | switch (ZigClangCompoundAssignOperator_getOpcode(stmt)) { |
| 3427 | | .MulAssign => if (qualTypeHasWrappingOverflow(ZigClangCompoundAssignOperator_getType(stmt))) |
| 3417 | fn transCompoundAssignOperator(rp: RestorePoint, scope: *Scope, stmt: *const clang.CompoundAssignOperator, used: ResultUsed) TransError!*ast.Node { |
| 3418 | switch (stmt.getOpcode()) { |
| 3419 | .MulAssign => if (qualTypeHasWrappingOverflow(stmt.getType())) |
| 3428 | 3420 | return transCreateCompoundAssign(rp, scope, stmt, .AssignMulWrap, .AsteriskPercentEqual, "*%=", .MulWrap, .AsteriskPercent, "*%", used) |
| 3429 | 3421 | else |
| 3430 | 3422 | return transCreateCompoundAssign(rp, scope, stmt, .AssignMul, .AsteriskEqual, "*=", .Mul, .Asterisk, "*", used), |
| 3431 | | .AddAssign => if (qualTypeHasWrappingOverflow(ZigClangCompoundAssignOperator_getType(stmt))) |
| 3423 | .AddAssign => if (qualTypeHasWrappingOverflow(stmt.getType())) |
| 3432 | 3424 | return transCreateCompoundAssign(rp, scope, stmt, .AssignAddWrap, .PlusPercentEqual, "+%=", .AddWrap, .PlusPercent, "+%", used) |
| 3433 | 3425 | else |
| 3434 | 3426 | return transCreateCompoundAssign(rp, scope, stmt, .AssignAdd, .PlusEqual, "+=", .Add, .Plus, "+", used), |
| 3435 | | .SubAssign => if (qualTypeHasWrappingOverflow(ZigClangCompoundAssignOperator_getType(stmt))) |
| 3427 | .SubAssign => if (qualTypeHasWrappingOverflow(stmt.getType())) |
| 3436 | 3428 | return transCreateCompoundAssign(rp, scope, stmt, .AssignSubWrap, .MinusPercentEqual, "-%=", .SubWrap, .MinusPercent, "-%", used) |
| 3437 | 3429 | else |
| 3438 | 3430 | return transCreateCompoundAssign(rp, scope, stmt, .AssignSub, .MinusPercentEqual, "-=", .Sub, .Minus, "-", used), |
| ... | ... | @@ -3446,9 +3438,9 @@ fn transCompoundAssignOperator(rp: RestorePoint, scope: *Scope, stmt: *const Zig |
| 3446 | 3438 | else => return revertAndWarn( |
| 3447 | 3439 | rp, |
| 3448 | 3440 | error.UnsupportedTranslation, |
| 3449 | | ZigClangCompoundAssignOperator_getBeginLoc(stmt), |
| 3441 | stmt.getBeginLoc(), |
| 3450 | 3442 | "unsupported C translation {}", |
| 3451 | | .{ZigClangCompoundAssignOperator_getOpcode(stmt)}, |
| 3443 | .{stmt.getOpcode()}, |
| 3452 | 3444 | ), |
| 3453 | 3445 | } |
| 3454 | 3446 | } |
| ... | ... | @@ -3456,7 +3448,7 @@ fn transCompoundAssignOperator(rp: RestorePoint, scope: *Scope, stmt: *const Zig |
| 3456 | 3448 | fn transCreateCompoundAssign( |
| 3457 | 3449 | rp: RestorePoint, |
| 3458 | 3450 | scope: *Scope, |
| 3459 | | stmt: *const ZigClangCompoundAssignOperator, |
| 3451 | stmt: *const clang.CompoundAssignOperator, |
| 3460 | 3452 | assign_op: ast.Node.Tag, |
| 3461 | 3453 | assign_tok_id: std.zig.Token.Id, |
| 3462 | 3454 | assign_bytes: []const u8, |
| ... | ... | @@ -3468,9 +3460,9 @@ fn transCreateCompoundAssign( |
| 3468 | 3460 | const is_shift = bin_op == .BitShiftLeft or bin_op == .BitShiftRight; |
| 3469 | 3461 | const is_div = bin_op == .Div; |
| 3470 | 3462 | const is_mod = bin_op == .Mod; |
| 3471 | | const lhs = ZigClangCompoundAssignOperator_getLHS(stmt); |
| 3472 | | const rhs = ZigClangCompoundAssignOperator_getRHS(stmt); |
| 3473 | | const loc = ZigClangCompoundAssignOperator_getBeginLoc(stmt); |
| 3463 | const lhs = stmt.getLHS(); |
| 3464 | const rhs = stmt.getRHS(); |
| 3465 | const loc = stmt.getBeginLoc(); |
| 3474 | 3466 | const lhs_qt = getExprQualType(rp.c, lhs); |
| 3475 | 3467 | const rhs_qt = getExprQualType(rp.c, rhs); |
| 3476 | 3468 | const is_signed = cIsSignedInteger(lhs_qt); |
| ... | ... | @@ -3615,20 +3607,20 @@ fn transCreateCompoundAssign( |
| 3615 | 3607 | |
| 3616 | 3608 | fn transCPtrCast( |
| 3617 | 3609 | rp: RestorePoint, |
| 3618 | | loc: ZigClangSourceLocation, |
| 3619 | | dst_type: ZigClangQualType, |
| 3620 | | src_type: ZigClangQualType, |
| 3610 | loc: clang.SourceLocation, |
| 3611 | dst_type: clang.QualType, |
| 3612 | src_type: clang.QualType, |
| 3621 | 3613 | expr: *ast.Node, |
| 3622 | 3614 | ) !*ast.Node { |
| 3623 | | const ty = ZigClangQualType_getTypePtr(dst_type); |
| 3624 | | const child_type = ZigClangType_getPointeeType(ty); |
| 3625 | | const src_ty = ZigClangQualType_getTypePtr(src_type); |
| 3626 | | const src_child_type = ZigClangType_getPointeeType(src_ty); |
| 3627 | | |
| 3628 | | if ((ZigClangQualType_isConstQualified(src_child_type) and |
| 3629 | | !ZigClangQualType_isConstQualified(child_type)) or |
| 3630 | | (ZigClangQualType_isVolatileQualified(src_child_type) and |
| 3631 | | !ZigClangQualType_isVolatileQualified(child_type))) |
| 3615 | const ty = dst_type.getTypePtr(); |
| 3616 | const child_type = ty.getPointeeType(); |
| 3617 | const src_ty = src_type.getTypePtr(); |
| 3618 | const src_child_type = src_ty.getPointeeType(); |
| 3619 | |
| 3620 | if ((src_child_type.isConstQualified() and |
| 3621 | !child_type.isConstQualified()) or |
| 3622 | (src_child_type.isVolatileQualified() and |
| 3623 | !child_type.isVolatileQualified())) |
| 3632 | 3624 | { |
| 3633 | 3625 | // Casting away const or volatile requires us to use @intToPtr |
| 3634 | 3626 | const inttoptr_node = try rp.c.createBuiltinCall("@intToPtr", 2); |
| ... | ... | @@ -3651,7 +3643,7 @@ fn transCPtrCast( |
| 3651 | 3643 | ptrcast_node.params()[0] = dst_type_node; |
| 3652 | 3644 | _ = try appendToken(rp.c, .Comma, ","); |
| 3653 | 3645 | |
| 3654 | | if (ZigClangType_isVoidType(qualTypeCanon(child_type))) { |
| 3646 | if (qualTypeCanon(child_type).isVoidType()) { |
| 3655 | 3647 | // void has 1-byte alignment, so @alignCast is not needed |
| 3656 | 3648 | ptrcast_node.params()[1] = expr; |
| 3657 | 3649 | } else if (typeIsOpaque(rp.c, qualTypeCanon(child_type), loc)) { |
| ... | ... | @@ -3691,9 +3683,9 @@ fn transBreak(rp: RestorePoint, scope: *Scope) TransError!*ast.Node { |
| 3691 | 3683 | return &br.base; |
| 3692 | 3684 | } |
| 3693 | 3685 | |
| 3694 | | fn transFloatingLiteral(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangFloatingLiteral, used: ResultUsed) TransError!*ast.Node { |
| 3686 | fn transFloatingLiteral(rp: RestorePoint, scope: *Scope, stmt: *const clang.FloatingLiteral, used: ResultUsed) TransError!*ast.Node { |
| 3695 | 3687 | // TODO use something more accurate |
| 3696 | | const dbl = ZigClangAPFloat_getValueAsApproximateDouble(stmt); |
| 3688 | const dbl = stmt.getValueAsApproximateDouble(); |
| 3697 | 3689 | const node = try rp.c.arena.create(ast.Node.OneToken); |
| 3698 | 3690 | node.* = .{ |
| 3699 | 3691 | .base = .{ .tag = .FloatLiteral }, |
| ... | ... | @@ -3702,13 +3694,13 @@ fn transFloatingLiteral(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangFl |
| 3702 | 3694 | return maybeSuppressResult(rp, scope, used, &node.base); |
| 3703 | 3695 | } |
| 3704 | 3696 | |
| 3705 | | fn transBinaryConditionalOperator(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangBinaryConditionalOperator, used: ResultUsed) TransError!*ast.Node { |
| 3697 | fn transBinaryConditionalOperator(rp: RestorePoint, scope: *Scope, stmt: *const clang.BinaryConditionalOperator, used: ResultUsed) TransError!*ast.Node { |
| 3706 | 3698 | // GNU extension of the ternary operator where the middle expression is |
| 3707 | 3699 | // omitted, the conditition itself is returned if it evaluates to true |
| 3708 | | const casted_stmt = @ptrCast(*const ZigClangAbstractConditionalOperator, stmt); |
| 3709 | | const cond_expr = ZigClangAbstractConditionalOperator_getCond(casted_stmt); |
| 3710 | | const true_expr = ZigClangAbstractConditionalOperator_getTrueExpr(casted_stmt); |
| 3711 | | const false_expr = ZigClangAbstractConditionalOperator_getFalseExpr(casted_stmt); |
| 3700 | const casted_stmt = @ptrCast(*const clang.AbstractConditionalOperator, stmt); |
| 3701 | const cond_expr = casted_stmt.getCond(); |
| 3702 | const true_expr = casted_stmt.getTrueExpr(); |
| 3703 | const false_expr = casted_stmt.getFalseExpr(); |
| 3712 | 3704 | |
| 3713 | 3705 | // c: (cond_expr)?:(false_expr) |
| 3714 | 3706 | // zig: (blk: { |
| ... | ... | @@ -3748,8 +3740,8 @@ fn transBinaryConditionalOperator(rp: RestorePoint, scope: *Scope, stmt: *const |
| 3748 | 3740 | defer cond_scope.deinit(); |
| 3749 | 3741 | const tmp_var_node = try transCreateNodeIdentifier(rp.c, mangled_name); |
| 3750 | 3742 | |
| 3751 | | const ty = ZigClangQualType_getTypePtr(getExprQualType(rp.c, cond_expr)); |
| 3752 | | const cond_node = try finishBoolExpr(rp, &cond_scope.base, ZigClangExpr_getBeginLoc(cond_expr), ty, tmp_var_node, used); |
| 3743 | const ty = getExprQualType(rp.c, cond_expr).getTypePtr(); |
| 3744 | const cond_node = try finishBoolExpr(rp, &cond_scope.base, cond_expr.getBeginLoc(), ty, tmp_var_node, used); |
| 3753 | 3745 | if_node.condition = cond_node; |
| 3754 | 3746 | _ = try appendToken(rp.c, .RParen, ")"); |
| 3755 | 3747 | |
| ... | ... | @@ -3772,7 +3764,7 @@ fn transBinaryConditionalOperator(rp: RestorePoint, scope: *Scope, stmt: *const |
| 3772 | 3764 | return maybeSuppressResult(rp, scope, used, &grouped_expr.base); |
| 3773 | 3765 | } |
| 3774 | 3766 | |
| 3775 | | fn transConditionalOperator(rp: RestorePoint, scope: *Scope, stmt: *const ZigClangConditionalOperator, used: ResultUsed) TransError!*ast.Node { |
| 3767 | fn transConditionalOperator(rp: RestorePoint, scope: *Scope, stmt: *const clang.ConditionalOperator, used: ResultUsed) TransError!*ast.Node { |
| 3776 | 3768 | const grouped = scope.id == .Condition; |
| 3777 | 3769 | const lparen = if (grouped) try appendToken(rp.c, .LParen, "(") else undefined; |
| 3778 | 3770 | const if_node = try transCreateNodeIf(rp.c); |
| ... | ... | @@ -3784,10 +3776,10 @@ fn transConditionalOperator(rp: RestorePoint, scope: *Scope, stmt: *const ZigCla |
| 3784 | 3776 | }; |
| 3785 | 3777 | defer cond_scope.deinit(); |
| 3786 | 3778 | |
| 3787 | | const casted_stmt = @ptrCast(*const ZigClangAbstractConditionalOperator, stmt); |
| 3788 | | const cond_expr = ZigClangAbstractConditionalOperator_getCond(casted_stmt); |
| 3789 | | const true_expr = ZigClangAbstractConditionalOperator_getTrueExpr(casted_stmt); |
| 3790 | | const false_expr = ZigClangAbstractConditionalOperator_getFalseExpr(casted_stmt); |
| 3779 | const casted_stmt = @ptrCast(*const clang.AbstractConditionalOperator, stmt); |
| 3780 | const cond_expr = casted_stmt.getCond(); |
| 3781 | const true_expr = casted_stmt.getTrueExpr(); |
| 3782 | const false_expr = casted_stmt.getFalseExpr(); |
| 3791 | 3783 | |
| 3792 | 3784 | if_node.condition = try transBoolExpr(rp, &cond_scope.base, cond_expr, .used, .r_value, false); |
| 3793 | 3785 | _ = try appendToken(rp.c, .RParen, ")"); |
| ... | ... | @@ -3845,22 +3837,22 @@ fn addTopLevelDecl(c: *Context, name: []const u8, decl_node: *ast.Node) !void { |
| 3845 | 3837 | _ = try c.global_scope.sym_table.put(name, decl_node); |
| 3846 | 3838 | } |
| 3847 | 3839 | |
| 3848 | | fn transQualType(rp: RestorePoint, qt: ZigClangQualType, source_loc: ZigClangSourceLocation) TypeError!*ast.Node { |
| 3849 | | return transType(rp, ZigClangQualType_getTypePtr(qt), source_loc); |
| 3840 | fn transQualType(rp: RestorePoint, qt: clang.QualType, source_loc: clang.SourceLocation) TypeError!*ast.Node { |
| 3841 | return transType(rp, qt.getTypePtr(), source_loc); |
| 3850 | 3842 | } |
| 3851 | 3843 | |
| 3852 | 3844 | /// Produces a Zig AST node by translating a Clang QualType, respecting the width, but modifying the signed-ness. |
| 3853 | 3845 | /// Asserts the type is an integer. |
| 3854 | | fn transQualTypeIntWidthOf(c: *Context, ty: ZigClangQualType, is_signed: bool) TypeError!*ast.Node { |
| 3846 | fn transQualTypeIntWidthOf(c: *Context, ty: clang.QualType, is_signed: bool) TypeError!*ast.Node { |
| 3855 | 3847 | return transTypeIntWidthOf(c, qualTypeCanon(ty), is_signed); |
| 3856 | 3848 | } |
| 3857 | 3849 | |
| 3858 | 3850 | /// Produces a Zig AST node by translating a Clang Type, respecting the width, but modifying the signed-ness. |
| 3859 | 3851 | /// Asserts the type is an integer. |
| 3860 | | fn transTypeIntWidthOf(c: *Context, ty: *const ZigClangType, is_signed: bool) TypeError!*ast.Node { |
| 3861 | | assert(ZigClangType_getTypeClass(ty) == .Builtin); |
| 3862 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, ty); |
| 3863 | | return transCreateNodeIdentifier(c, switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 3852 | fn transTypeIntWidthOf(c: *Context, ty: *const clang.Type, is_signed: bool) TypeError!*ast.Node { |
| 3853 | assert(ty.getTypeClass() == .Builtin); |
| 3854 | const builtin_ty = @ptrCast(*const clang.BuiltinType, ty); |
| 3855 | return transCreateNodeIdentifier(c, switch (builtin_ty.getKind()) { |
| 3864 | 3856 | .Char_U, .Char_S, .UChar, .SChar, .Char8 => if (is_signed) "i8" else "u8", |
| 3865 | 3857 | .UShort, .Short => if (is_signed) "c_short" else "c_ushort", |
| 3866 | 3858 | .UInt, .Int => if (is_signed) "c_int" else "c_uint", |
| ... | ... | @@ -3873,30 +3865,30 @@ fn transTypeIntWidthOf(c: *Context, ty: *const ZigClangType, is_signed: bool) Ty |
| 3873 | 3865 | }); |
| 3874 | 3866 | } |
| 3875 | 3867 | |
| 3876 | | fn isCBuiltinType(qt: ZigClangQualType, kind: ZigClangBuiltinTypeKind) bool { |
| 3868 | fn isCBuiltinType(qt: clang.QualType, kind: clang.BuiltinTypeKind) bool { |
| 3877 | 3869 | const c_type = qualTypeCanon(qt); |
| 3878 | | if (ZigClangType_getTypeClass(c_type) != .Builtin) |
| 3870 | if (c_type.getTypeClass() != .Builtin) |
| 3879 | 3871 | return false; |
| 3880 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, c_type); |
| 3881 | | return ZigClangBuiltinType_getKind(builtin_ty) == kind; |
| 3872 | const builtin_ty = @ptrCast(*const clang.BuiltinType, c_type); |
| 3873 | return builtin_ty.getKind() == kind; |
| 3882 | 3874 | } |
| 3883 | 3875 | |
| 3884 | | fn qualTypeIsPtr(qt: ZigClangQualType) bool { |
| 3885 | | return ZigClangType_getTypeClass(qualTypeCanon(qt)) == .Pointer; |
| 3876 | fn qualTypeIsPtr(qt: clang.QualType) bool { |
| 3877 | return qualTypeCanon(qt).getTypeClass() == .Pointer; |
| 3886 | 3878 | } |
| 3887 | 3879 | |
| 3888 | | fn qualTypeIsBoolean(qt: ZigClangQualType) bool { |
| 3889 | | return ZigClangType_isBooleanType(qualTypeCanon(qt)); |
| 3880 | fn qualTypeIsBoolean(qt: clang.QualType) bool { |
| 3881 | return qualTypeCanon(qt).isBooleanType(); |
| 3890 | 3882 | } |
| 3891 | 3883 | |
| 3892 | | fn qualTypeIntBitWidth(rp: RestorePoint, qt: ZigClangQualType, source_loc: ZigClangSourceLocation) !u32 { |
| 3893 | | const ty = ZigClangQualType_getTypePtr(qt); |
| 3884 | fn qualTypeIntBitWidth(rp: RestorePoint, qt: clang.QualType, source_loc: clang.SourceLocation) !u32 { |
| 3885 | const ty = qt.getTypePtr(); |
| 3894 | 3886 | |
| 3895 | | switch (ZigClangType_getTypeClass(ty)) { |
| 3887 | switch (ty.getTypeClass()) { |
| 3896 | 3888 | .Builtin => { |
| 3897 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, ty); |
| 3889 | const builtin_ty = @ptrCast(*const clang.BuiltinType, ty); |
| 3898 | 3890 | |
| 3899 | | switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 3891 | switch (builtin_ty.getKind()) { |
| 3900 | 3892 | .Char_U, |
| 3901 | 3893 | .UChar, |
| 3902 | 3894 | .Char_S, |
| ... | ... | @@ -3911,9 +3903,9 @@ fn qualTypeIntBitWidth(rp: RestorePoint, qt: ZigClangQualType, source_loc: ZigCl |
| 3911 | 3903 | unreachable; |
| 3912 | 3904 | }, |
| 3913 | 3905 | .Typedef => { |
| 3914 | | const typedef_ty = @ptrCast(*const ZigClangTypedefType, ty); |
| 3915 | | const typedef_decl = ZigClangTypedefType_getDecl(typedef_ty); |
| 3916 | | const type_name = try rp.c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, typedef_decl))); |
| 3906 | const typedef_ty = @ptrCast(*const clang.TypedefType, ty); |
| 3907 | const typedef_decl = typedef_ty.getDecl(); |
| 3908 | const type_name = try rp.c.str(@ptrCast(*const clang.NamedDecl, typedef_decl).getName_bytes_begin()); |
| 3917 | 3909 | |
| 3918 | 3910 | if (mem.eql(u8, type_name, "uint8_t") or mem.eql(u8, type_name, "int8_t")) { |
| 3919 | 3911 | return 8; |
| ... | ... | @@ -3933,7 +3925,7 @@ fn qualTypeIntBitWidth(rp: RestorePoint, qt: ZigClangQualType, source_loc: ZigCl |
| 3933 | 3925 | unreachable; |
| 3934 | 3926 | } |
| 3935 | 3927 | |
| 3936 | | fn qualTypeToLog2IntRef(rp: RestorePoint, qt: ZigClangQualType, source_loc: ZigClangSourceLocation) !*ast.Node { |
| 3928 | fn qualTypeToLog2IntRef(rp: RestorePoint, qt: clang.QualType, source_loc: clang.SourceLocation) !*ast.Node { |
| 3937 | 3929 | const int_bit_width = try qualTypeIntBitWidth(rp, qt, source_loc); |
| 3938 | 3930 | |
| 3939 | 3931 | if (int_bit_width != 0) { |
| ... | ... | @@ -3980,83 +3972,83 @@ fn qualTypeToLog2IntRef(rp: RestorePoint, qt: ZigClangQualType, source_loc: ZigC |
| 3980 | 3972 | return &log2int_fn_call.base; |
| 3981 | 3973 | } |
| 3982 | 3974 | |
| 3983 | | fn qualTypeChildIsFnProto(qt: ZigClangQualType) bool { |
| 3975 | fn qualTypeChildIsFnProto(qt: clang.QualType) bool { |
| 3984 | 3976 | const ty = qualTypeCanon(qt); |
| 3985 | 3977 | |
| 3986 | | switch (ZigClangType_getTypeClass(ty)) { |
| 3978 | switch (ty.getTypeClass()) { |
| 3987 | 3979 | .FunctionProto, .FunctionNoProto => return true, |
| 3988 | 3980 | else => return false, |
| 3989 | 3981 | } |
| 3990 | 3982 | } |
| 3991 | 3983 | |
| 3992 | | fn qualTypeCanon(qt: ZigClangQualType) *const ZigClangType { |
| 3993 | | const canon = ZigClangQualType_getCanonicalType(qt); |
| 3994 | | return ZigClangQualType_getTypePtr(canon); |
| 3984 | fn qualTypeCanon(qt: clang.QualType) *const clang.Type { |
| 3985 | const canon = qt.getCanonicalType(); |
| 3986 | return canon.getTypePtr(); |
| 3995 | 3987 | } |
| 3996 | 3988 | |
| 3997 | | fn getExprQualType(c: *Context, expr: *const ZigClangExpr) ZigClangQualType { |
| 3989 | fn getExprQualType(c: *Context, expr: *const clang.Expr) clang.QualType { |
| 3998 | 3990 | blk: { |
| 3999 | 3991 | // If this is a C `char *`, turn it into a `const char *` |
| 4000 | | if (ZigClangExpr_getStmtClass(expr) != .ImplicitCastExprClass) break :blk; |
| 4001 | | const cast_expr = @ptrCast(*const ZigClangImplicitCastExpr, expr); |
| 4002 | | if (ZigClangImplicitCastExpr_getCastKind(cast_expr) != .ArrayToPointerDecay) break :blk; |
| 4003 | | const sub_expr = ZigClangImplicitCastExpr_getSubExpr(cast_expr); |
| 4004 | | if (ZigClangExpr_getStmtClass(sub_expr) != .StringLiteralClass) break :blk; |
| 4005 | | const array_qt = ZigClangExpr_getType(sub_expr); |
| 4006 | | const array_type = @ptrCast(*const ZigClangArrayType, ZigClangQualType_getTypePtr(array_qt)); |
| 4007 | | var pointee_qt = ZigClangArrayType_getElementType(array_type); |
| 4008 | | ZigClangQualType_addConst(&pointee_qt); |
| 4009 | | return ZigClangASTContext_getPointerType(c.clang_context, pointee_qt); |
| 4010 | | } |
| 4011 | | return ZigClangExpr_getType(expr); |
| 4012 | | } |
| 4013 | | |
| 4014 | | fn typeIsOpaque(c: *Context, ty: *const ZigClangType, loc: ZigClangSourceLocation) bool { |
| 4015 | | switch (ZigClangType_getTypeClass(ty)) { |
| 3992 | if (expr.getStmtClass() != .ImplicitCastExprClass) break :blk; |
| 3993 | const cast_expr = @ptrCast(*const clang.ImplicitCastExpr, expr); |
| 3994 | if (cast_expr.getCastKind() != .ArrayToPointerDecay) break :blk; |
| 3995 | const sub_expr = cast_expr.getSubExpr(); |
| 3996 | if (sub_expr.getStmtClass() != .StringLiteralClass) break :blk; |
| 3997 | const array_qt = sub_expr.getType(); |
| 3998 | const array_type = @ptrCast(*const clang.ArrayType, array_qt.getTypePtr()); |
| 3999 | var pointee_qt = array_type.getElementType(); |
| 4000 | pointee_qt.addConst(); |
| 4001 | return c.clang_context.getPointerType(pointee_qt); |
| 4002 | } |
| 4003 | return expr.getType(); |
| 4004 | } |
| 4005 | |
| 4006 | fn typeIsOpaque(c: *Context, ty: *const clang.Type, loc: clang.SourceLocation) bool { |
| 4007 | switch (ty.getTypeClass()) { |
| 4016 | 4008 | .Builtin => { |
| 4017 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, ty); |
| 4018 | | return ZigClangBuiltinType_getKind(builtin_ty) == .Void; |
| 4009 | const builtin_ty = @ptrCast(*const clang.BuiltinType, ty); |
| 4010 | return builtin_ty.getKind() == .Void; |
| 4019 | 4011 | }, |
| 4020 | 4012 | .Record => { |
| 4021 | | const record_ty = @ptrCast(*const ZigClangRecordType, ty); |
| 4022 | | const record_decl = ZigClangRecordType_getDecl(record_ty); |
| 4023 | | const record_def = ZigClangRecordDecl_getDefinition(record_decl) orelse |
| 4013 | const record_ty = @ptrCast(*const clang.RecordType, ty); |
| 4014 | const record_decl = record_ty.getDecl(); |
| 4015 | const record_def = record_decl.getDefinition() orelse |
| 4024 | 4016 | return true; |
| 4025 | | var it = ZigClangRecordDecl_field_begin(record_def); |
| 4026 | | const end_it = ZigClangRecordDecl_field_end(record_def); |
| 4027 | | while (ZigClangRecordDecl_field_iterator_neq(it, end_it)) : (it = ZigClangRecordDecl_field_iterator_next(it)) { |
| 4028 | | const field_decl = ZigClangRecordDecl_field_iterator_deref(it); |
| 4017 | var it = record_def.field_begin(); |
| 4018 | const end_it = record_def.field_end(); |
| 4019 | while (it.neq(end_it)) : (it = it.next()) { |
| 4020 | const field_decl = it.deref(); |
| 4029 | 4021 | |
| 4030 | | if (ZigClangFieldDecl_isBitField(field_decl)) { |
| 4022 | if (field_decl.isBitField()) { |
| 4031 | 4023 | return true; |
| 4032 | 4024 | } |
| 4033 | 4025 | } |
| 4034 | 4026 | return false; |
| 4035 | 4027 | }, |
| 4036 | 4028 | .Elaborated => { |
| 4037 | | const elaborated_ty = @ptrCast(*const ZigClangElaboratedType, ty); |
| 4038 | | const qt = ZigClangElaboratedType_getNamedType(elaborated_ty); |
| 4039 | | return typeIsOpaque(c, ZigClangQualType_getTypePtr(qt), loc); |
| 4029 | const elaborated_ty = @ptrCast(*const clang.ElaboratedType, ty); |
| 4030 | const qt = elaborated_ty.getNamedType(); |
| 4031 | return typeIsOpaque(c, qt.getTypePtr(), loc); |
| 4040 | 4032 | }, |
| 4041 | 4033 | .Typedef => { |
| 4042 | | const typedef_ty = @ptrCast(*const ZigClangTypedefType, ty); |
| 4043 | | const typedef_decl = ZigClangTypedefType_getDecl(typedef_ty); |
| 4044 | | const underlying_type = ZigClangTypedefNameDecl_getUnderlyingType(typedef_decl); |
| 4045 | | return typeIsOpaque(c, ZigClangQualType_getTypePtr(underlying_type), loc); |
| 4034 | const typedef_ty = @ptrCast(*const clang.TypedefType, ty); |
| 4035 | const typedef_decl = typedef_ty.getDecl(); |
| 4036 | const underlying_type = typedef_decl.getUnderlyingType(); |
| 4037 | return typeIsOpaque(c, underlying_type.getTypePtr(), loc); |
| 4046 | 4038 | }, |
| 4047 | 4039 | else => return false, |
| 4048 | 4040 | } |
| 4049 | 4041 | } |
| 4050 | 4042 | |
| 4051 | | fn cIsInteger(qt: ZigClangQualType) bool { |
| 4043 | fn cIsInteger(qt: clang.QualType) bool { |
| 4052 | 4044 | return cIsSignedInteger(qt) or cIsUnsignedInteger(qt); |
| 4053 | 4045 | } |
| 4054 | 4046 | |
| 4055 | | fn cIsUnsignedInteger(qt: ZigClangQualType) bool { |
| 4047 | fn cIsUnsignedInteger(qt: clang.QualType) bool { |
| 4056 | 4048 | const c_type = qualTypeCanon(qt); |
| 4057 | | if (ZigClangType_getTypeClass(c_type) != .Builtin) return false; |
| 4058 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, c_type); |
| 4059 | | return switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 4049 | if (c_type.getTypeClass() != .Builtin) return false; |
| 4050 | const builtin_ty = @ptrCast(*const clang.BuiltinType, c_type); |
| 4051 | return switch (builtin_ty.getKind()) { |
| 4060 | 4052 | .Char_U, |
| 4061 | 4053 | .UChar, |
| 4062 | 4054 | .Char_S, |
| ... | ... | @@ -4071,11 +4063,11 @@ fn cIsUnsignedInteger(qt: ZigClangQualType) bool { |
| 4071 | 4063 | }; |
| 4072 | 4064 | } |
| 4073 | 4065 | |
| 4074 | | fn cIntTypeToIndex(qt: ZigClangQualType) u8 { |
| 4066 | fn cIntTypeToIndex(qt: clang.QualType) u8 { |
| 4075 | 4067 | const c_type = qualTypeCanon(qt); |
| 4076 | | assert(ZigClangType_getTypeClass(c_type) == .Builtin); |
| 4077 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, c_type); |
| 4078 | | return switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 4068 | assert(c_type.getTypeClass() == .Builtin); |
| 4069 | const builtin_ty = @ptrCast(*const clang.BuiltinType, c_type); |
| 4070 | return switch (builtin_ty.getKind()) { |
| 4079 | 4071 | .Bool, .Char_U, .Char_S, .UChar, .SChar, .Char8 => 1, |
| 4080 | 4072 | .WChar_U, .WChar_S => 2, |
| 4081 | 4073 | .UShort, .Short, .Char16 => 3, |
| ... | ... | @@ -4087,17 +4079,17 @@ fn cIntTypeToIndex(qt: ZigClangQualType) u8 { |
| 4087 | 4079 | }; |
| 4088 | 4080 | } |
| 4089 | 4081 | |
| 4090 | | fn cIntTypeCmp(a: ZigClangQualType, b: ZigClangQualType) math.Order { |
| 4082 | fn cIntTypeCmp(a: clang.QualType, b: clang.QualType) math.Order { |
| 4091 | 4083 | const a_index = cIntTypeToIndex(a); |
| 4092 | 4084 | const b_index = cIntTypeToIndex(b); |
| 4093 | 4085 | return math.order(a_index, b_index); |
| 4094 | 4086 | } |
| 4095 | 4087 | |
| 4096 | | fn cIsSignedInteger(qt: ZigClangQualType) bool { |
| 4088 | fn cIsSignedInteger(qt: clang.QualType) bool { |
| 4097 | 4089 | const c_type = qualTypeCanon(qt); |
| 4098 | | if (ZigClangType_getTypeClass(c_type) != .Builtin) return false; |
| 4099 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, c_type); |
| 4100 | | return switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 4090 | if (c_type.getTypeClass() != .Builtin) return false; |
| 4091 | const builtin_ty = @ptrCast(*const clang.BuiltinType, c_type); |
| 4092 | return switch (builtin_ty.getKind()) { |
| 4101 | 4093 | .SChar, |
| 4102 | 4094 | .Short, |
| 4103 | 4095 | .Int, |
| ... | ... | @@ -4110,11 +4102,11 @@ fn cIsSignedInteger(qt: ZigClangQualType) bool { |
| 4110 | 4102 | }; |
| 4111 | 4103 | } |
| 4112 | 4104 | |
| 4113 | | fn cIsFloating(qt: ZigClangQualType) bool { |
| 4105 | fn cIsFloating(qt: clang.QualType) bool { |
| 4114 | 4106 | const c_type = qualTypeCanon(qt); |
| 4115 | | if (ZigClangType_getTypeClass(c_type) != .Builtin) return false; |
| 4116 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, c_type); |
| 4117 | | return switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 4107 | if (c_type.getTypeClass() != .Builtin) return false; |
| 4108 | const builtin_ty = @ptrCast(*const clang.BuiltinType, c_type); |
| 4109 | return switch (builtin_ty.getKind()) { |
| 4118 | 4110 | .Float, |
| 4119 | 4111 | .Double, |
| 4120 | 4112 | .Float128, |
| ... | ... | @@ -4124,11 +4116,11 @@ fn cIsFloating(qt: ZigClangQualType) bool { |
| 4124 | 4116 | }; |
| 4125 | 4117 | } |
| 4126 | 4118 | |
| 4127 | | fn cIsLongLongInteger(qt: ZigClangQualType) bool { |
| 4119 | fn cIsLongLongInteger(qt: clang.QualType) bool { |
| 4128 | 4120 | const c_type = qualTypeCanon(qt); |
| 4129 | | if (ZigClangType_getTypeClass(c_type) != .Builtin) return false; |
| 4130 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, c_type); |
| 4131 | | return switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 4121 | if (c_type.getTypeClass() != .Builtin) return false; |
| 4122 | const builtin_ty = @ptrCast(*const clang.BuiltinType, c_type); |
| 4123 | return switch (builtin_ty.getKind()) { |
| 4132 | 4124 | .LongLong, .ULongLong, .Int128, .UInt128 => true, |
| 4133 | 4125 | else => false, |
| 4134 | 4126 | }; |
| ... | ... | @@ -4137,8 +4129,8 @@ fn transCreateNodeAssign( |
| 4137 | 4129 | rp: RestorePoint, |
| 4138 | 4130 | scope: *Scope, |
| 4139 | 4131 | result_used: ResultUsed, |
| 4140 | | lhs: *const ZigClangExpr, |
| 4141 | | rhs: *const ZigClangExpr, |
| 4132 | lhs: *const clang.Expr, |
| 4133 | rhs: *const clang.Expr, |
| 4142 | 4134 | ) !*ast.Node { |
| 4143 | 4135 | // common case |
| 4144 | 4136 | // c: lhs = rhs |
| ... | ... | @@ -4273,19 +4265,19 @@ fn transCreateNodeInfixOp( |
| 4273 | 4265 | fn transCreateNodeBoolInfixOp( |
| 4274 | 4266 | rp: RestorePoint, |
| 4275 | 4267 | scope: *Scope, |
| 4276 | | stmt: *const ZigClangBinaryOperator, |
| 4268 | stmt: *const clang.BinaryOperator, |
| 4277 | 4269 | op: ast.Node.Tag, |
| 4278 | 4270 | used: ResultUsed, |
| 4279 | 4271 | grouped: bool, |
| 4280 | 4272 | ) !*ast.Node { |
| 4281 | 4273 | std.debug.assert(op == .BoolAnd or op == .BoolOr); |
| 4282 | 4274 | |
| 4283 | | const lhs_hode = try transBoolExpr(rp, scope, ZigClangBinaryOperator_getLHS(stmt), .used, .l_value, true); |
| 4275 | const lhs_hode = try transBoolExpr(rp, scope, stmt.getLHS(), .used, .l_value, true); |
| 4284 | 4276 | const op_token = if (op == .BoolAnd) |
| 4285 | 4277 | try appendToken(rp.c, .Keyword_and, "and") |
| 4286 | 4278 | else |
| 4287 | 4279 | try appendToken(rp.c, .Keyword_or, "or"); |
| 4288 | | const rhs = try transBoolExpr(rp, scope, ZigClangBinaryOperator_getRHS(stmt), .used, .r_value, true); |
| 4280 | const rhs = try transBoolExpr(rp, scope, stmt.getRHS(), .used, .r_value, true); |
| 4289 | 4281 | |
| 4290 | 4282 | return transCreateNodeInfixOp( |
| 4291 | 4283 | rp, |
| ... | ... | @@ -4334,21 +4326,21 @@ fn transCreateNodePtrType( |
| 4334 | 4326 | return node; |
| 4335 | 4327 | } |
| 4336 | 4328 | |
| 4337 | | fn transCreateNodeAPInt(c: *Context, int: *const ZigClangAPSInt) !*ast.Node { |
| 4338 | | const num_limbs = math.cast(usize, ZigClangAPSInt_getNumWords(int)) catch |err| switch (err) { |
| 4329 | fn transCreateNodeAPInt(c: *Context, int: *const clang.APSInt) !*ast.Node { |
| 4330 | const num_limbs = math.cast(usize, int.getNumWords()) catch |err| switch (err) { |
| 4339 | 4331 | error.Overflow => return error.OutOfMemory, |
| 4340 | 4332 | }; |
| 4341 | 4333 | var aps_int = int; |
| 4342 | | const is_negative = ZigClangAPSInt_isSigned(int) and ZigClangAPSInt_isNegative(int); |
| 4343 | | if (is_negative) aps_int = ZigClangAPSInt_negate(aps_int); |
| 4334 | const is_negative = int.isSigned() and int.isNegative(); |
| 4335 | if (is_negative) aps_int = aps_int.negate(); |
| 4344 | 4336 | defer if (is_negative) { |
| 4345 | | ZigClangAPSInt_free(aps_int); |
| 4337 | aps_int.free(); |
| 4346 | 4338 | }; |
| 4347 | 4339 | |
| 4348 | 4340 | const limbs = try c.arena.alloc(math.big.Limb, num_limbs); |
| 4349 | 4341 | defer c.arena.free(limbs); |
| 4350 | 4342 | |
| 4351 | | const data = ZigClangAPSInt_getRawData(aps_int); |
| 4343 | const data = aps_int.getRawData(); |
| 4352 | 4344 | switch (@sizeOf(math.big.Limb)) { |
| 4353 | 4345 | 8 => { |
| 4354 | 4346 | var i: usize = 0; |
| ... | ... | @@ -4697,23 +4689,23 @@ fn transCreateNodeSwitchElse(c: *Context) !*ast.Node { |
| 4697 | 4689 | fn transCreateNodeShiftOp( |
| 4698 | 4690 | rp: RestorePoint, |
| 4699 | 4691 | scope: *Scope, |
| 4700 | | stmt: *const ZigClangBinaryOperator, |
| 4692 | stmt: *const clang.BinaryOperator, |
| 4701 | 4693 | op: ast.Node.Tag, |
| 4702 | 4694 | op_tok_id: std.zig.Token.Id, |
| 4703 | 4695 | bytes: []const u8, |
| 4704 | 4696 | ) !*ast.Node { |
| 4705 | 4697 | std.debug.assert(op == .BitShiftLeft or op == .BitShiftRight); |
| 4706 | 4698 | |
| 4707 | | const lhs_expr = ZigClangBinaryOperator_getLHS(stmt); |
| 4708 | | const rhs_expr = ZigClangBinaryOperator_getRHS(stmt); |
| 4709 | | const rhs_location = ZigClangExpr_getBeginLoc(rhs_expr); |
| 4699 | const lhs_expr = stmt.getLHS(); |
| 4700 | const rhs_expr = stmt.getRHS(); |
| 4701 | const rhs_location = rhs_expr.getBeginLoc(); |
| 4710 | 4702 | // lhs >> @as(u5, rh) |
| 4711 | 4703 | |
| 4712 | 4704 | const lhs = try transExpr(rp, scope, lhs_expr, .used, .l_value); |
| 4713 | 4705 | const op_token = try appendToken(rp.c, op_tok_id, bytes); |
| 4714 | 4706 | |
| 4715 | 4707 | const cast_node = try rp.c.createBuiltinCall("@intCast", 2); |
| 4716 | | const rhs_type = try qualTypeToLog2IntRef(rp, ZigClangBinaryOperator_getType(stmt), rhs_location); |
| 4708 | const rhs_type = try qualTypeToLog2IntRef(rp, stmt.getType(), rhs_location); |
| 4717 | 4709 | cast_node.params()[0] = rhs_type; |
| 4718 | 4710 | _ = try appendToken(rp.c, .Comma, ","); |
| 4719 | 4711 | const rhs = try transExprCoercing(rp, scope, rhs_expr, .used, .r_value); |
| ... | ... | @@ -4772,11 +4764,11 @@ fn makeRestorePoint(c: *Context) RestorePoint { |
| 4772 | 4764 | }; |
| 4773 | 4765 | } |
| 4774 | 4766 | |
| 4775 | | fn transType(rp: RestorePoint, ty: *const ZigClangType, source_loc: ZigClangSourceLocation) TypeError!*ast.Node { |
| 4776 | | switch (ZigClangType_getTypeClass(ty)) { |
| 4767 | fn transType(rp: RestorePoint, ty: *const clang.Type, source_loc: clang.SourceLocation) TypeError!*ast.Node { |
| 4768 | switch (ty.getTypeClass()) { |
| 4777 | 4769 | .Builtin => { |
| 4778 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, ty); |
| 4779 | | return transCreateNodeIdentifier(rp.c, switch (ZigClangBuiltinType_getKind(builtin_ty)) { |
| 4770 | const builtin_ty = @ptrCast(*const clang.BuiltinType, ty); |
| 4771 | return transCreateNodeIdentifier(rp.c, switch (builtin_ty.getKind()) { |
| 4780 | 4772 | .Void => "c_void", |
| 4781 | 4773 | .Bool => "bool", |
| 4782 | 4774 | .Char_U, .UChar, .Char_S, .Char8 => "u8", |
| ... | ... | @@ -4800,32 +4792,32 @@ fn transType(rp: RestorePoint, ty: *const ZigClangType, source_loc: ZigClangSour |
| 4800 | 4792 | }); |
| 4801 | 4793 | }, |
| 4802 | 4794 | .FunctionProto => { |
| 4803 | | const fn_proto_ty = @ptrCast(*const ZigClangFunctionProtoType, ty); |
| 4795 | const fn_proto_ty = @ptrCast(*const clang.FunctionProtoType, ty); |
| 4804 | 4796 | const fn_proto = try transFnProto(rp, null, fn_proto_ty, source_loc, null, false); |
| 4805 | 4797 | return &fn_proto.base; |
| 4806 | 4798 | }, |
| 4807 | 4799 | .FunctionNoProto => { |
| 4808 | | const fn_no_proto_ty = @ptrCast(*const ZigClangFunctionType, ty); |
| 4800 | const fn_no_proto_ty = @ptrCast(*const clang.FunctionType, ty); |
| 4809 | 4801 | const fn_proto = try transFnNoProto(rp, fn_no_proto_ty, source_loc, null, false); |
| 4810 | 4802 | return &fn_proto.base; |
| 4811 | 4803 | }, |
| 4812 | 4804 | .Paren => { |
| 4813 | | const paren_ty = @ptrCast(*const ZigClangParenType, ty); |
| 4814 | | return transQualType(rp, ZigClangParenType_getInnerType(paren_ty), source_loc); |
| 4805 | const paren_ty = @ptrCast(*const clang.ParenType, ty); |
| 4806 | return transQualType(rp, paren_ty.getInnerType(), source_loc); |
| 4815 | 4807 | }, |
| 4816 | 4808 | .Pointer => { |
| 4817 | | const child_qt = ZigClangType_getPointeeType(ty); |
| 4809 | const child_qt = ty.getPointeeType(); |
| 4818 | 4810 | if (qualTypeChildIsFnProto(child_qt)) { |
| 4819 | 4811 | const optional_node = try transCreateNodeSimplePrefixOp(rp.c, .OptionalType, .QuestionMark, "?"); |
| 4820 | 4812 | optional_node.rhs = try transQualType(rp, child_qt, source_loc); |
| 4821 | 4813 | return &optional_node.base; |
| 4822 | 4814 | } |
| 4823 | | if (typeIsOpaque(rp.c, ZigClangQualType_getTypePtr(child_qt), source_loc)) { |
| 4815 | if (typeIsOpaque(rp.c, child_qt.getTypePtr(), source_loc)) { |
| 4824 | 4816 | const optional_node = try transCreateNodeSimplePrefixOp(rp.c, .OptionalType, .QuestionMark, "?"); |
| 4825 | 4817 | const pointer_node = try transCreateNodePtrType( |
| 4826 | 4818 | rp.c, |
| 4827 | | ZigClangQualType_isConstQualified(child_qt), |
| 4828 | | ZigClangQualType_isVolatileQualified(child_qt), |
| 4819 | child_qt.isConstQualified(), |
| 4820 | child_qt.isVolatileQualified(), |
| 4829 | 4821 | .Asterisk, |
| 4830 | 4822 | ); |
| 4831 | 4823 | optional_node.rhs = &pointer_node.base; |
| ... | ... | @@ -4834,83 +4826,83 @@ fn transType(rp: RestorePoint, ty: *const ZigClangType, source_loc: ZigClangSour |
| 4834 | 4826 | } |
| 4835 | 4827 | const pointer_node = try transCreateNodePtrType( |
| 4836 | 4828 | rp.c, |
| 4837 | | ZigClangQualType_isConstQualified(child_qt), |
| 4838 | | ZigClangQualType_isVolatileQualified(child_qt), |
| 4829 | child_qt.isConstQualified(), |
| 4830 | child_qt.isVolatileQualified(), |
| 4839 | 4831 | .Identifier, |
| 4840 | 4832 | ); |
| 4841 | 4833 | pointer_node.rhs = try transQualType(rp, child_qt, source_loc); |
| 4842 | 4834 | return &pointer_node.base; |
| 4843 | 4835 | }, |
| 4844 | 4836 | .ConstantArray => { |
| 4845 | | const const_arr_ty = @ptrCast(*const ZigClangConstantArrayType, ty); |
| 4837 | const const_arr_ty = @ptrCast(*const clang.ConstantArrayType, ty); |
| 4846 | 4838 | |
| 4847 | | const size_ap_int = ZigClangConstantArrayType_getSize(const_arr_ty); |
| 4848 | | const size = ZigClangAPInt_getLimitedValue(size_ap_int, math.maxInt(usize)); |
| 4849 | | const elem_ty = ZigClangQualType_getTypePtr(ZigClangConstantArrayType_getElementType(const_arr_ty)); |
| 4839 | const size_ap_int = const_arr_ty.getSize(); |
| 4840 | const size = size_ap_int.getLimitedValue(math.maxInt(usize)); |
| 4841 | const elem_ty = const_arr_ty.getElementType().getTypePtr(); |
| 4850 | 4842 | return try transCreateNodeArrayType(rp, source_loc, elem_ty, size); |
| 4851 | 4843 | }, |
| 4852 | 4844 | .IncompleteArray => { |
| 4853 | | const incomplete_array_ty = @ptrCast(*const ZigClangIncompleteArrayType, ty); |
| 4845 | const incomplete_array_ty = @ptrCast(*const clang.IncompleteArrayType, ty); |
| 4854 | 4846 | |
| 4855 | | const child_qt = ZigClangIncompleteArrayType_getElementType(incomplete_array_ty); |
| 4847 | const child_qt = incomplete_array_ty.getElementType(); |
| 4856 | 4848 | var node = try transCreateNodePtrType( |
| 4857 | 4849 | rp.c, |
| 4858 | | ZigClangQualType_isConstQualified(child_qt), |
| 4859 | | ZigClangQualType_isVolatileQualified(child_qt), |
| 4850 | child_qt.isConstQualified(), |
| 4851 | child_qt.isVolatileQualified(), |
| 4860 | 4852 | .Identifier, |
| 4861 | 4853 | ); |
| 4862 | 4854 | node.rhs = try transQualType(rp, child_qt, source_loc); |
| 4863 | 4855 | return &node.base; |
| 4864 | 4856 | }, |
| 4865 | 4857 | .Typedef => { |
| 4866 | | const typedef_ty = @ptrCast(*const ZigClangTypedefType, ty); |
| 4858 | const typedef_ty = @ptrCast(*const clang.TypedefType, ty); |
| 4867 | 4859 | |
| 4868 | | const typedef_decl = ZigClangTypedefType_getDecl(typedef_ty); |
| 4860 | const typedef_decl = typedef_ty.getDecl(); |
| 4869 | 4861 | return (try transTypeDef(rp.c, typedef_decl, false)) orelse |
| 4870 | 4862 | revertAndWarn(rp, error.UnsupportedType, source_loc, "unable to translate typedef declaration", .{}); |
| 4871 | 4863 | }, |
| 4872 | 4864 | .Record => { |
| 4873 | | const record_ty = @ptrCast(*const ZigClangRecordType, ty); |
| 4865 | const record_ty = @ptrCast(*const clang.RecordType, ty); |
| 4874 | 4866 | |
| 4875 | | const record_decl = ZigClangRecordType_getDecl(record_ty); |
| 4867 | const record_decl = record_ty.getDecl(); |
| 4876 | 4868 | return (try transRecordDecl(rp.c, record_decl)) orelse |
| 4877 | 4869 | revertAndWarn(rp, error.UnsupportedType, source_loc, "unable to resolve record declaration", .{}); |
| 4878 | 4870 | }, |
| 4879 | 4871 | .Enum => { |
| 4880 | | const enum_ty = @ptrCast(*const ZigClangEnumType, ty); |
| 4872 | const enum_ty = @ptrCast(*const clang.EnumType, ty); |
| 4881 | 4873 | |
| 4882 | | const enum_decl = ZigClangEnumType_getDecl(enum_ty); |
| 4874 | const enum_decl = enum_ty.getDecl(); |
| 4883 | 4875 | return (try transEnumDecl(rp.c, enum_decl)) orelse |
| 4884 | 4876 | revertAndWarn(rp, error.UnsupportedType, source_loc, "unable to translate enum declaration", .{}); |
| 4885 | 4877 | }, |
| 4886 | 4878 | .Elaborated => { |
| 4887 | | const elaborated_ty = @ptrCast(*const ZigClangElaboratedType, ty); |
| 4888 | | return transQualType(rp, ZigClangElaboratedType_getNamedType(elaborated_ty), source_loc); |
| 4879 | const elaborated_ty = @ptrCast(*const clang.ElaboratedType, ty); |
| 4880 | return transQualType(rp, elaborated_ty.getNamedType(), source_loc); |
| 4889 | 4881 | }, |
| 4890 | 4882 | .Decayed => { |
| 4891 | | const decayed_ty = @ptrCast(*const ZigClangDecayedType, ty); |
| 4892 | | return transQualType(rp, ZigClangDecayedType_getDecayedType(decayed_ty), source_loc); |
| 4883 | const decayed_ty = @ptrCast(*const clang.DecayedType, ty); |
| 4884 | return transQualType(rp, decayed_ty.getDecayedType(), source_loc); |
| 4893 | 4885 | }, |
| 4894 | 4886 | .Attributed => { |
| 4895 | | const attributed_ty = @ptrCast(*const ZigClangAttributedType, ty); |
| 4896 | | return transQualType(rp, ZigClangAttributedType_getEquivalentType(attributed_ty), source_loc); |
| 4887 | const attributed_ty = @ptrCast(*const clang.AttributedType, ty); |
| 4888 | return transQualType(rp, attributed_ty.getEquivalentType(), source_loc); |
| 4897 | 4889 | }, |
| 4898 | 4890 | .MacroQualified => { |
| 4899 | | const macroqualified_ty = @ptrCast(*const ZigClangMacroQualifiedType, ty); |
| 4900 | | return transQualType(rp, ZigClangMacroQualifiedType_getModifiedType(macroqualified_ty), source_loc); |
| 4891 | const macroqualified_ty = @ptrCast(*const clang.MacroQualifiedType, ty); |
| 4892 | return transQualType(rp, macroqualified_ty.getModifiedType(), source_loc); |
| 4901 | 4893 | }, |
| 4902 | 4894 | else => { |
| 4903 | | const type_name = rp.c.str(ZigClangType_getTypeClassName(ty)); |
| 4895 | const type_name = rp.c.str(ty.getTypeClassName()); |
| 4904 | 4896 | return revertAndWarn(rp, error.UnsupportedType, source_loc, "unsupported type: '{}'", .{type_name}); |
| 4905 | 4897 | }, |
| 4906 | 4898 | } |
| 4907 | 4899 | } |
| 4908 | 4900 | |
| 4909 | | fn isCVoid(qt: ZigClangQualType) bool { |
| 4910 | | const ty = ZigClangQualType_getTypePtr(qt); |
| 4911 | | if (ZigClangType_getTypeClass(ty) == .Builtin) { |
| 4912 | | const builtin_ty = @ptrCast(*const ZigClangBuiltinType, ty); |
| 4913 | | return ZigClangBuiltinType_getKind(builtin_ty) == .Void; |
| 4901 | fn isCVoid(qt: clang.QualType) bool { |
| 4902 | const ty = qt.getTypePtr(); |
| 4903 | if (ty.getTypeClass() == .Builtin) { |
| 4904 | const builtin_ty = @ptrCast(*const clang.BuiltinType, ty); |
| 4905 | return builtin_ty.getKind() == .Void; |
| 4914 | 4906 | } |
| 4915 | 4907 | return false; |
| 4916 | 4908 | } |
| ... | ... | @@ -4918,16 +4910,16 @@ fn isCVoid(qt: ZigClangQualType) bool { |
| 4918 | 4910 | const FnDeclContext = struct { |
| 4919 | 4911 | fn_name: []const u8, |
| 4920 | 4912 | has_body: bool, |
| 4921 | | storage_class: ZigClangStorageClass, |
| 4913 | storage_class: clang.StorageClass, |
| 4922 | 4914 | is_export: bool, |
| 4923 | 4915 | }; |
| 4924 | 4916 | |
| 4925 | 4917 | fn transCC( |
| 4926 | 4918 | rp: RestorePoint, |
| 4927 | | fn_ty: *const ZigClangFunctionType, |
| 4928 | | source_loc: ZigClangSourceLocation, |
| 4919 | fn_ty: *const clang.FunctionType, |
| 4920 | source_loc: clang.SourceLocation, |
| 4929 | 4921 | ) !CallingConvention { |
| 4930 | | const clang_cc = ZigClangFunctionType_getCallConv(fn_ty); |
| 4922 | const clang_cc = fn_ty.getCallConv(); |
| 4931 | 4923 | switch (clang_cc) { |
| 4932 | 4924 | .C => return CallingConvention.C, |
| 4933 | 4925 | .X86StdCall => return CallingConvention.Stdcall, |
| ... | ... | @@ -4948,22 +4940,22 @@ fn transCC( |
| 4948 | 4940 | |
| 4949 | 4941 | fn transFnProto( |
| 4950 | 4942 | rp: RestorePoint, |
| 4951 | | fn_decl: ?*const ZigClangFunctionDecl, |
| 4952 | | fn_proto_ty: *const ZigClangFunctionProtoType, |
| 4953 | | source_loc: ZigClangSourceLocation, |
| 4943 | fn_decl: ?*const clang.FunctionDecl, |
| 4944 | fn_proto_ty: *const clang.FunctionProtoType, |
| 4945 | source_loc: clang.SourceLocation, |
| 4954 | 4946 | fn_decl_context: ?FnDeclContext, |
| 4955 | 4947 | is_pub: bool, |
| 4956 | 4948 | ) !*ast.Node.FnProto { |
| 4957 | | const fn_ty = @ptrCast(*const ZigClangFunctionType, fn_proto_ty); |
| 4949 | const fn_ty = @ptrCast(*const clang.FunctionType, fn_proto_ty); |
| 4958 | 4950 | const cc = try transCC(rp, fn_ty, source_loc); |
| 4959 | | const is_var_args = ZigClangFunctionProtoType_isVariadic(fn_proto_ty); |
| 4951 | const is_var_args = fn_proto_ty.isVariadic(); |
| 4960 | 4952 | return finishTransFnProto(rp, fn_decl, fn_proto_ty, fn_ty, source_loc, fn_decl_context, is_var_args, cc, is_pub); |
| 4961 | 4953 | } |
| 4962 | 4954 | |
| 4963 | 4955 | fn transFnNoProto( |
| 4964 | 4956 | rp: RestorePoint, |
| 4965 | | fn_ty: *const ZigClangFunctionType, |
| 4966 | | source_loc: ZigClangSourceLocation, |
| 4957 | fn_ty: *const clang.FunctionType, |
| 4958 | source_loc: clang.SourceLocation, |
| 4967 | 4959 | fn_decl_context: ?FnDeclContext, |
| 4968 | 4960 | is_pub: bool, |
| 4969 | 4961 | ) !*ast.Node.FnProto { |
| ... | ... | @@ -4974,10 +4966,10 @@ fn transFnNoProto( |
| 4974 | 4966 | |
| 4975 | 4967 | fn finishTransFnProto( |
| 4976 | 4968 | rp: RestorePoint, |
| 4977 | | fn_decl: ?*const ZigClangFunctionDecl, |
| 4978 | | fn_proto_ty: ?*const ZigClangFunctionProtoType, |
| 4979 | | fn_ty: *const ZigClangFunctionType, |
| 4980 | | source_loc: ZigClangSourceLocation, |
| 4969 | fn_decl: ?*const clang.FunctionDecl, |
| 4970 | fn_proto_ty: ?*const clang.FunctionProtoType, |
| 4971 | fn_ty: *const clang.FunctionType, |
| 4972 | source_loc: clang.SourceLocation, |
| 4981 | 4973 | fn_decl_context: ?FnDeclContext, |
| 4982 | 4974 | is_var_args: bool, |
| 4983 | 4975 | cc: CallingConvention, |
| ... | ... | @@ -5003,19 +4995,19 @@ fn finishTransFnProto( |
| 5003 | 4995 | |
| 5004 | 4996 | var fn_params = std.ArrayList(ast.Node.FnProto.ParamDecl).init(rp.c.gpa); |
| 5005 | 4997 | defer fn_params.deinit(); |
| 5006 | | const param_count: usize = if (fn_proto_ty != null) ZigClangFunctionProtoType_getNumParams(fn_proto_ty.?) else 0; |
| 4998 | const param_count: usize = if (fn_proto_ty != null) fn_proto_ty.?.getNumParams() else 0; |
| 5007 | 4999 | try fn_params.ensureCapacity(param_count + 1); // +1 for possible var args node |
| 5008 | 5000 | |
| 5009 | 5001 | var i: usize = 0; |
| 5010 | 5002 | while (i < param_count) : (i += 1) { |
| 5011 | | const param_qt = ZigClangFunctionProtoType_getParamType(fn_proto_ty.?, @intCast(c_uint, i)); |
| 5003 | const param_qt = fn_proto_ty.?.getParamType(@intCast(c_uint, i)); |
| 5012 | 5004 | |
| 5013 | | const noalias_tok = if (ZigClangQualType_isRestrictQualified(param_qt)) try appendToken(rp.c, .Keyword_noalias, "noalias") else null; |
| 5005 | const noalias_tok = if (param_qt.isRestrictQualified()) try appendToken(rp.c, .Keyword_noalias, "noalias") else null; |
| 5014 | 5006 | |
| 5015 | 5007 | const param_name_tok: ?ast.TokenIndex = blk: { |
| 5016 | 5008 | if (fn_decl) |decl| { |
| 5017 | | const param = ZigClangFunctionDecl_getParamDecl(decl, @intCast(c_uint, i)); |
| 5018 | | const param_name: []const u8 = try rp.c.str(ZigClangNamedDecl_getName_bytes_begin(@ptrCast(*const ZigClangNamedDecl, param))); |
| 5009 | const param = decl.getParamDecl(@intCast(c_uint, i)); |
| 5010 | const param_name: []const u8 = try rp.c.str(@ptrCast(*const clang.NamedDecl, param).getName_bytes_begin()); |
| 5019 | 5011 | if (param_name.len < 1) |
| 5020 | 5012 | break :blk null; |
| 5021 | 5013 | |
| ... | ... | @@ -5053,7 +5045,7 @@ fn finishTransFnProto( |
| 5053 | 5045 | const linksection_expr = blk: { |
| 5054 | 5046 | if (fn_decl) |decl| { |
| 5055 | 5047 | var str_len: usize = undefined; |
| 5056 | | if (ZigClangFunctionDecl_getSectionAttribute(decl, &str_len)) |str_ptr| { |
| 5048 | if (decl.getSectionAttribute(&str_len)) |str_ptr| { |
| 5057 | 5049 | _ = try appendToken(rp.c, .Keyword_linksection, "linksection"); |
| 5058 | 5050 | _ = try appendToken(rp.c, .LParen, "("); |
| 5059 | 5051 | const expr = try transCreateNodeStringLiteral( |
| ... | ... | @@ -5070,7 +5062,7 @@ fn finishTransFnProto( |
| 5070 | 5062 | |
| 5071 | 5063 | const align_expr = blk: { |
| 5072 | 5064 | if (fn_decl) |decl| { |
| 5073 | | const alignment = ZigClangFunctionDecl_getAlignedAttribute(decl, rp.c.clang_context); |
| 5065 | const alignment = decl.getAlignedAttribute(rp.c.clang_context); |
| 5074 | 5066 | if (alignment != 0) { |
| 5075 | 5067 | _ = try appendToken(rp.c, .Keyword_align, "align"); |
| 5076 | 5068 | _ = try appendToken(rp.c, .LParen, "("); |
| ... | ... | @@ -5093,10 +5085,10 @@ fn finishTransFnProto( |
| 5093 | 5085 | }; |
| 5094 | 5086 | |
| 5095 | 5087 | const return_type_node = blk: { |
| 5096 | | if (ZigClangFunctionType_getNoReturnAttr(fn_ty)) { |
| 5088 | if (fn_ty.getNoReturnAttr()) { |
| 5097 | 5089 | break :blk try transCreateNodeIdentifier(rp.c, "noreturn"); |
| 5098 | 5090 | } else { |
| 5099 | | const return_qt = ZigClangFunctionType_getReturnType(fn_ty); |
| 5091 | const return_qt = fn_ty.getReturnType(); |
| 5100 | 5092 | if (isCVoid(return_qt)) { |
| 5101 | 5093 | // convert primitive c_void to actual void (only for return type) |
| 5102 | 5094 | break :blk try transCreateNodeIdentifier(rp.c, "void"); |
| ... | ... | @@ -5144,7 +5136,7 @@ fn finishTransFnProto( |
| 5144 | 5136 | fn revertAndWarn( |
| 5145 | 5137 | rp: RestorePoint, |
| 5146 | 5138 | err: anytype, |
| 5147 | | source_loc: ZigClangSourceLocation, |
| 5139 | source_loc: clang.SourceLocation, |
| 5148 | 5140 | comptime format: []const u8, |
| 5149 | 5141 | args: anytype, |
| 5150 | 5142 | ) (@TypeOf(err) || error{OutOfMemory}) { |
| ... | ... | @@ -5153,12 +5145,12 @@ fn revertAndWarn( |
| 5153 | 5145 | return err; |
| 5154 | 5146 | } |
| 5155 | 5147 | |
| 5156 | | fn emitWarning(c: *Context, loc: ZigClangSourceLocation, comptime format: []const u8, args: anytype) !void { |
| 5148 | fn emitWarning(c: *Context, loc: clang.SourceLocation, comptime format: []const u8, args: anytype) !void { |
| 5157 | 5149 | const args_prefix = .{c.locStr(loc)}; |
| 5158 | 5150 | _ = try appendTokenFmt(c, .LineComment, "// {}: warning: " ++ format, args_prefix ++ args); |
| 5159 | 5151 | } |
| 5160 | 5152 | |
| 5161 | | pub fn failDecl(c: *Context, loc: ZigClangSourceLocation, name: []const u8, comptime format: []const u8, args: anytype) !void { |
| 5153 | pub fn failDecl(c: *Context, loc: clang.SourceLocation, name: []const u8, comptime format: []const u8, args: anytype) !void { |
| 5162 | 5154 | // pub const name = @compileError(msg); |
| 5163 | 5155 | const pub_tok = try appendToken(c, .Keyword_pub, "pub"); |
| 5164 | 5156 | const const_tok = try appendToken(c, .Keyword_const, "const"); |
| ... | ... | @@ -5295,14 +5287,14 @@ fn transCreateNodeIdentifierUnchecked(c: *Context, name: []const u8) !*ast.Node |
| 5295 | 5287 | } |
| 5296 | 5288 | |
| 5297 | 5289 | pub fn freeErrors(errors: []ClangErrMsg) void { |
| 5298 | | ZigClangErrorMsg_delete(errors.ptr, errors.len); |
| 5290 | errors.ptr.delete(errors.len); |
| 5299 | 5291 | } |
| 5300 | 5292 | |
| 5301 | 5293 | const MacroCtx = struct { |
| 5302 | 5294 | source: []const u8, |
| 5303 | 5295 | list: []const CToken, |
| 5304 | 5296 | i: usize = 0, |
| 5305 | | loc: ZigClangSourceLocation, |
| 5297 | loc: clang.SourceLocation, |
| 5306 | 5298 | name: []const u8, |
| 5307 | 5299 | |
| 5308 | 5300 | fn peek(self: *MacroCtx) ?CToken.Id { |
| ... | ... | @@ -5326,22 +5318,22 @@ const MacroCtx = struct { |
| 5326 | 5318 | } |
| 5327 | 5319 | }; |
| 5328 | 5320 | |
| 5329 | | fn transPreprocessorEntities(c: *Context, unit: *ZigClangASTUnit) Error!void { |
| 5321 | fn transPreprocessorEntities(c: *Context, unit: *clang.ASTUnit) Error!void { |
| 5330 | 5322 | // TODO if we see #undef, delete it from the table |
| 5331 | | var it = ZigClangASTUnit_getLocalPreprocessingEntities_begin(unit); |
| 5332 | | const it_end = ZigClangASTUnit_getLocalPreprocessingEntities_end(unit); |
| 5323 | var it = unit.getLocalPreprocessingEntities_begin(); |
| 5324 | const it_end = unit.getLocalPreprocessingEntities_end(); |
| 5333 | 5325 | var tok_list = std.ArrayList(CToken).init(c.gpa); |
| 5334 | 5326 | defer tok_list.deinit(); |
| 5335 | 5327 | const scope = c.global_scope; |
| 5336 | 5328 | |
| 5337 | 5329 | while (it.I != it_end.I) : (it.I += 1) { |
| 5338 | | const entity = ZigClangPreprocessingRecord_iterator_deref(it); |
| 5330 | const entity = it.deref(); |
| 5339 | 5331 | tok_list.items.len = 0; |
| 5340 | | switch (ZigClangPreprocessedEntity_getKind(entity)) { |
| 5332 | switch (entity.getKind()) { |
| 5341 | 5333 | .MacroDefinitionKind => { |
| 5342 | | const macro = @ptrCast(*ZigClangMacroDefinitionRecord, entity); |
| 5343 | | const raw_name = ZigClangMacroDefinitionRecord_getName_getNameStart(macro); |
| 5344 | | const begin_loc = ZigClangMacroDefinitionRecord_getSourceRange_getBegin(macro); |
| 5334 | const macro = @ptrCast(*clang.MacroDefinitionRecord, entity); |
| 5335 | const raw_name = macro.getName_getNameStart(); |
| 5336 | const begin_loc = macro.getSourceRange_getBegin(); |
| 5345 | 5337 | |
| 5346 | 5338 | const name = try c.str(raw_name); |
| 5347 | 5339 | // TODO https://github.com/ziglang/zig/issues/3756 |
| ... | ... | @@ -5351,7 +5343,7 @@ fn transPreprocessorEntities(c: *Context, unit: *ZigClangASTUnit) Error!void { |
| 5351 | 5343 | continue; |
| 5352 | 5344 | } |
| 5353 | 5345 | |
| 5354 | | const begin_c = ZigClangSourceManager_getCharacterData(c.source_manager, begin_loc); |
| 5346 | const begin_c = c.source_manager.getCharacterData(begin_loc); |
| 5355 | 5347 | const slice = begin_c[0..mem.len(begin_c)]; |
| 5356 | 5348 | |
| 5357 | 5349 | var tokenizer = std.c.Tokenizer{ |