arcosuc3m/clang-contracts

Issues

• Compiler explorer link broken

  #22 opened 3 years ago by akrzemi1
  1

• Contract inheritance does not work as expected

  #18 opened 6 years ago by valmat
  2

• fatal error: sys/ustat.h: No such file or directory

  #21 opened 6 years ago
  2

• Compilation success depends on members order

  #19 opened 6 years ago by valmat
  1

• Compile error on keyword `override`

  #20 opened 6 years ago by valmat
  0

• contract attribute causes ICE in earlier function

  #16 opened 6 years ago by rollbear
  1

• ICE on constructor with contract based on initializer list

  #17 opened 6 years ago by rollbear
  1

• Mangled name collision between function and function template

  #14 opened 6 years ago by jalopezg-git
  1

• Segfault: member function template instantiation as part of a lambda expression

  #13 opened 6 years ago by jalopezg-git
  1

• Compiler abort: generating code for a function that returns bool (NRVO?)

  #15 opened 6 years ago by jalopezg-git
  1

• Compiler segfaults if attribute origin is macro expansion and -contract-violation-handler= is specified

  #12 opened 6 years ago by jalopezg-git
  1

• #include <contract> should warn if -std=c++14 (or later) is not specified

  #11 opened 6 years ago by jalopezg-git
  0

• Preconditions un function returning by ref crash

  #10 opened 6 years ago by jdgarciauc3m
  1

• Preconditions don't work for a function returning void

  #1 opened 6 years ago by villevoutilainen
  4

• conditional-expression for [[expects: ]] and [[ensures: ]] is not instantianted in PotentiallyEvaluated context

  #9 opened 6 years ago by jalopezg-git
  0

• make check-all: failing tests in revision 6f671fe

  #8 opened 6 years ago by jalopezg-git
  0

• Compiler aborts if declaration references `this' as part of [[expects: ]] and definition is out-of-line

  #5 opened 6 years ago by jalopezg-git
  1

• contract_violation::comment() does not correctly return the condition text

  #6 opened 6 years ago by jalopezg-git
  1

• contract_violation::function_name() returns identifiers with the unchecked function prefix

  #7 opened 6 years ago by jalopezg-git
  1

• Using self class pointer in contract

  #3 opened 6 years ago by jdgarciauc3m
  1

• Compiling with -g compiler option causes the compiler to abort

  #4 opened 6 years ago by jalopezg-git
  1

• Compiler crash

  #2 opened 7 years ago by jdgarciauc3m
  1