Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Assertion Failure when defining a cast from int to function pointer #281

Open
Ssamm45 opened this issue Jul 7, 2022 · 0 comments
Open

Assertion Failure when defining a cast from int to function pointer #281

Ssamm45 opened this issue Jul 7, 2022 · 0 comments
Labels
bug

Comments

@Ssamm45
Copy link

Ssamm45 commented Jul 7, 2022

I was trying to run dstep on the latest version of the tcl header and ran into an assertion error. I figured out that the error was comming from tcl.h:902-904 where three macros are defined.

#define TCL_VOLATILE		((Tcl_FreeProc *) 1)
#define TCL_STATIC		((Tcl_FreeProc *) 0)
#define TCL_DYNAMIC		((Tcl_FreeProc *) 3)

If those three lines are removed the file is successfully translated.

The issue can be reproduced with the following two lines in a C file. The full error message is at the bottom of this post

typedef void (Tcl_FreeProc) (void *blockPtr);

#define TCL_VOLATILE		((Tcl_FreeProc *) 1)

dstep --version - 1.0.3-2-g2f6e8ae

dstep --clang-version - clang version 13.0.1

The error message

dstep: an unknown error occurred: core.exception.AssertError@dstep/translator/Type.d(32): Assertion failure
----------------
??:? _d_assertp [0x557bc7acaebc]
dstep/translator/Type.d:32 dstep.translator.Output.SourceNode dstep.translator.Type.translateType(dstep.translator.Context.Context, clang.Cursor.Cursor, clang.Type.Type, bool, bool) [0x557bc7ab3175]
dstep/translator/Type.d:529 dstep.translator.Output.SourceNode dstep.translator.Type.translateFunctionPointerType(dstep.translator.Context.Context, clang.Cursor.Cursor, clang.Type.FuncType) [0x557bc7ab579e]
dstep/translator/Type.d:41 dstep.translator.Output.SourceNode dstep.translator.Type.translateType(dstep.translator.Context.Context, clang.Cursor.Cursor, clang.Type.Type, bool, bool) [0x557bc7ab3203]
dstep/translator/MacroDefinition.d:333 immutable(char)[] dstep.translator.MacroDefinition.translate(std.variant.VariantN!(64uL, dstep.translator.MacroParser.Identifier, dstep.translator.MacroParser.TypeIdentifier, dstep.translator.MacroParser.Literal, dstep.translator.MacroParser.StringLiteral, dstep.translator.MacroParser.StringifyExpr, dstep.translator.MacroParser.StringConcat, dstep.translator.MacroParser.TokenConcat, dstep.translator.MacroParser.IndexExpr, dstep.translator.MacroParser.CallExpr, dstep.translator.MacroParser.DotExpr, dstep.translator.MacroParser.ArrowExpr, dstep.translator.MacroParser.SubExpr, dstep.translator.MacroParser.UnaryExpr, dstep.translator.MacroParser.DefinedExpr, dstep.translator.MacroParser.SizeofType, dstep.translator.MacroParser.CastExpr, dstep.translator.MacroParser.MulExpr, dstep.translator.MacroParser.AddExpr, dstep.translator.MacroParser.SftExpr, dstep.translator.MacroParser.RelExpr, dstep.translator.MacroParser.EqlExpr, dstep.translator.MacroParser.AndExpr, dstep.translator.MacroParser.XorExpr, dstep.translator.MacroParser.OrExpr, dstep.translator.MacroParser.LogicalAndExpr, dstep.translator.MacroParser.LogicalOrExpr, dstep.translator.MacroParser.CondExpr).VariantN, dstep.translator.MacroDefinition.ExpressionContext).__dgliteral19(dstep.translator.MacroParser.CastExpr) [0x557bc7a7c316]
/usr/include/dlang/dmd/std/variant.d:2745 immutable(char)[] std.variant.visitImpl!(true, std.variant.VariantN!(64uL, dstep.translator.MacroParser.Identifier, dstep.translator.MacroParser.TypeIdentifier, dstep.translator.MacroParser.Literal, dstep.translator.MacroParser.StringLiteral, dstep.translator.MacroParser.StringifyExpr, dstep.translator.MacroParser.StringConcat, dstep.translator.MacroParser.TokenConcat, dstep.translator.MacroParser.IndexExpr, dstep.translator.MacroParser.CallExpr, dstep.translator.MacroParser.DotExpr, dstep.translator.MacroParser.ArrowExpr, dstep.translator.MacroParser.SubExpr, dstep.translator.MacroParser.UnaryExpr, dstep.translator.MacroParser.DefinedExpr, dstep.translator.MacroParser.SizeofType, dstep.translator.MacroParser.CastExpr, dstep.translator.MacroParser.MulExpr, dstep.translator.MacroParser.AddExpr, dstep.translator.MacroParser.SftExpr, dstep.translator.MacroParser.RelExpr, dstep.translator.MacroParser.EqlExpr, dstep.translator.MacroParser.AndExpr, dstep.translator.MacroParser.XorExpr, dstep.translator.MacroParser.OrExpr, dstep.translator.MacroParser.LogicalAndExpr, dstep.translator.MacroParser.LogicalOrExpr, dstep.translator.MacroParser.CondExpr).VariantN, dstep.translator.MacroDefinition.translate(std.variant.VariantN!(64uL, dstep.translator.MacroParser.Identifier, dstep.translator.MacroParser.TypeIdentifier, dstep.translator.MacroParser.Literal, dstep.translator.MacroParser.StringLiteral, dstep.translator.MacroParser.StringifyExpr, dstep.translator.MacroParser.StringCon...
/usr/include/dlang/dmd/std/variant.d:2415 immutable(char)[] std.variant.visit!(dstep.translator.MacroDefinition.translate(std.variant.VariantN!(64uL, dstep.translator.MacroParser.Identifier, dstep.translator.MacroParser.TypeIdentifier, dstep.translator.MacroParser.Literal, dstep.translator.MacroParser.StringLiteral, dstep.translator.MacroParser.StringifyExpr, dstep.translator.MacroParser.StringConcat, dstep.translator.MacroParser.TokenConcat, dstep.translator.MacroParser.IndexExpr, dstep.translator.MacroParser.CallExpr, dstep.translator.MacroParser.DotExpr, dstep.translator.MacroParser.ArrowExpr, dstep.translator.MacroParser.SubExpr, dstep.translator.MacroParser.UnaryExpr, dstep.translator.MacroParser.DefinedExpr, dstep.translator.MacroParser.SizeofType, dstep.translator.MacroParser.CastExpr, dstep.translator.MacroParser.MulExpr, dstep.translator.MacroParser.AddExpr, dstep.translator.MacroParser.SftExpr, dstep.translator.MacroParser.RelExpr, dstep.translator.MacroParser.EqlExpr, dstep.translator.MacroParser.AndExpr, dstep.translator.MacroParser.XorExpr, dstep.translator.MacroParser.OrExpr, dstep.translator.MacroParser.LogicalAndExpr, dstep.translator.MacroParser.LogicalOrExpr, dstep.translator.MacroParser.CondExpr).VariantN, dstep.translator.MacroDefinition.ExpressionContext).__dgliteral4(dstep.translator.MacroParser.Identifier), dstep.translator.MacroDefinition.translate(std.variant.VariantN!(64uL, dstep.translator.MacroParser.Identifier, dstep.translator.MacroParser.TypeIdentifier, dstep.translator.MacroPa...
dstep/translator/MacroDefinition.d:207 immutable(char)[] dstep.translator.MacroDefinition.translate(std.variant.VariantN!(64uL, dstep.translator.MacroParser.Identifier, dstep.translator.MacroParser.TypeIdentifier, dstep.translator.MacroParser.Literal, dstep.translator.MacroParser.StringLiteral, dstep.translator.MacroParser.StringifyExpr, dstep.translator.MacroParser.StringConcat, dstep.translator.MacroParser.TokenConcat, dstep.translator.MacroParser.IndexExpr, dstep.translator.MacroParser.CallExpr, dstep.translator.MacroParser.DotExpr, dstep.translator.MacroParser.ArrowExpr, dstep.translator.MacroParser.SubExpr, dstep.translator.MacroParser.UnaryExpr, dstep.translator.MacroParser.DefinedExpr, dstep.translator.MacroParser.SizeofType, dstep.translator.MacroParser.CastExpr, dstep.translator.MacroParser.MulExpr, dstep.translator.MacroParser.AddExpr, dstep.translator.MacroParser.SftExpr, dstep.translator.MacroParser.RelExpr, dstep.translator.MacroParser.EqlExpr, dstep.translator.MacroParser.AndExpr, dstep.translator.MacroParser.XorExpr, dstep.translator.MacroParser.OrExpr, dstep.translator.MacroParser.LogicalAndExpr, dstep.translator.MacroParser.LogicalOrExpr, dstep.translator.MacroParser.CondExpr).VariantN, dstep.translator.MacroDefinition.ExpressionContext) [0x557bc7a77d12]
dstep/translator/MacroDefinition.d:618 void dstep.translator.MacroDefinition.translateMacroDefinitionAliasOrConst(dstep.translator.Output.Output, dstep.translator.Context.Context, dstep.translator.TypeInference.TypedMacroDefinition) [0x557bc7a78553]
dstep/translator/MacroDefinition.d:634 void dstep.translator.MacroDefinition.translateMacroDefinition(dstep.translator.Output.Output, dstep.translator.Context.Context, dstep.translator.TypeInference.TypedMacroDefinition) [0x557bc7a7860f]
dstep/translator/Translator.d:323 void dstep.translator.Translator.Translator.translateMacroDefinition(dstep.translator.Output.Output, clang.Cursor.Cursor, clang.Cursor.Cursor) [0x557bc7ab202a]
dstep/translator/Translator.d:193 void dstep.translator.Translator.Translator.translate(dstep.translator.Output.Output, clang.Cursor.Cursor, clang.Cursor.Cursor) [0x557bc7ab1731]
dstep/translator/Translator.d:131 void dstep.translator.Translator.Translator.translateInGlobalScope(dstep.translator.Output.Output, clang.Cursor.Cursor, clang.Cursor.Cursor) [0x557bc7ab1352]
dstep/translator/Translator.d:98 int dstep.translator.Translator.Translator.translateCursors().__foreachbody3(ref clang.Cursor.Cursor, ref clang.Cursor.Cursor) [0x557bc7ab123b]
clang/Visitor.d:179 int clang.Visitor.InOrderVisitor.opApply(int delegate(ref clang.Cursor.Cursor, ref clang.Cursor.Cursor)) [0x557bc7a55137]
dstep/translator/Translator.d:85 dstep.translator.Output.Output dstep.translator.Translator.Translator.translateCursors() [0x557bc7ab1066]
dstep/translator/Translator.d:117 immutable(char)[] dstep.translator.Translator.Translator.translateToString() [0x557bc7ab125e]
dstep/translator/Translator.d:75 void dstep.translator.Translator.Translator.translate() [0x557bc7ab0f79]
dstep/driver/Application.d:67 int dstep.driver.Application.Application.run().__foreachbody5(std.typecons.Tuple!(immutable(char)[], immutable(char)[], clang.TranslationUnit.TranslationUnit).Tuple) [0x557bc7a576dd]
/usr/include/dlang/dmd/std/parallelism.d-mixin-4093:4139 void std.parallelism.ParallelForeach!(std.range.ZipShortest!(1, immutable(char)[][], immutable(char)[][], clang.TranslationUnit.TranslationUnit[]).ZipShortest).ParallelForeach.opApply(scope int delegate(std.typecons.Tuple!(immutable(char)[], immutable(char)[], clang.TranslationUnit.TranslationUnit).Tuple)).doIt() [0x557bc7a57e24]
??:? void std.parallelism.run!(void delegate()).run(void delegate()) [0x557bc7ae0b43]
??:? void std.parallelism.Task!(std.parallelism.run, void delegate()).Task.impl(void*) [0x557bc7ae0623]
??:? void std.parallelism.AbstractTask.job() [0x557bc7b027f2]
??:? void std.parallelism.submitAndExecute(std.parallelism.TaskPool, void delegate()) [0x557bc7ae0243]
/usr/include/dlang/dmd/std/parallelism.d:4089 int std.parallelism.ParallelForeach!(std.range.ZipShortest!(1, immutable(char)[][], immutable(char)[][], clang.TranslationUnit.TranslationUnit[]).ZipShortest).ParallelForeach.opApply(scope int delegate(std.typecons.Tuple!(immutable(char)[], immutable(char)[], clang.TranslationUnit.TranslationUnit).Tuple)) [0x557bc7a57d17]
dstep/driver/Application.d:57 void dstep.driver.Application.Application.run() [0x557bc7a575c4]
dstep/driver/CommandLine.d:181 int dstep.driver.CommandLine.run(immutable(char)[][]) [0x557bc7a68a08]
dstep/main.d:18 _Dmain [0x557bc7a6b82f]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jacob-carlborg @Ssamm45