Quentin Sabah
Quentin Sabah
Hi, I am closing this this pull request because it has been inactive for over 3 years.
Hi, I am closing this this pull request because it has been inactive for over 3 years.
I believe the original `_type_declarator` rule from `tree-sitter-c` needs to be extented with a reference type declarator.
`ref` is parsed as a `function_declarator`, which is probably not expected here. Duplicate of #124 ?
There are also some exceptions not handled correctly when building with XCode 15. Some sources on internet suggest to add linker flag `-Wl,-ld_classic`, I am preparing a CI run for...
I have changed all `memory_order` to `memory_order_seq_cst` and I still reproduce a crash. I build on M1 with llvm17 openmp library. Then run `evaluation/cprog4` test in a loop until it...
May be same problem as described in #2302 ?
The `ResolveAnonymousRecordAliasesTransformer` that runs before the semantics checker calls the type analysis. And the type analysis loops infinitely because `A` cannot be given a definite type.
The interactive provenance only supports numeric literals and symbol: https://github.com/souffle-lang/souffle/blob/0d75dc34b1752d629cd6192800cd80a09dab63b8/src/include/souffle/provenance/Explain.h#L302-L308
I am not an expert of this part of the code, but it looks more like a bug of the `ResolveAliases` pass that may not behave correcly in presence of...