42． FORALL 的决定行为
考虑下面的语句
牋牋牋燜ORALL ( i = 1:n ) a (ix(i)) = a(i)
如果
ix
没有重复值(例如是一个排列), 则这是已经定义了的
注意
a(i)
在
FORALL
中的其它地方都是以"旧"值来计算的
如果
ix
有重复值(如
ix(i)=i/2
), 在HPF中是没有定义的
编译器可能采取它认为的任意合适的行为
对准多个可能值中的一个是合适的
报告错误是合适的
分配一个随机数是合适的
牋
Copyright: NPACT
