Issues · pub / frama-c · GitLab

"\nothing" unrecognized in assigns clause

#965 · created Jun 02, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
#include <foo> falls back to #include "foo" with misleading warning text

#840 · created Oct 30, 2014 by Jochen Burghardt enhancement frama-clang
- CLOSED
- 1
updated Feb 22, 2021
type "__fc_builtin_size_t" used in frama-c's own stddef.h version

#852 · created Nov 06, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
"->" in rhs of "==" in contract causes crash

#856 · created Nov 10, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 2
updated Feb 22, 2021
Missing __END_DECLS in ./share/libc/__fc_alloc_axiomatic.h

#242 · created Sep 21, 2018 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 3
updated Feb 22, 2021
Error in frama-clang make file

#141 · created Jul 07, 2019 by mantis-gitlab-migration bug frama-clang
- 1
updated Feb 22, 2021
Frama-Clang crashes on error in contract

#281 · created Jan 31, 2018 by Jens Gerlach critical frama-clang
- 0
updated Feb 22, 2021
direct initialisation of bool by nullptr

#286 · created Jan 22, 2018 by Jens Gerlach critical frama-clang
- 1
updated Feb 22, 2021
mixed virtual/nonvirtual base class causes error

#588 · created Feb 09, 2015 by Jochen Burghardt confirmed enhancement frama-clang
- 4
updated Feb 22, 2021
access to static struct fields unsupported in annotation

#638 · created May 07, 2015 by Jochen Burghardt bug frama-clang
- 0
updated Feb 22, 2021
CLASSNAME::PREDICATENAME not recognized as predicate (or even as term)

#660 · created Oct 30, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 3
updated Feb 22, 2021
indexing of string literal apparently causes memory leak in framaCIRGen

#666 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- 3
updated Feb 22, 2021
throw without argument causes crash

#894 · created Jan 08, 2015 by Jochen Burghardt bug confirmed frama-clang
- 1
updated Feb 22, 2021
definition of virtual function in subclass causes crash

#888 · created Nov 17, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 1
updated Feb 22, 2021
compile-time template recursion causes "multiply-defined" errors

#882 · created Dec 18, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 0
updated Feb 22, 2021
Comparison of different types in acsl clause causes segmentation fault

#837 · created Jul 30, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 0
updated Feb 22, 2021
contract completely ignored if preceeded by initial comment

#961 · created Jun 27, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 3
updated Feb 22, 2021
expression "&this->val" in logic function body causes framaCIRGen abort

#899 · created Jan 22, 2015 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
variable declared in loop initializer is unknown in loop body "assert"

#647 · created Apr 27, 2015 by Jochen Burghardt bug frama-clang
- 0
updated Feb 22, 2021
Alt-Ergo reports about " bool and int cannot be unified"

#280 · created Feb 05, 2018 by Jens Gerlach bug frama-clang
- 1
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
8
Next