search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
135 stars 32 forks source link

Fix the build with -fno-common (default in GCC 10) #75

Closed jamesjer closed 4 years ago

jamesjer commented 4 years ago

GCC has for many years defaulted to -fcommon. The upcoming GCC 10 release will change the default to -fno-common. This commit fixes 4 variables that have multiple definitions in the current sources, leaving each with exactly 1 definition.

jamesjer commented 4 years ago

Updated for git head.