-
- Downloads
[Kernel] remove buggy pretty-printing of _Static_assert
Pretty-printing _Static_assert was already hackish for the "not-a-struct-field" case, and for the latter, it was incorrect: conversion between Cabs expressions and Cil expressions does not work in every case; the normalized version was not always identical to the original one; etc. For now, we consider _Static_assert's not to be essential in pretty-printing. This "revert-like" commit ensures the code is available in the history, if we need it later.
Showing
- src/kernel_internals/typing/cabs2cil.ml 17 additions, 37 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_printing/cil_printer.ml 19 additions, 53 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- tests/syntax/oracle/static_assert.0.res.oracle 1 addition, 12 deletionstests/syntax/oracle/static_assert.0.res.oracle
- tests/syntax/oracle/static_assert.1.res.oracle 4 additions, 2 deletionstests/syntax/oracle/static_assert.1.res.oracle
- tests/syntax/static_assert.c 3 additions, 3 deletionstests/syntax/static_assert.c
Loading
Please register or sign in to comment