Build issue with Souffle 2.1

[cmuellner]

I've tried to build on Fedora with Souffle 2.1, but Souffle detects 18 errors.

Given that a recent commit explicitly mentioned the support of Souffle 2.1,
I would expect the build to succeed.

@ktrianta do you have an idea about this?

Error log:

cm@t14s:~/src/cclyzer-souffle (master)$ make
make --directory=src/logic
make[1]: Entering directory '/home/cm/src/cclyzer-souffle/src/logic'
../../scripts/codegen-export-logic.py . -o export/generate-output.dl --extra-output-preds export/more-output-predicates.txt
mkdir -p ../../build
mkdir -p ../../build/logic
souffle -o ../../build/logic/cclyzer-analyze master.project
Warning: No rules/facts defined for relation context_new in file constructors.dl at line 23
.decl context_new(?item: ContextItem, ?ctx:Context)
------^---------------------------------------------
Warning: Variable ?item1 only occurs once in file constructors.dl at line 34
   ?callerCtx=[?item1, ?item0],
---------------^----------------
Warning: No rules/facts defined for relation alloc_context_request in file constructors.dl at line 38
.decl alloc_context_request(?invoc: ContextItem)
------^------------------------------------------
Warning: No rules/facts defined for relation context_getinvoc in file constructors.dl at line 136
.decl context_getinvoc(?dummy : number)
------^---------------------------------
Error: Undefined relation merge in file generate-output.dl at line 379
.output merge
--------^-----
Error: Undefined relation reachable_context1 in file generate-output.dl at line 439
.output reachable_context1
--------^------------------
Error: Undefined relation reachable_context2 in file generate-output.dl at line 440
.output reachable_context2
--------^------------------
Error: Undefined relation reachable_context3 in file generate-output.dl at line 441
.output reachable_context3
--------^------------------
Error: Undefined relation record in file generate-output.dl at line 449
.output record
--------^------
Error: Atom's argument type is not a subtype of its declared type in file import-predicates.dl at line 240
catch_clause([v2]), landingpad_instruction_clause(v0, v1, [v2]) :-
--------------------------------------------------^----------------
The argument's declared type is LandingPadInstruction in file landingpad-instruction.dl at line 139
.decl landingpad_instruction_clause(instr:LandingPadInstruction, i:number, clause:Clause)
------------------------------------------^-----------------------------------------------
Error: Atom's argument type is not a subtype of its declared type in file import-predicates.dl at line 243
filter_clause([v2]), landingpad_instruction_clause(v0, v1, [v2]) :-
---------------------------------------------------^----------------
The argument's declared type is LandingPadInstruction in file landingpad-instruction.dl at line 139
.decl landingpad_instruction_clause(instr:LandingPadInstruction, i:number, clause:Clause)
------------------------------------------^-----------------------------------------------
Error: Atom's argument type is not a subtype of its declared type in file import-predicates.dl at line 297
constant_in_function(Constant, Function) :-
---------------------^----------------------
The argument's declared type is Constant in file function.dl at line 59
.decl constant_in_function(c:Constant, func:Function)
-----------------------------^------------------------
Error: Atom's argument type is not a subtype of its declared type in file import-predicates.dl at line 301
variable_in_function(Variable, Function) :-
---------------------^----------------------
The argument's declared type is Variable in file function.dl at line 60
.decl variable_in_function(v:Variable, func:Function)
-----------------------------^------------------------
Warning: Deprecated type declaration used in file allocations-decl.dl at line 5
.type Allocation
^----------------
Error: Atom's argument type is not a subtype of its declared type in file class-type.dl at line 200
suffix(?type, ?suffix, ?suffixLen) :-
-------^------------------------------
The argument's declared type is Type in file class-type.dl at line 197
.decl suffix(?type:Type, ?suffix:symbol, ?suffixLen:number)
-------------------^----------------------------------------
Warning: No rules/facts defined for relation template_type_name in file class-type.dl at line 241
.decl template_type_name(?name: symbol)
------^---------------------------------
Error: Atom's argument type is not a subtype of its declared type in file interprocedural.dl at line 34
 , callgraph_edge_interm(?callee, ?callerCtx, ?newItem)
