Issues · pub / frama-c · GitLab

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
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
protected variable not visible in contract in subclass

#879 · created Dec 15, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 3
updated Feb 22, 2021
"&p->a" causes abort when "->" is user-defined

#877 · created Dec 11, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
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
variable in then-part of "?:" in ACSL clause causes syntax error

#875 · created Nov 27, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
clause labels not accepted by cxx plugin

#874 · created Dec 01, 2014 by Jochen Burghardt enhancement frama-clang
- CLOSED
- 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
insufficient preconditions given to Alt-Ergo to prove obligation originating from virtual methods

#870 · created Nov 17, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
side effect of constructor call from global variable initialization ignored

#869 · created Dec 01, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 0
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
"do"-loop with body interspersed with "case" labels of surrounding "switch" not parsed

#866 · created Nov 27, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 0
updated Feb 22, 2021
non-predicate on right-hand size of "|" causes segmentation fault

#864 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- 2
updated Mar 29, 2021
how to specify equality of references, rather than of values, in contract?

#863 · created Nov 24, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 0
updated Feb 22, 2021
namespace prefix in annotation causes segmentation fault

#862 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 1
updated Mar 29, 2021
scope resolution operator not recognized in assertion

#861 · created Nov 24, 2014 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
identifier unknown after leaving inner scope that declared same name

#860 · created Nov 24, 2014 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Apr 02, 2022
enum types in contract cause syntax error

#859 · created Nov 24, 2014 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
8
Next