diff --git a/testdata/p4tc_samples/direct_counter_errors.p4 b/testdata/p4tc_samples/direct_counter_errors.p4
new file mode 100644
index 00000000000..fd1ad1b903b
--- /dev/null
+++ b/testdata/p4tc_samples/direct_counter_errors.p4
@@ -0,0 +1,131 @@
+/* -*- P4_16 -*- */
+
+#include <core.p4>
+#include <tc/pna.p4>
+
+#define PORT_TABLE_SIZE 2048
+
+/*
+ * Standard ethernet header
+ */
+header ethernet_t {
+    @tc_type ("macaddr") bit<48> dstAddr;
+    @tc_type ("macaddr") bit<48> srcAddr;
+    bit<16> etherType;
+}
+
+header ipv4_t {
+    bit<4>  version;
+    bit<4>  ihl;
+    bit<8>  diffserv;
+    bit<16> totalLen;
+    bit<16> identification;
+    bit<3>  flags;
+    bit<13> fragOffset;
+    bit<8>  ttl;
+    bit<8>  protocol;
+    bit<16> hdrChecksum;
+    bit<32> srcAddr;
+    bit<32> dstAddr;
+}
+
+struct my_ingress_headers_t {
+    ethernet_t ethernet;
+    ipv4_t     ipv4;
+}
+
+/******  G L O B A L   I N G R E S S   M E T A D A T A  *********/
+
+struct my_ingress_metadata_t {
+}
+
+struct empty_metadata_t {
+}
+
+/***********************  P A R S E R  **************************/
+
+parser Ingress_Parser(
+        packet_in pkt,
+        out   my_ingress_headers_t  hdr,
+        inout my_ingress_metadata_t meta,
+        in    pna_main_parser_input_metadata_t istd)
+{
+    const bit<16> ETHERTYPE_IPV4 = 0x0800;
+
+    state start {
+        transition parse_ethernet;
+    }
+    state parse_ethernet {
+        pkt.extract(hdr.ethernet);
+        transition select(hdr.ethernet.etherType) {
+            ETHERTYPE_IPV4 : parse_ipv4;
+            default        : reject;
+        }
+    }
+    state parse_ipv4 {
+        pkt.extract(hdr.ipv4);
+        transition accept;
+    }
+}
+
+/***************** M A T C H - A C T I O N  *********************/
+
+typedef bit<64> PacketByteCounter_t;
+
+control ingress(
+    inout my_ingress_headers_t  hdr,
+    inout my_ingress_metadata_t meta,
+    in    pna_main_input_metadata_t  istd,
+    inout pna_main_output_metadata_t ostd
+)
+{
+    DirectCounter<bit<64>>(PNA_CounterType_t.PACKETS) global_counter;
+
+    action send_nh(@tc_type("dev") PortId_t port_id, @tc_type("macaddr") bit<48> dmac, @tc_type("macaddr") bit<48> smac) {
+        hdr.ethernet.srcAddr = smac;
+        hdr.ethernet.dstAddr = dmac;
+        send_to_port(port_id);
+        global_counter.count();
+    }
+    action drop() {
+        drop_packet();
+    }
+
+    @tc_acl("CRUDPS:RX") table nh_table {
+        key = {
+            hdr.ipv4.srcAddr : exact @tc_type ("ipv4");
+        }
+        actions = {
+            send_nh;
+            drop;
+        }
+        size = PORT_TABLE_SIZE;
+        const default_action = drop;
+    }
+
+    apply {
+        nh_table.apply();
+    }
+}
+
+/*********************  D E P A R S E R  ************************/
+
+control Ingress_Deparser(
+    packet_out pkt,
+    inout    my_ingress_headers_t hdr,
+    in    my_ingress_metadata_t meta,
+    in    pna_main_output_metadata_t ostd)
+{
+    apply {
+        pkt.emit(hdr.ethernet);
+        pkt.emit(hdr.ipv4);
+    }
+}
+
+/************ F I N A L   P A C K A G E ******************************/
+
+PNA_NIC(
+    Ingress_Parser(),
+    ingress(),
+    Ingress_Deparser()
+) main;
diff --git a/testdata/p4tc_samples_outputs/direct_counter_errors.p4-stderr b/testdata/p4tc_samples_outputs/direct_counter_errors.p4-stderr
new file mode 100644
index 00000000000..30249d82056
--- /dev/null
+++ b/testdata/p4tc_samples_outputs/direct_counter_errors.p4-stderr
@@ -0,0 +1,6 @@
+p4tc_samples/direct_counter_errors.p4(88): [--Werror=not-found] error: global_counter.count(): Table ingress.nh_table does not own DirectCounter named ingress_global_counter
+        global_counter.count();
+        ^^^^^^^^^^^^^^^^^^^^^^
+p4tc_samples/direct_counter_errors.p4(94)
+    @tc_acl("CRUDPS:RX") table nh_table {
+                               ^^^^^^^^