----------------------------------------------^---------
The argument's declared type is Instruction in file interprocedural.dl at line 25
.decl callgraph_edge_interm(?callee: FunctionDecl, ?callerCtx: Context, ?callerInstr: Instruction)
--------------------------------------------------------------------------------------^------------
Error: Atom's argument type is not a subtype of its declared type in file interprocedural.dl at line 46
 , callgraph_edge_interm(?callee, ?callerCtx, ?newItem)
----------------------------------------------^---------
The argument's declared type is Instruction in file interprocedural.dl at line 25
.decl callgraph_edge_interm(?callee: FunctionDecl, ?callerCtx: Context, ?callerInstr: Instruction)
--------------------------------------------------------------------------------------^------------
Error: Atom's argument type is not a subtype of its declared type in file interprocedural.dl at line 58
 , callgraph_edge_interm(?callee, ?callerCtx, ?newItem)
----------------------------------------------^---------
The argument's declared type is Instruction in file interprocedural.dl at line 25
.decl callgraph_edge_interm(?callee: FunctionDecl, ?callerCtx: Context, ?callerInstr: Instruction)
--------------------------------------------------------------------------------------^------------
Error: Atom's argument type is not a subtype of its declared type in file interprocedural.dl at line 74
 , callgraph_edge_interm(?callee, ?callerCtx, ?newItem)
----------------------------------------------^---------
The argument's declared type is Instruction in file interprocedural.dl at line 25
.decl callgraph_edge_interm(?callee: FunctionDecl, ?callerCtx: Context, ?callerInstr: Instruction)
--------------------------------------------------------------------------------------^------------
Warning: No rules/facts defined for relation user_options_entrypoints in file points-to-options.dl at line 10
.decl user_options_entrypoints(?value: symbol)
------^----------------------------------------
Warning: No rules/facts defined for relation user_options_pointer_arithmetic in file points-to-options.dl at line 28
.decl user_options_pointer_arithmetic(?value: symbol)
------^-----------------------------------------------
Warning: No rules/facts defined for relation analyze_pointer_arithmetic in file points-to-options.dl at line 34
.decl analyze_pointer_arithmetic()
------^----------------------------
Warning: No rules/facts defined for relation user_options_optimized_code in file points-to-options.dl at line 55
.decl user_options_optimized_code(?value: symbol)
------^-------------------------------------------
Warning: No rules/facts defined for relation inlined_constructors in file points-to-options.dl at line 61
.decl inlined_constructors()
------^----------------------
Error: Atom's argument type is not a subtype of its declared type in file points-to-statistics.dl at line 3
variable_in_function(?var, ?func) :-
---------------------^---------------
The argument's declared type is Variable in file function.dl at line 60
.decl variable_in_function(v:Variable, func:Function)
-----------------------------^------------------------
Warning: No rules/facts defined for relation _nvars_by_pt_total in file points-to-statistics.dl at line 19
.decl _nvars_by_pt_total(?nVars: number)
------^----------------------------------
Error: Atom's argument type is not a subtype of its declared type in file virtual-tables.dl at line 80
typeinfo_baseclass(?typeInfo) :-
-------------------^-------------
The argument's declared type is GlobalVariable in file virtual-tables.dl at line 79
.decl typeinfo_baseclass(?typeInfo: GlobalVariable)
------------------------------------^---------------
Error: Atom's argument type is not a subtype of its declared type in file virtual-tables.dl at line 85
typeinfo_single_inheritance(?typeInfo) :-
----------------------------^-------------
The argument's declared type is GlobalVariable in file virtual-tables.dl at line 84
.decl typeinfo_single_inheritance(?typeInfo: GlobalVariable)
---------------------------------------------^---------------
Error: Atom's argument type is not a subtype of its declared type in file virtual-tables.dl at line 90
typeinfo_multiple_inheritance(?typeInfo) :-
------------------------------^-------------
The argument's declared type is GlobalVariable in file virtual-tables.dl at line 89
.decl typeinfo_multiple_inheritance(?typeInfo: GlobalVariable)
-----------------------------------------------^---------------
Warning: Deprecated type declaration used in file atomicrmw-instruction.dl at line 36
.type AtomicOperation
^---------------------
Warning: Deprecated type declaration used in file attribute.dl at line 2
.type Attribute
^---------------
Warning: Deprecated type declaration used in file basic-block.dl at line 5
.type BasicBlock
^----------------
Warning: Deprecated type declaration used in file calling-convention.dl at line 4
.type CallingConvention
^-----------------------
Warning: Deprecated type declaration used in file debug.dl at line 1
.type File
^----------
Warning: No rules/facts defined for relation debuginfo_is_loaded in file entry.dl at line 2
.decl debuginfo_is_loaded()
------^---------------------
Warning: Deprecated type declaration used in file entry.dl at line 8
.type DIEntry
^-------------
Warning: Deprecated type declaration used in file file.dl at line 5
.type path
^----------
Warning: Deprecated type declaration used in file location.dl at line 5
.type DILocation
^----------------
Warning: Deprecated type declaration used in file tag.dl at line 1
.type DITag
^-----------
Warning: Deprecated type declaration used in file fcmp-instruction.dl at line 9
.type FCmpCondition
^-------------------
Warning: Deprecated type declaration used in file function.dl at line 7
.type FunctionDecl
^------------------
Warning: Deprecated type declaration used in file global.dl at line 3
.type GlobalVariable
^--------------------
Warning: Deprecated type declaration used in file global.dl at line 55
.type LinkageType
^-----------------
Warning: Deprecated type declaration used in file global.dl at line 95
.type Visibility
^----------------
Warning: Deprecated type declaration used in file global.dl at line 111
.type ThreadLocalMode
^---------------------
Warning: Deprecated type declaration used in file global.dl at line 134
.type Alias
^-----------
Warning: Deprecated type declaration used in file icmp-instruction.dl at line 9
.type ICmpCondition
^-------------------
Warning: Variable Total only occurs once in file indirectbr-instruction.dl at line 54
   indirectbr_instruction_nlabels(Instr, Total),
