[kernel] Fixes Ast_info.possible_value_of_integral_expr
The name seems to imply that it will return Some for any constant integer expression, not only for integer literals
Showing
- src/kernel_services/ast_queries/ast_info.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/ast_info.ml
- tests/misc/local_array_non_literal_size.i 25 additions, 0 deletionstests/misc/local_array_non_literal_size.i
- tests/misc/oracle/local_array_non_literal_size.err.oracle 0 additions, 0 deletionstests/misc/oracle/local_array_non_literal_size.err.oracle
- tests/misc/oracle/local_array_non_literal_size.res.oracle 0 additions, 0 deletionstests/misc/oracle/local_array_non_literal_size.res.oracle
Loading
Please register or sign in to comment