Issues · pub / frama-c · GitLab

Parse error when using a wide string literal to initialize uint16 array

#2347 · created Sep 30, 2010 by mantis-gitlab-migration bug confirmed kernel
- 4
updated Feb 22, 2021
journalization of -print option

#1832 · created Jul 04, 2013 by Patrick Baudin bug confirmed kernel
- 1
updated Feb 22, 2021
exception identifier from catch() statement unknown in contracts, but not in code

#906 · created Feb 02, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
can't compare pointer and reference for equality in contract

#903 · created Jan 22, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
type def'd as template typename causes SEGV when used in logic functions

#900 · created Jan 22, 2015 by Jochen Burghardt confirmed critical frama-clang
- 1
updated Feb 22, 2021
catching a superclass causes crash

#898 · created Jan 15, 2015 by Jochen Burghardt confirmed critical frama-clang
- 0
updated Feb 22, 2021
recursive logic integer function definition causes error

#897 · created Jan 15, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
ACSL comment rejected in function template

#896 · created Jan 12, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
unprovable obligation generated for "ensures" in presence of exceptions

#895 · created Jan 08, 2015 by Jochen Burghardt bug confirmed frama-clang
- 1
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
use of template class in default template argument in namespace causes crash

#889 · created Nov 17, 2014 by Jochen Burghardt confirmed critical frama-clang
- 3
updated Feb 22, 2021
use of initialized array causes crash

#887 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- 2
updated Feb 22, 2021
constructor overloading resolution with templates causes dubious "contract merge" warning

#885 · created Jan 05, 2015 by Jochen Burghardt bug confirmed frama-clang
- 1
updated Feb 22, 2021
"ensures" clause of function template not supplied to Alt-Ergo

#883 · created Dec 15, 2014 by Jochen Burghardt bug confirmed frama-clang
- 3
updated Feb 22, 2021
method contract in template specialization class unimplemented

#881 · created Dec 18, 2014 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
public variables of superclass not visible in subclass invariant

#880 · created Nov 10, 2014 by Jochen Burghardt bug confirmed frama-clang
- 5
updated Feb 22, 2021
suggest to document Frama-C's handling of return value optimization

#876 · created Dec 08, 2014 by Jochen Burghardt confirmed frama-clang
- 1
updated Feb 22, 2021
different error messages for "0<x" and "0<x<9" when x is of class type

#872 · created Dec 01, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 1
updated Feb 22, 2021
suggest to suppress warning about passing void value via return statement

#868 · created Nov 27, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 1
updated Feb 22, 2021
identifier declared in condition is unknown in assert clause

#867 · created Nov 27, 2014 by Jochen Burghardt bug confirmed frama-clang
- 2
updated Feb 22, 2021

Prev
1
2
3
4
Next