-----------------------------------------^-------
Warning: Deprecated type declaration used in file instruction.dl at line 5
.type Instruction
^-----------------
Warning: Deprecated type declaration used in file instruction.dl at line 28
.type Flag
^----------
Warning: Deprecated type declaration used in file operand.dl at line 10
.type Variable
^--------------
Warning: Deprecated type declaration used in file operand.dl at line 45
.type Constant
^--------------
Warning: No rules/facts defined for relation constant_hashes_to in file operand.dl at line 52
.decl constant_hashes_to(c:Constant, hashcode:number)
------^-----------------------------------------------
Warning: Deprecated type declaration used in file ordering.dl at line 2
.type Ordering
^--------------
Warning: Variable Total only occurs once in file phi-instruction.dl at line 67
   phi_instruction_npairs(Instr, Total),
---------------------------------^-------
Warning: Variable SecondVectorType only occurs once in file shufflevector-instruction.dl at line 81
   operand_has_type(SecondVector, SecondVectorType),
----------------------------------^------------------
Warning: Deprecated type declaration used in file type.dl at line 5
.type Type
^----------
Warning: No rules/facts defined for relation struct_type_field_name_at_offset in file type.dl at line 285
.decl struct_type_field_name_at_offset(type:StructType, offset:number, name:symbol)
------^-----------------------------------------------------------------------------
Warning: No rules/facts defined for relation struct_type_inherits_at_offset in file type.dl at line 286
.decl struct_type_inherits_at_offset(type:StructType, offset:number, name:symbol)
------^---------------------------------------------------------------------------
18 errors generated, evaluation aborted
make[1]: *** [Makefile:36: ../../build/logic/cclyzer-analyze] Error 1
make[1]: Leaving directory '/home/cm/src/cclyzer-souffle/src/logic'
make: *** [Makefile:28: logic] Error 2

[cmuellner]

Error on my side.
I fetched the changes but did not apply them to my local master branch.

Sorry for the noise and thanks for updating the repo for Souffle 2.1!