Stefan Gränitz authored 3 years ago and Virgile Prevosto committed 2 years ago

The explicit cast is necessary even though the value for `t` is passed in as an r-value, because it becomes an l-value as soon as it is assigned to the variable.

Fix translation of negative integer litterals

See merge request frama-c/frama-clang!169

and remove useless declaration

Support for editing the translated C file and keeping demangling options afterwards

See merge request frama-c/frama-clang!166

[machdep] add support in Frama-Clang for x86_64_msvc machdep of Frama-C

See merge request frama-c/frama-clang!165

hide -kernel-msg-key behind a proper FCLang option

Update for LLVM-13 compatibility

See merge request frama-c/frama-clang!163

Support for OCaml 4.13

See merge request frama-c/frama-clang!164

In presence of constructor elision, the contract of f didn't make sense

isElidable at ConstructorExpr is not used in this case in clang-13

sync with frama-c/frama-c!3182

See merge request frama-c/frama-clang!153

sync with frama-c/frama-c!2338

See merge request frama-c/frama-clang!146

Update Frama-CI data

See merge request frama-c/frama-clang!155