Changeset 09a0bd4a in mainline for tools/checkers/vcc.py

Timestamp:

2010-06-24T13:00:16Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

2d03471, 33c4f72

Parents:

e821e49

Message:

initial properties annotation and verification support
(does not do much yet, but also does not stand in the way)

File:

• tools/checkers/vcc.py (modified) (3 diffs)

tools/checkers/vcc.py

@@ -59 +59 @@
         args = ['gcc', '-E']
         args.extend(options.split())
-        args.append(srcfname)
+        args.extend(['-DCONFIG_VERIFY_VCC=1', srcfname])
         
         # Change working directory
@@ -69 +69 @@
         
         tmpf = file(tmpfname, "w")
+        
+        tmpf.write("__specification(const char * const \\declspec_atomic_inline;)\n\n");
+        
+        tmpf.write("#define __spec_attr(key, value) \\\n");
+        tmpf.write("    __declspec(System.Diagnostics.Contracts.CodeContract.StringVccAttr, \\\n");
+        tmpf.write("        key, value)\n\n");
         
         for line in preproc.splitlines():
@@ -149 +155 @@
                 # Run Vcc
                 print " -- %s --" % srcfname            
-                retval = subprocess.Popen([vcc_path, cygpath(tmpfqname)]).wait()
+                retval = subprocess.Popen([vcc_path, '/pointersize:32', cygpath(tmpfqname)]).wait()
                 
                 if (retval != 0):