len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-12 06:35:19 -05:00
Code Issues Projects Releases Packages Wiki Activity

Added automatic rewrite to remove const qualifiers occurring before a star.

Browse source
This commit is contained in:
Tobias Reinhard 2022-11-11 15:37:24 -05:00
parent 49f0dc1f04
commit 0a31349be3
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
View file

@ -37,7 +37,8 @@ rewrite "__attribute__(([_a-z]*))" ""
rewrite "__attribute__( ( [_a-z]* ) )" "" rewrite "__attribute__( ( [_a-z]* ) )" ""
echo "Removing const qualifiers from pointers" echo "Removing const qualifiers from pointers"
rewrite "* const" "*" rewrite "[*] const" "*"
rewrite "const [*]" "*"
echo "Uncomment special includes to allow VeriFast proofs to refer to config macros" echo "Uncomment special includes to allow VeriFast proofs to refer to config macros"
rewrite "//VF_include #include" "#include" rewrite "//VF_include #include" "#include"