Implicitly set device attribute for variables that have VALUE attribute inside device routines

Author: wangzpgi

flang/lib/Semantics/resolve-names.cpp

@@ -9561,8 +9561,7 @@ void ResolveNamesVisitor::CreateGeneric(const parser::GenericSpec &x) {
 static void SetImplicitCUDADevice(bool inDeviceSubprogram, Symbol &symbol) {
   if (inDeviceSubprogram && symbol.has<ObjectEntityDetails>()) {
     auto *object{symbol.detailsIf<ObjectEntityDetails>()};
-    if (!object->cudaDataAttr() && !IsValue(symbol) &&
-        !IsFunctionResult(symbol)) {
+    if (!object->cudaDataAttr() && !IsFunctionResult(symbol)) {
       // Implicitly set device attribute if none is set in device context.
       object->set_cudaDataAttr(common::CUDADataAttr::Device);
     }

flang/test/Lower/CUDA/a.out

@@ -0,0 +1,13 @@
+!mod$ v1 sum:dcc937f37583c496
+module char1
+character(1_8,1),allocatable::da(:)
+attributes(device) da
+character(1_8,1),allocatable::db(:)
+attributes(device) db
+contains
+attributes(device) function check_char(c1,c2)
+character(1_8,1),value::c1
+character(1_8,1),value::c2
+logical(4)::check_char
+end
+end