[new release] goblint-cil (2.0.2)

[sim642]

A front-end for the C programming language that facilitates program analysis and transformation

• Project page: https://github.com/goblint/cil

CHANGES:

• Rename Rmtmps to RmUnused (Rename Rmtmps module to RmUnused goblint/cil#135).
• Add option to add return statement to noreturn functions (Add return statements in noreturn functions goblint/cil#129).
• Fix empty ifs being removed (Keep empty ifs when wanted goblint/cil#140).
• Fix _Float128 support (Support for ARM64 architectures that have long double as 64bit goblint/cil#118, Add support on machines where long double and float128 do not have the same size goblint/cil#119).
• Fix C11 _Alignas computation (Respect C11 _Alignas(...) for computing alignments goblint/cil#130).
• Fix renaming and merging of inline functions based on C standard (Cil keeps inline and non-inline function with same name goblint/cil#120, Fix merging and renaming of inlines goblint/cil#124).
• Fix Pretty not resetting all global state between calls (Fix Pretty not resetting all global state between calls goblint/cil#133, Fix TCompLoop printing being stateful goblint/cil#134).
• Fix fundec location in merger (Preserve fundec location in merger goblint/cil#139).
• Fix cilly patcher (Fix lib/perl5/patcher goblint/cil#128).
• Disable basename by default in parser.

[sim642]

CI failures:

1. goblint revdeps: failed: Unbound module Rmtmps.

   I'll add upper bounds.

   EDIT: Adding the upper bounds caused revdeps builds which now fail on fedora-38 and opensuse-tumbleweed:

   # (cd _build/default && ./make.sh test)
   # ./scripts/update_suite.rb:44:in `<main>': undefined method `exists?' for File:Class (NoMethodError)
   # 
   # if File.exists?(goblintbyte) then
   #        ^^^^^^^^
   # Did you mean?  exist?
   

   Not sure if there's anything to do about Ruby version being incompatible with test scripts of old releases of goblint.

   EDIT2: There's a patch in [new release] lintcstubs (2 packages) (0.4.7) #24406 for it.

2. oraclelinux-9: # Can't locate FindBin.pm in @INC (you may need to install the FindBin module).

   Ruby seems somehow broken on Oraclelinux 9. There was a fix to conf-ruby previously (conf-ruby: add rubygems depext on oraclelinux #22003), but Oraclelinux 9 is new since then. The oraclelinux-8 CI jobs work fine.

3. freebsd:

   #=== ERROR while compiling conf-gcc.1.0 =======================================#
   "gcc": command not found.
   

   Depexts don't seem to install gcc on FreeBSD.

4. fedora-38-ocaml-5.0: Could not update repository "default": /usr/bin/opam: "rmdir" failed on /home/opam/.opam/repo/default.new: No such file or directory.

   Seems to be some CI problem.

[mseri]

Fixes for the failing tests have been presented here: https://github.com/ocaml/opam-repository/pull/24406/files
Perhaps you want to include them in 2.0.2?

[sim642]

The patches are for goblint, not goblint-cil.

[mseri]

A you are right. I guess we have to live with the oraclelinux failures then.

[avsm]

Thanks! You may want to announce this on https://discuss.ocaml.org, where we have a Community category and an announce tag for this purpose.