Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

ab772a29

Commit ab772a29 authored 2 years ago by Andre Maroneze

Downloads
- Plain Diff

Merge branch 'fix/kernel/array-dim-constant' into 'master'

Ast_info should return a value for integer constant expressions

Closes #2625

See merge request frama-c/frama-c!3893

parents 2982a4bf 6a8c5f83

No related branches found

No related tags found

Loading

Changes 6

Hide whitespace changes

Inline Side-by-side

Showing

dev/git-hooks/pre-commit.sh 3 additions, 3 deletions

dev/git-hooks/pre-commit.sh
src/kernel_services/ast_queries/ast_info.ml 9 additions, 5 deletions

src/kernel_services/ast_queries/ast_info.ml
src/kernel_services/ast_queries/ast_info.mli 47 additions, 0 deletions

src/kernel_services/ast_queries/ast_info.mli
tests/misc/local_array_non_literal_size.i 25 additions, 0 deletions

tests/misc/local_array_non_literal_size.i
tests/misc/oracle/local_array_non_literal_size.err.oracle 0 additions, 0 deletions

tests/misc/oracle/local_array_non_literal_size.err.oracle
tests/misc/oracle/local_array_non_literal_size.res.oracle 41 additions, 0 deletions

tests/misc/oracle/local_array_non_literal_size.res.oracle

with 125 additions and 8 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment