summaryrefslogtreecommitdiffstats
path: root/debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/input/c/t3.in.c
diff options
context:
space:
mode:
authorMichele Calgaro <michele.calgaro@yahoo.it>2021-05-19 16:22:10 +0900
committerMichele Calgaro <michele.calgaro@yahoo.it>2021-05-19 19:14:52 +0900
commit71fb4a139179e9d27070f7f3e98971e3e029697f (patch)
tree92fbf03f1e546b3c99e6e06e98100b6ef8e4e2c6 /debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/input/c/t3.in.c
parent6eae1a16a1001287ef5129db86f4ef2145ace3ca (diff)
downloadextra-dependencies-71fb4a139179e9d27070f7f3e98971e3e029697f.tar.gz
extra-dependencies-71fb4a139179e9d27070f7f3e98971e3e029697f.zip
uncrustify: updated to version 0.73
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
Diffstat (limited to 'debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/input/c/t3.in.c')
-rw-r--r--debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/input/c/t3.in.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/input/c/t3.in.c b/debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/input/c/t3.in.c
new file mode 100644
index 00000000..e352f736
--- /dev/null
+++ b/debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/input/c/t3.in.c
@@ -0,0 +1,10 @@
+extern /*@observer@*/ /*@null@*/ const dcroid_t* dcrp_oidget
+(
+ /*@in@*/ const char* h,
+ /*@in@*/const char* t
+ ) /*@ensures maxRead(result) >= 0@*/;
+
+extern /*@observer@*/const char* dcrp_oidlabel
+(
+ /*@in@*/const dcroid_t* oid
+ );