Issues · pub / frama-c · GitLab

[frama-clang] Cannot parse built-in function __underlying_type()

#2558 · created May 26, 2021 by Stefan Gränitz frama-clang
- CLOSED
- 5
updated Jul 14, 2021
Frama-clang include problem with directory hierarchy

#1021 · created Jun 04, 2014 by Jens Gerlach bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
Frama-Clang fails to parse simple predicate

#1017 · created Jun 13, 2014 by Jens Gerlach bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
clause "n<9-1" normalized to "n-1<9"

#1016 · created Jun 16, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
Static attribute can not be accessed

#988 · created Jun 27, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
Use of axioms in axiomatic specification is not supported

#987 · created Jul 25, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
"\nothing" unrecognized in assigns clause

#965 · created Jun 02, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
label argument of \at unrecognized

#964 · created Jun 16, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
array-type parameter causes "Old style K&R" kernel warning with cxx plugin

#963 · created Jun 20, 2014 by Jochen Burghardt frama-clang
- CLOSED
- 2
updated Feb 22, 2021
Frama-clang has problems with "decreases" clauses

#962 · created Jun 20, 2014 by Jens Gerlach bug frama-clang
- CLOSED
- 2
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
No access to inherited members of a struct in acsl clauses.

#941 · created Jul 23, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
"catch(...)" causes crash

#940 · created Nov 13, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 1
updated Feb 22, 2021
use of later-defined nested class type in method signature causes error

#939 · created Dec 11, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
"*" in quantifier in axiom causes SEGV

#905 · created Jan 29, 2015 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
"\at" doesn't accept predicate argument label

#904 · created Jan 26, 2015 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
logic function call in rhs of relation chain causes abort

#902 · created Jan 22, 2015 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
name in contract should refer to logic function, if defined, even in presence of homonymous C++ method

#901 · created Jan 22, 2015 by Jochen Burghardt enhancement frama-clang
- CLOSED
- 1
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
struct type inside 'extern "C"' causes crash, except as lhs of typedef

#891 · created Nov 13, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 2
updated Mar 29, 2021

Prev
1
2
3
4
Next