2018-12-31 OMPi小组会议

"解决OpenMP程序中变量未定义的问题"

Posted by Kingtous on December 31, 2018

解决undifined问题

SWEET解决方法:

对于函数,直接不执行(simply not to be made) 对于变量,先设置成Top值,再根据abstract execution中逐步精确。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
sweet -i=floorplan_ompi_trim.alf,std_hll.alf func=_taskFunc0_  -c extref=off -ae pu aac=insertsort.clt tc=st,op merge =all


-c后加
extref=<X> 		Checks if there are any unresolved external references in the
				program (like calls to external functions or accesses to external
				global variables). <X> can be one of: 
				
on             - (default) Turns on this check
off            - Turns off this check


-ae后加
pu      Process undefined functions, which means that calls to undefined
		functions will simply not be made. Further, all undefined global
		variables will initially be set to TOP, but become updated
		according to writes made during the AE analysis. Option must be
		set if AE should be run on code containing imports to functions
		that are not provided.