- Apr 05, 2022
-
-
Virgile Prevosto authored
Partial revert of d2210718: the fix introduced in this commit basically let template instances occur before the definition of the actual parameter. With AST reordering in ir2clang, this should be less of an issue as it once was, but for the time being I prefer to rely on having some reordering also on the clang2ir side. As matter of fact, the original issue was that we fail to set the name of [copyFunc] to a fully qualified version, so that it didn't define the correct symbol: we had two completely separate functions (i.e. test::func and ::func in issue2564.cpp), one being actually unused.
-
Virgile Prevosto authored
-
-
This allow analysis for a widely used C++ construct. Please find more details in the bugtracker: frama-c#2564
-
-
Virgile Prevosto authored
merge pub/frama-clang!1
-
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.
-
- Apr 04, 2022
-
-
Franck Vedrine authored
Fix translation of negative integer litterals See merge request frama-c/frama-clang!169
-
Virgile Prevosto authored
and remove useless declaration
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Feb 16, 2022
-
-
Michele Alberti authored
Support for editing the translated C file and keeping demangling options afterwards See merge request frama-c/frama-clang!166
-
-
Michele Alberti authored
[machdep] add support in Frama-Clang for x86_64_msvc machdep of Frama-C See merge request frama-c/frama-clang!165
-
- Feb 15, 2022
-
-
Virgile Prevosto authored
-
- Feb 14, 2022
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
hide -kernel-msg-key behind a proper FCLang option
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Update for LLVM-13 compatibility See merge request frama-c/frama-clang!163
-
Virgile Prevosto authored
Support for OCaml 4.13 See merge request frama-c/frama-clang!164
-
- Feb 07, 2022
-
-
Virgile Prevosto authored
In presence of constructor elision, the contract of f didn't make sense
-
Virgile Prevosto authored
isElidable at ConstructorExpr is not used in this case in clang-13
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Feb 04, 2022
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Oct 26, 2021
-
-
Virgile Prevosto authored
sync with frama-c/frama-c!3182 See merge request frama-c/frama-clang!153
-
- Oct 19, 2021
-
-
Valentin Perrelle authored
sync with frama-c/frama-c!2338 See merge request frama-c/frama-clang!146
-
Virgile Prevosto authored
-
Andre Maroneze authored
-
- Oct 08, 2021
-
-
Virgile Prevosto authored
-