2006-06-02 Frank Ch. Eigler <fche@elastic.org>

	PR 2645 cont'd.
	* elaborate.cxx (find_and_build): Support optional wildcards too.
	(derive_probes): Change last argument to indicate optionalness of
	parent probe point (alias reference).
	(alias_expansion_builder): Shrink epilogue-mode alias body copying.
	Pass along alias reference optionality.
	* elaborate.h: Corresponding changes.
	* testsuite/semko/thirtyfive.stp, semok/twentytwo.stp: New tests.

diff --git a/ChangeLog b/ChangeLog
index 9bbb705ae353ed2aa25f3690e632ddb3a7d97d8f..37dae9514842f4926b6ec9b6571e843a38a076f7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,14 @@
+2006-06-02  Frank Ch. Eigler  <fche@elastic.org>
+
+       PR 2645 cont'd.
+       * elaborate.cxx (find_and_build): Support optional wildcards too.
+       (derive_probes): Change last argument to indicate optionalness of
+       parent probe point (alias reference).
+       (alias_expansion_builder): Shrink epilogue-mode alias body copying.
+       Pass along alias reference optionality. 
+       * elaborate.h: Corresponding changes.
+       * testsuite/semko/thirtyfive.stp, semok/twentytwo.stp: New tests.
+
 2006-06-02  Josh Stone  <joshua.i.stone@intel.com>
 
        * testsuite/buildok/process_test.stp: add signal_handle test

diff --git a/elaborate.cxx b/elaborate.cxx
index 73ac65919da635dfab21f29170151afdefdc43ba..e24d26fff65018118a8da1b9b6d89e36953d57f4 100644 (file)
--- a/elaborate.cxx
+++ b/elaborate.cxx
@@ -287,7 +287,7 @@ match_node::find_and_build (systemtap_session& s,
                }
            }
        }
-      if (num_results == results.size())
+      if (! loc->optional && num_results == results.size())
         {
          // We didn't find any wildcard matches (since the size of
          // the result vector didn't change).  Throw an error.
@@ -376,35 +376,28 @@ alias_expansion_builder
     // there's concatenated code here and we only want one vardecl per
     // resulting variable.
 
-    if(alias->epilogue_style == true)  {
-           for (unsigned i = 0; i < use->body->statements.size(); ++i)
-             {
-               statement *s = deep_copy_visitor::deep_copy(use->body->statements[i]);
-               n->body->statements.push_back(s);
-             }
-
-           for (unsigned i = 0; i < alias->body->statements.size(); ++i)
-             {
-               statement *s = deep_copy_visitor::deep_copy(alias->body->statements[i]);
-               n->body->statements.push_back(s);
-             }
-
-    }  else  {
-
-           for (unsigned i = 0; i < alias->body->statements.size(); ++i)
-             {
-               statement *s = deep_copy_visitor::deep_copy(alias->body->statements[i]);
-               n->body->statements.push_back(s);
-             }
-
-           for (unsigned i = 0; i < use->body->statements.size(); ++i)
-             {
-               statement *s = deep_copy_visitor::deep_copy(use->body->statements[i]);
-               n->body->statements.push_back(s);
-             }
-    }
+    if (alias->epilogue_style)
+      {
+        for (unsigned i = 0; i < use->body->statements.size(); ++i)
+          n->body->statements.push_back
+            (deep_copy_visitor::deep_copy(use->body->statements[i]));
 
-    derive_probes (sess, n, finished_results, false);
+        for (unsigned i = 0; i < alias->body->statements.size(); ++i)
+          n->body->statements.push_back
+            (deep_copy_visitor::deep_copy(alias->body->statements[i]));
+      }
+    else
+      {
+        for (unsigned i = 0; i < alias->body->statements.size(); ++i)
+          n->body->statements.push_back
+            (deep_copy_visitor::deep_copy(alias->body->statements[i]));
+        
+        for (unsigned i = 0; i < use->body->statements.size(); ++i)
+          n->body->statements.push_back
+            (deep_copy_visitor::deep_copy(use->body->statements[i]));
+      }
+    
+    derive_probes (sess, n, finished_results, location->optional);
   }
 };
 
@@ -482,7 +475,7 @@ recursion_guard
 void
 derive_probes (systemtap_session& s,
                probe *p, vector<derived_probe*>& dps,
-               bool exc_outermost)
+               bool optional)
 {
   for (unsigned i = 0; i < p->locations.size(); ++i)
     {
@@ -494,8 +487,12 @@ derive_probes (systemtap_session& s,
           s.pattern_root->find_and_build (s, p, loc, 0, dps);
           unsigned num_atend = dps.size();
           
-          if (! loc->optional && num_atbegin == num_atend) // nothing new derived!
+          if (! optional && ! loc->optional && // something required, but
+              num_atbegin == num_atend) // nothing new derived!
             throw semantic_error ("no match for probe point");
+
+          // XXX: perhaps "optional" should operate at the outside
+          // loop (probe) level.
         }
       catch (const semantic_error& e)
         {

diff --git a/elaborate.h b/elaborate.h
index 689c35aff60af45686b5bad7f18c85b5f94be205..9a10283cf8b984f8abda66a5c208c1cad4d7477d 100644 (file)
--- a/elaborate.h
+++ b/elaborate.h
@@ -211,7 +211,7 @@ match_node
 int semantic_pass (systemtap_session& s);
 void derive_probes (systemtap_session& s,
                     probe *p, std::vector<derived_probe*>& dps,
-                    bool exc_outermost = true);
+                    bool optional = false);
 
 // A helper we use here and in translate, for pulling symbols out of lvalue
 // expressions.

diff --git a/testsuite/semko/thirtyfive.stp b/testsuite/semko/thirtyfive.stp
new file mode 100755 (executable)
index 0000000..e54898a
--- /dev/null
+++ b/testsuite/semko/thirtyfive.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+probe foo.a = kernel.function("no_such_function")? { "alias a" }
+probe foo.* { }

diff --git a/testsuite/semok/twentytwo.stp b/testsuite/semok/twentytwo.stp
new file mode 100755 (executable)
index 0000000..f8f44ff
--- /dev/null
+++ b/testsuite/semok/twentytwo.stp
@@ -0,0 +1,10 @@
+#! stap -p2
+
+probe foo.a = kernel.function("no_such_function")?, never { "alias a" }
+probe foo.* { }
+
+probe baz.a = kernel.function("no_such_function") { "alias a" }
+probe baz.* ? { }
+
+probe bar = kernel.function("no_such_function") { "alias b" }
+probe bar ? { }