diff options
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 3280d18..43a0237 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -445,8 +445,12 @@ package body SPARK_Specific is Decl := Parent (E); end if; - pragma Assert (Present (Expression (Decl))); - Result := Is_Static_Expression (Expression (Decl)); + if Is_Imported (E) then + Result := False; + else + pragma Assert (Present (Expression (Decl))); + Result := Is_Static_Expression (Expression (Decl)); + end if; end; when E_Loop_Parameter | E_In_Parameter => |