Merge branch 'feature/andre/libc-sync-synchronize' into 'master'
[Libc] add spec for GCC builtin __sync_synchronize Closes #784 See merge request frama-c/frama-c!3493
No related branches found
No related tags found
Showing
- share/libc/__fc_gcc_builtins.h 7 additions, 0 deletionsshare/libc/__fc_gcc_builtins.h
- src/kernel_services/ast_queries/cil_builtins.ml 3 additions, 1 deletionsrc/kernel_services/ast_queries/cil_builtins.ml
- tests/libc/oracle/fc_libc.0.res.oracle 21 additions, 20 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 3 additions, 0 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/syntax/oracle/check_builtin_bts1440.res.oracle 0 additions, 2 deletionstests/syntax/oracle/check_builtin_bts1440.res.oracle
Loading
Please register or sign in to comment